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

Class LazyPropagationMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

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

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class LazyPropagationMonitor
extends DefaultAnalysisMonitoring

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LazyPropagationMonitor.LazyPropagationData

Constructor Summary

Constructors

Constructor and Description
LazyPropagationMonitor()

Method Summary

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.

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, visitNodeTransferPost, visitNodeTransferPre, visitPhasePost, visitPhasePre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRenameObject, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LazyPropagationMonitor

public LazyPropagationMonitor()

Method Detail

getData

public LazyPropagationMonitor.LazyPropagationData getData()

getMax_recovery_graph_sizes

public java.util.Map<AbstractNode,java.lang.Integer> getMax_recovery_graph_sizes()

getUnknown_value_resolve_analyzing_full

public java.util.Map<AbstractNode,java.lang.Integer> getUnknown_value_resolve_analyzing_full()

getUnknown_value_resolve_analyzing_partial

public java.util.Map<AbstractNode,java.lang.Integer> getUnknown_value_resolve_analyzing_partial()

visitRecoveryGraph

public void visitRecoveryGraph(AbstractNode node,
                               int size)

Description copied from interface: ILatticeMonitoring

Invoked when a recovery graph has been built.

Specified by:

visitRecoveryGraph in interface ILatticeMonitoring

Overrides:

visitRecoveryGraph in class DefaultAnalysisMonitoring

visitUnknownValueResolve

public void visitUnknownValueResolve(AbstractNode node,
                                     boolean partial,
                                     boolean scanning)

Description copied from interface: ILatticeMonitoring

Invoked when an unknown value is resolved.

Specified by:

visitUnknownValueResolve in interface ILatticeMonitoring

Overrides:

visitUnknownValueResolve in class DefaultAnalysisMonitoring