public class StateCollectorMonitor extends DefaultAnalysisMonitoring
Constructor and Description |
---|
StateCollectorMonitor() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<AbstractNode,java.lang.Integer> |
getMaxStateSizes() |
java.util.Map<BlockAndContext<Context>,State> |
getStates() |
void |
visitBlockTransferPost(BasicBlock b,
State state)
Invoked immediately after processing a block transfer.
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, 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<AbstractNode,java.lang.Integer> getMaxStateSizes()
public java.util.Map<BlockAndContext<Context>,State> getStates()
public void visitBlockTransferPost(BasicBlock b, State state)
ISolverMonitoring
visitBlockTransferPost
in interface ISolverMonitoring<State,Context>
visitBlockTransferPost
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University