public class CGMonitor extends ListenerAdapter
Modifier and Type | Field and Description |
---|---|
protected int |
depth |
protected java.io.PrintStream |
out |
protected boolean |
showChoice |
protected boolean |
showDepth |
protected boolean |
showInsn |
Modifier and Type | Method and Description |
---|---|
void |
choiceGeneratorAdvanced(VM vm,
ChoiceGenerator<?> currentCG)
the next choice was requested from a previously registered ChoiceGenerator
NOTE - this notification happens before the KernelState is stored, i.e.
|
void |
choiceGeneratorSet(VM vm,
ChoiceGenerator<?> currentCG)
a new ChoiceGenerator was set, which means we are at the beginning of a new transition.
|
void |
stateAdvanced(Search search)
got the next state
Note - this will be notified before any potential propertyViolated, in which
case the currentError will be already set
|
void |
stateBacktracked(Search search)
state was backtracked one step
|
void |
stateRestored(Search search)
a previously generated state was restored
(can be on a completely different path)
|
choiceGeneratorProcessed, choiceGeneratorRegistered, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectExposed, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectShared, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishProbe, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchFinished, searchProbed, searchStarted, stateProcessed, statePurged, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
protected java.io.PrintStream out
protected int depth
protected boolean showInsn
protected boolean showChoice
protected boolean showDepth
public CGMonitor(Config conf)
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class ListenerAdapter
public void stateBacktracked(Search search)
SearchListener
stateBacktracked
in interface SearchListener
stateBacktracked
in class ListenerAdapter
public void stateRestored(Search search)
SearchListener
stateRestored
in interface SearchListener
stateRestored
in class ListenerAdapter
public void choiceGeneratorSet(VM vm, ChoiceGenerator<?> currentCG)
VMListener
choiceGeneratorSet
in interface VMListener
choiceGeneratorSet
in class ListenerAdapter
public void choiceGeneratorAdvanced(VM vm, ChoiceGenerator<?> currentCG)
VMListener
choiceGeneratorAdvanced
in interface VMListener
choiceGeneratorAdvanced
in class ListenerAdapter