dk.brics.tajs.lattice

Interface ILatticeMonitoring

All Superinterfaces:

ISolverMonitoring<State,Context>

All Known Subinterfaces:

IAnalysisMonitoring

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 ILatticeMonitoring
extends ISolverMonitoring<State,Context>

Monitoring interface.

This interface contains callbacks for solver-specific and lattice-specific operations.

Method Summary

Modifier and Type	Method and Description
void	visitJoin(long ms) Invoked when a state join operation is performed.
void	visitNewObject(AbstractNode node, ObjectLabel label, State s) Invoked when a new abstract object is allocated.
void	visitRecoveryGraph(AbstractNode node, int size) Invoked when a recovery graph has been built.
void	visitRenameObject(AbstractNode node, ObjectLabel from, ObjectLabel to, State s) Invoked when an abstract object changes name (from singleton to summary for recency abstraction).
void	visitUnknownValueResolve(AbstractNode node, boolean partial, boolean scanning) Invoked when an unknown value is resolved.

Methods inherited from interface dk.brics.tajs.solver.ISolverMonitoring

allowNextIteration, visitBlockTransferPost, visitBlockTransferPre, visitFunction, visitIterationDone, visitNewFlow, visitNodeTransferPost, visitNodeTransferPre, visitPropagationPost, visitPropagationPre

Method Detail

visitJoin

void visitJoin(long ms)

Invoked when a state join operation is performed.

Parameters:

ms - time used by the join operation

visitNewObject

void visitNewObject(AbstractNode node,
                    ObjectLabel label,
                    State s)

Invoked when a new abstract object is allocated.

visitRecoveryGraph

void visitRecoveryGraph(AbstractNode node,
                        int size)

Invoked when a recovery graph has been built.

visitRenameObject

void visitRenameObject(AbstractNode node,
                       ObjectLabel from,
                       ObjectLabel to,
                       State s)

Invoked when an abstract object changes name (from singleton to summary for recency abstraction).

visitUnknownValueResolve

void visitUnknownValueResolve(AbstractNode node,
                              boolean partial,
                              boolean scanning)

Invoked when an unknown value is resolved.