dk.brics.tajs.solver

Interface IMonitoring<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<CallContextType>>

All Known Implementing Classes:

Monitoring

public interface IMonitoring<BlockStateType extends IBlockState<BlockStateType,?,?>,CallContextType extends ICallContext<CallContextType>>

Records various information during fixpoint solving.

Method Summary

Methods

Modifier and Type	Method and Description
void	beginScanPhase(FlowGraph fg) Initializes messages.
List<Message>	endScanPhase(FlowGraph fg) Finalizes messages.
int	getTotalNumberOfNodeTransfers() Returns the total number of node transfers.
void	visitBlockTransfer() Registers a block transfer occurrence.
void	visitFunction(Function f, Collection<BlockStateType> entry_states) Registers the given function in the scan phase.
void	visitJoin() Registers a state join operation.
void	visitNewFlow(BasicBlock b, ICallContext<?> c, IBlockState<?,?,?> s, String diff, String info) Registers new dataflow being propagated.
void	visitNodeTransfer(AbstractNode n) Registers a node transfer occurrence.
void	visitReachableNode(AbstractNode n) Registers a maybe reachable node.
void	visitRecoveryGraph(int size) Registers a property recovery graph size.
void	visitUnknownValueResolve() Registers a recovery of an unknown value.

Method Detail

beginScanPhase

void beginScanPhase(FlowGraph fg)

Initializes messages. Messages are not generated until this method is called.

endScanPhase

List<Message> endScanPhase(FlowGraph fg)

Finalizes messages.

getTotalNumberOfNodeTransfers

int getTotalNumberOfNodeTransfers()

Returns the total number of node transfers.

visitBlockTransfer

void visitBlockTransfer()

Registers a block transfer occurrence.

visitFunction

void visitFunction(Function f,
                 Collection<BlockStateType> entry_states)

Registers the given function in the scan phase. (Invoked once on each function.)

visitJoin

void visitJoin()

Registers a state join operation.

visitNewFlow

void visitNewFlow(BasicBlock b,
                ICallContext<?> c,
                IBlockState<?,?,?> s,
                String diff,
                String info)

Registers new dataflow being propagated.

visitNodeTransfer

void visitNodeTransfer(AbstractNode n)

Registers a node transfer occurrence.

visitReachableNode

void visitReachableNode(AbstractNode n)

Registers a maybe reachable node.

visitRecoveryGraph

void visitRecoveryGraph(int size)

Registers a property recovery graph size.

visitUnknownValueResolve

void visitUnknownValueResolve()

Registers a recovery of an unknown value.