dk.brics.tajs.monitoring.inspector.datacollection.monitors

Class EventHandlerRegistrationMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

dk.brics.tajs.monitoring.inspector.datacollection.monitors.EventHandlerRegistrationMonitor

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class EventHandlerRegistrationMonitor
extends DefaultAnalysisMonitoring

Constructor Summary

Constructors

Constructor and Description
EventHandlerRegistrationMonitor()

Method Summary

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.

Methods inherited from class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EventHandlerRegistrationMonitor

public EventHandlerRegistrationMonitor()

Method Detail

getMap

public java.util.Map<Pair<AbstractNode,Context>,java.util.Set<Value>> getMap()

visitEventHandlerRegistration

public void visitEventHandlerRegistration(AbstractNode node,
                                          Context context,
                                          Value handler)

Description copied from interface: IAnalysisMonitoring

Invoked when an event handler is registered.

Specified by:

visitEventHandlerRegistration in interface IAnalysisMonitoring

Overrides:

visitEventHandlerRegistration in class DefaultAnalysisMonitoring