public class NodeTransferTimeMonitor extends DefaultAnalysisMonitoring
Constructor and Description |
---|
NodeTransferTimeMonitor() |
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.
|
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
public java.util.Map<java.util.Optional<Pair<java.net.URL,java.lang.Integer>>,java.lang.Long> getTimes()
public java.util.Map<java.util.Optional<AbstractNode>,java.lang.Long> getTimesForNodes()
public void visitNodeTransferPost(AbstractNode n, State s)
ISolverMonitoring
visitNodeTransferPost
in interface ISolverMonitoring<State,Context>
visitNodeTransferPost
in class DefaultAnalysisMonitoring
public void visitNodeTransferPre(AbstractNode n, State s)
ISolverMonitoring
visitNodeTransferPre
in interface ISolverMonitoring<State,Context>
visitNodeTransferPre
in class DefaultAnalysisMonitoring
public void visitPhasePre(AnalysisPhase phase)
IAnalysisMonitoring
visitPhasePre
in interface IAnalysisMonitoring
visitPhasePre
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University