public class ContextRegistrationMonitor extends DefaultAnalysisMonitoring
Constructor and Description |
---|
ContextRegistrationMonitor() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<SourceLine,java.lang.Integer> |
getContextsPerLine() |
java.util.Map<BasicBlock,java.util.Set<Context>> |
getMap() |
void |
visitPropagationPost(BlockAndContext<Context> from,
BlockAndContext<Context> to,
boolean changed)
Invoked immediately after propagating dataflow from one location to another.
|
addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPost, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitNodeTransferPre, visitPhasePost, visitPhasePre, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
public java.util.Map<SourceLine,java.lang.Integer> getContextsPerLine()
public java.util.Map<BasicBlock,java.util.Set<Context>> getMap()
public void visitPropagationPost(BlockAndContext<Context> from, BlockAndContext<Context> to, boolean changed)
ISolverMonitoring
visitPropagationPost
in interface ISolverMonitoring<State,Context>
visitPropagationPost
in class DefaultAnalysisMonitoring
changed
- true if the destination state was changedISolverMonitoring.visitPropagationPre(BlockAndContext, BlockAndContext)
Copyright © 2009-2019 Aarhus University