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

Class PropagationMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

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

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class PropagationMonitor
extends DefaultAnalysisMonitoring

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PropagationMonitor.PropagationData
static class	PropagationMonitor.PropagationNumbers

Constructor Summary

Constructors

Constructor and Description
PropagationMonitor()

Method Summary

Modifier and Type	Method and Description
PropagationMonitor.PropagationData	getData()
void	visitPropagationPost(BlockAndContext<Context> from, BlockAndContext<Context> to, boolean changed) Invoked immediately after propagating dataflow from one location to another.
void	visitPropagationPre(BlockAndContext<Context> from, BlockAndContext<Context> to) Invoked immediately before propagating dataflow from one location to another.

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, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty

Methods inherited from class java.lang.Object

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

Constructor Detail

PropagationMonitor

public PropagationMonitor()

Method Detail

getData

public PropagationMonitor.PropagationData getData()

visitPropagationPost

public void visitPropagationPost(BlockAndContext<Context> from,
                                 BlockAndContext<Context> to,
                                 boolean changed)

Description copied from interface: ISolverMonitoring

Invoked immediately after propagating dataflow from one location to another.

Specified by:

visitPropagationPost in interface ISolverMonitoring<State,Context>

Overrides:

visitPropagationPost in class DefaultAnalysisMonitoring

changed - true if the destination state was changed

See Also:

ISolverMonitoring.visitPropagationPre(BlockAndContext, BlockAndContext)

visitPropagationPre

public void visitPropagationPre(BlockAndContext<Context> from,
                                BlockAndContext<Context> to)

Description copied from interface: ISolverMonitoring

Invoked immediately before propagating dataflow from one location to another. (This does not include the merging of states that occurs in some specialized transfers, such as ParallelTransfer.)

Specified by:

visitPropagationPre in interface ISolverMonitoring<State,Context>

Overrides:

visitPropagationPre in class DefaultAnalysisMonitoring