public class LazyPropagationMonitor extends DefaultAnalysisMonitoring
Modifier and Type | Class and Description |
---|---|
static class |
LazyPropagationMonitor.LazyPropagationData |
Constructor and Description |
---|
LazyPropagationMonitor() |
Modifier and Type | Method and Description |
---|---|
LazyPropagationMonitor.LazyPropagationData |
getData() |
java.util.Map<AbstractNode,java.lang.Integer> |
getMax_recovery_graph_sizes() |
java.util.Map<AbstractNode,java.lang.Integer> |
getUnknown_value_resolve_analyzing_full() |
java.util.Map<AbstractNode,java.lang.Integer> |
getUnknown_value_resolve_analyzing_partial() |
void |
visitRecoveryGraph(AbstractNode node,
int size)
Invoked when a recovery graph has been built.
|
void |
visitUnknownValueResolve(AbstractNode node,
boolean partial,
boolean scanning)
Invoked when an unknown value is resolved.
|
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, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRenameObject, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty
public LazyPropagationMonitor.LazyPropagationData getData()
public java.util.Map<AbstractNode,java.lang.Integer> getMax_recovery_graph_sizes()
public java.util.Map<AbstractNode,java.lang.Integer> getUnknown_value_resolve_analyzing_full()
public java.util.Map<AbstractNode,java.lang.Integer> getUnknown_value_resolve_analyzing_partial()
public void visitRecoveryGraph(AbstractNode node, int size)
ILatticeMonitoring
visitRecoveryGraph
in interface ILatticeMonitoring
visitRecoveryGraph
in class DefaultAnalysisMonitoring
public void visitUnknownValueResolve(AbstractNode node, boolean partial, boolean scanning)
ILatticeMonitoring
visitUnknownValueResolve
in interface ILatticeMonitoring
visitUnknownValueResolve
in class DefaultAnalysisMonitoring
Copyright © 2009-2019 Aarhus University