public abstract class SolverSynchronizer
extends java.lang.Object
Constructor and Description |
---|
SolverSynchronizer()
Constructs a new synchronizer.
|
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.
|
public abstract void callEdgeAdded(Function source, Function target)
public boolean isSingleStep()
public abstract void markActiveBlock(BasicBlock b)
public abstract void markPendingBlock(BasicBlock b)
public void notifyRunOrSingleStep()
public abstract void setFlowGraph(FlowGraph g)
public void setSingleStep(boolean enable)
void waitIfSingleStep()
public abstract void waiting()
Copyright © 2009-2019 Aarhus University