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

Class NodeTransferTimeMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

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

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class NodeTransferTimeMonitor
extends DefaultAnalysisMonitoring

Constructor Summary

Constructors

Constructor and Description
NodeTransferTimeMonitor()

Method Summary

Modifier and Type	Method and Description
java.util.Map<java.util.Optional<Pair<java.net.URL,java.lang.Integer>>,java.lang.Long>	getTimes()
java.util.Map<java.util.Optional<AbstractNode>,java.lang.Long>	getTimesForNodes()
void	visitNodeTransferPost(AbstractNode n, State s) Invoked immediately after processing a node transfer.
void	visitNodeTransferPre(AbstractNode n, State s) Invoked immediately before processing a node transfer.
void	visitPhasePre(AnalysisPhase phase) Invoked at the beginning of a phase.

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

addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitPhasePost, 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

NodeTransferTimeMonitor

public NodeTransferTimeMonitor()

Method Detail

getTimes

public java.util.Map<java.util.Optional<Pair<java.net.URL,java.lang.Integer>>,java.lang.Long> getTimes()

getTimesForNodes

public java.util.Map<java.util.Optional<AbstractNode>,java.lang.Long> getTimesForNodes()

visitNodeTransferPost

public void visitNodeTransferPost(AbstractNode n,
                                  State s)

Description copied from interface: ISolverMonitoring

Invoked immediately after processing a node transfer.

Specified by:

visitNodeTransferPost in interface ISolverMonitoring<State,Context>

Overrides:

visitNodeTransferPost in class DefaultAnalysisMonitoring

visitNodeTransferPre

public void visitNodeTransferPre(AbstractNode n,
                                 State s)

Description copied from interface: ISolverMonitoring

Invoked immediately before processing a node transfer.

Specified by:

visitNodeTransferPre in interface ISolverMonitoring<State,Context>

Overrides:

visitNodeTransferPre in class DefaultAnalysisMonitoring

visitPhasePre

public void visitPhasePre(AnalysisPhase phase)

Description copied from interface: IAnalysisMonitoring

Invoked at the beginning of a phase.

Specified by:

visitPhasePre in interface IAnalysisMonitoring

Overrides:

visitPhasePre in class DefaultAnalysisMonitoring