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

Class ContextRegistrationMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

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

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class ContextRegistrationMonitor
extends DefaultAnalysisMonitoring

Constructor Summary

Constructors

Constructor and Description
ContextRegistrationMonitor()

Method Summary

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.

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, visitPropagationPre, 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

ContextRegistrationMonitor

public ContextRegistrationMonitor()

Method Detail

getContextsPerLine

public java.util.Map<SourceLine,java.lang.Integer> getContextsPerLine()

getMap

public java.util.Map<BasicBlock,java.util.Set<Context>> getMap()

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)