dk.brics.tajs.solver

Class SolverSynchronizer

java.lang.Object

dk.brics.tajs.solver.SolverSynchronizer

public abstract class SolverSynchronizer
extends Object

Synchronizer for solver events.

Constructor Summary

Constructors

Constructor and Description
SolverSynchronizer() Constructs a new synchronizer.

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	callEdgeAdded(Function source, Function target) Callback, invoked when a call edge is added.
boolean	isSingleStep() Checks whether single-stepping is enabled.
abstract void	markActiveBlock(BasicBlock b) Callback, invoked when selecting a block for processing.
abstract void	markPendingBlock(BasicBlock b) Callback, invoked when a block is added to the worklist.
void	notifyRunOrSingleStep() Sends a notification to run/single-step.
abstract void	setFlowGraph(FlowGraph g) Callback, invoked when flow graph has been constructed.
void	setSingleStep(boolean enable) Enable/disable single-stepping.
(package private) void	waitIfSingleStep() Waits for notification if single-stepping is enabled.
abstract void	waiting() Callback, invoked when initialing wait.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SolverSynchronizer

public SolverSynchronizer()

Constructs a new synchronizer.

Method Detail

callEdgeAdded

public abstract void callEdgeAdded(Function source,
                 Function target)

Callback, invoked when a call edge is added.

isSingleStep

public boolean isSingleStep()

Checks whether single-stepping is enabled.

markActiveBlock

public abstract void markActiveBlock(BasicBlock b)

Callback, invoked when selecting a block for processing.

markPendingBlock

public abstract void markPendingBlock(BasicBlock b)

Callback, invoked when a block is added to the worklist.

notifyRunOrSingleStep

public void notifyRunOrSingleStep()

Sends a notification to run/single-step.

setFlowGraph

public abstract void setFlowGraph(FlowGraph g)

Callback, invoked when flow graph has been constructed.

setSingleStep

public void setSingleStep(boolean enable)

Enable/disable single-stepping.

waitIfSingleStep

void waitIfSingleStep()

Waits for notification if single-stepping is enabled.

waiting

public abstract void waiting()

Callback, invoked when initialing wait.