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

Class VisitationMonitoring

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

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

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class VisitationMonitoring
extends DefaultAnalysisMonitoring

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	VisitationMonitoring.Info

Constructor Summary

Constructors

Constructor and Description
VisitationMonitoring()

Method Summary

Modifier and Type	Method and Description
VisitationMonitoring.Info	createLineVisitingInfo()
void	visitBlockTransferPost(BasicBlock block, State state) Invoked immediately after processing a block transfer.
void	visitNodeTransferPre(AbstractNode n, State state) Invoked immediately before processing a node transfer.

Methods inherited from class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, setSolverInterface, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitPhasePost, visitPhasePre, visitPropagationPost, 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

VisitationMonitoring

public VisitationMonitoring()

Method Detail

createLineVisitingInfo

public VisitationMonitoring.Info createLineVisitingInfo()

visitBlockTransferPost

public void visitBlockTransferPost(BasicBlock block,
                                   State state)

Description copied from interface: ISolverMonitoring

Invoked immediately after processing a block transfer.

Specified by:

visitBlockTransferPost in interface ISolverMonitoring<State,Context>

Overrides:

visitBlockTransferPost in class DefaultAnalysisMonitoring

visitNodeTransferPre

public void visitNodeTransferPre(AbstractNode n,
                                 State state)

Description copied from interface: ISolverMonitoring

Invoked immediately before processing a node transfer.

Specified by:

visitNodeTransferPre in interface ISolverMonitoring<State,Context>

Overrides:

visitNodeTransferPre in class DefaultAnalysisMonitoring