dk.brics.tajs.solver

Interface ISolverMonitoring<StateType extends IState<StateType,ContextType,?>,ContextType extends IContext<ContextType>>

All Known Subinterfaces:

IAnalysisMonitoring, ILatticeMonitoring

All Known Implementing Classes:

AnalysisTimeLimiter, CompositeMonitoring, ContextRegistrationMonitor, DefaultAnalysisMonitoring, EventHandlerRegistrationMonitor, InspectorMonitor, LazyPropagationMonitor, MaxMemoryUsageMonitor, MemoryUsageDiagnosisMonitor, Monitoring, NodeTransferTimeMonitor, NonLazyTypeCollectorMonitoring, ObjectCollectionMonitor, PhaseMonitoring, ProgramExitReachabilityChecker, ProgressMonitor, ProgressMonitor.PreScanProgressMonitor, PropagationMonitor, ReachabilityChecker, ReachabilityMonitor, SoundnessTesterMonitor, StateCollectorMonitor, TAJSAssertionReachabilityCheckerMonitor, TogglableMonitor, VisitationMonitoring

public interface ISolverMonitoring<StateType extends IState<StateType,ContextType,?>,ContextType extends IContext<ContextType>>

Monitoring interface.

This interface contains callbacks for solver-specific operations.

Method Summary

Modifier and Type	Method and Description
boolean	allowNextIteration() Returns true if the fixpoint solver should continue with its next iteration or abort early and unsoundly.
void	visitBlockTransferPost(BasicBlock b, StateType s) Invoked immediately after processing a block transfer.
void	visitBlockTransferPre(BasicBlock b, StateType s) Invoked immediately before processing a block transfer.
void	visitFunction(Function f, java.util.Collection<StateType> entry_states) Invoked when a function is encountered in the scan phase.
void	visitIterationDone(java.lang.String terminatedEarlyMsg) Invoked when dataflow solver iteration is done (not necessarily with success).
void	visitNewFlow(BasicBlock b, ContextType c, StateType s, java.lang.String diff, java.lang.String info) Invoked when new dataflow is being propagated.
void	visitNodeTransferPost(AbstractNode n, StateType s) Invoked immediately after processing a node transfer.
void	visitNodeTransferPre(AbstractNode n, StateType s) Invoked immediately before processing a node transfer.
void	visitPropagationPost(BlockAndContext<ContextType> from, BlockAndContext<ContextType> to, boolean changed) Invoked immediately after propagating dataflow from one location to another.
void	visitPropagationPre(BlockAndContext<ContextType> from, BlockAndContext<ContextType> to) Invoked immediately before propagating dataflow from one location to another.

Method Detail

allowNextIteration

boolean allowNextIteration()

Returns true if the fixpoint solver should continue with its next iteration or abort early and unsoundly.

visitBlockTransferPost

void visitBlockTransferPost(BasicBlock b,
                            StateType s)

Invoked immediately after processing a block transfer.

visitBlockTransferPre

void visitBlockTransferPre(BasicBlock b,
                           StateType s)

Invoked immediately before processing a block transfer.

visitFunction

void visitFunction(Function f,
                   java.util.Collection<StateType> entry_states)

Invoked when a function is encountered in the scan phase. (Invoked once on each function.)

visitIterationDone

void visitIterationDone(java.lang.String terminatedEarlyMsg)

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

Parameters:

terminatedEarlyMsg - message about premature termination, if non-null

visitNewFlow

void visitNewFlow(BasicBlock b,
                  ContextType c,
                  StateType s,
                  java.lang.String diff,
                  java.lang.String info)

Invoked when new dataflow is being propagated.

visitNodeTransferPost

void visitNodeTransferPost(AbstractNode n,
                           StateType s)

Invoked immediately after processing a node transfer.

visitNodeTransferPre

void visitNodeTransferPre(AbstractNode n,
                          StateType s)

Invoked immediately before processing a node transfer.

visitPropagationPost

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

Invoked immediately after propagating dataflow from one location to another.

Parameters:

changed - true if the destination state was changed

See Also:

visitPropagationPre(BlockAndContext, BlockAndContext)

visitPropagationPre

void visitPropagationPre(BlockAndContext<ContextType> from,
                         BlockAndContext<ContextType> to)

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.)