dk.brics.tajs.monitoring

Class ProgressMonitor.PreScanProgressMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

dk.brics.tajs.monitoring.ProgressMonitor.PreScanProgressMonitor

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

Enclosing class:

ProgressMonitor

public static class ProgressMonitor.PreScanProgressMonitor
extends DefaultAnalysisMonitoring

Constructor Summary

Constructors

Constructor and Description
PreScanProgressMonitor(boolean print)

Method Summary

Modifier and Type	Method and Description
int	getNodeTransfers()
long	getStateSize()
java.util.Set<AbstractNode>	getVisitedNonHostNodes()
void	setSolverInterface(GenericSolver.SolverInterface c) Sets the solver interface which will be used by the analysis.
void	visitBlockTransferPost(BasicBlock b, State s) Invoked immediately after processing a block transfer.
void	visitBlockTransferPre(BasicBlock b, State s) Invoked immediately before processing a block transfer.
void	visitIterationDone(java.lang.String terminatedEarlyMsg) Invoked when dataflow solver iteration is done (not necessarily with success).
void	visitNodeTransferPre(AbstractNode n, State s) Invoked immediately before processing a node transfer.
void	visitPhasePre(AnalysisPhase phase) Invoked at the beginning of a phase.
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, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitPhasePost, 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

PreScanProgressMonitor

public PreScanProgressMonitor(boolean print)

Method Detail

getNodeTransfers

public int getNodeTransfers()

getStateSize

public long getStateSize()

getVisitedNonHostNodes

public java.util.Set<AbstractNode> getVisitedNonHostNodes()

setSolverInterface

public void setSolverInterface(GenericSolver.SolverInterface c)

Description copied from interface: IAnalysisMonitoring

Sets the solver interface which will be used by the analysis.

Specified by:

setSolverInterface in interface IAnalysisMonitoring

Overrides:

setSolverInterface in class DefaultAnalysisMonitoring

visitBlockTransferPost

public void visitBlockTransferPost(BasicBlock b,
                                   State s)

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

visitBlockTransferPre

public void visitBlockTransferPre(BasicBlock b,
                                  State s)

Description copied from interface: ISolverMonitoring

Invoked immediately before processing a block transfer.

Specified by:

visitBlockTransferPre in interface ISolverMonitoring<State,Context>

Overrides:

visitBlockTransferPre in class DefaultAnalysisMonitoring

visitIterationDone

public void visitIterationDone(java.lang.String terminatedEarlyMsg)

Description copied from interface: ISolverMonitoring

Invoked when dataflow solver iteration is done (not necessarily with success).

Specified by:

visitIterationDone in interface ISolverMonitoring<State,Context>

Overrides:

visitIterationDone in class DefaultAnalysisMonitoring

Parameters:

terminatedEarlyMsg - message about premature termination, if non-null

visitNodeTransferPre

public void visitNodeTransferPre(AbstractNode n,
                                 State s)

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

visitPhasePre

public void visitPhasePre(AnalysisPhase phase)

Description copied from interface: IAnalysisMonitoring

Invoked at the beginning of a phase.

Specified by:

visitPhasePre in interface IAnalysisMonitoring

Overrides:

visitPhasePre in class DefaultAnalysisMonitoring

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