public class EventHandlerRegistrationMonitor extends DefaultAnalysisMonitoring
Constructor and Description |
---|
EventHandlerRegistrationMonitor() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<Pair<AbstractNode,Context>,java.util.Set<Value>> |
getMap() |
void |
visitEventHandlerRegistration(AbstractNode node,
Context context,
Value handler)
Invoked when an event handler is registered.
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitNodeTransferPre, visitPhasePost, visitPhasePre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
public java.util.Map<Pair<AbstractNode,Context>,java.util.Set<Value>> getMap()
public void visitEventHandlerRegistration(AbstractNode node, Context context, Value handler)
IAnalysisMonitoring
visitEventHandlerRegistration
in interface IAnalysisMonitoring
visitEventHandlerRegistration
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University