public class ChoiceSelector extends ListenerAdapter
Constructor and Description |
---|
ChoiceSelector(Config config,
JPF jpf) |
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 |
executeInstruction(VM vm,
ThreadInfo ti,
Instruction insnToExecute)
VM is about to execute the next instruction
|
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 |
threadStarted(VM vm,
ThreadInfo ti)
new Thread entered run() method
|
choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchFinished, searchStarted, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadTerminated, threadWaiting, vmInitialized
public void choiceGeneratorAdvanced(VM vm, ChoiceGenerator<?> currentCG)
VMListener
choiceGeneratorAdvanced
in interface VMListener
choiceGeneratorAdvanced
in class ListenerAdapter
public void threadStarted(VM vm, ThreadInfo ti)
VMListener
threadStarted
in interface VMListener
threadStarted
in class ListenerAdapter
public void executeInstruction(VM vm, ThreadInfo ti, Instruction insnToExecute)
VMListener
executeInstruction
in interface VMListener
executeInstruction
in class ListenerAdapter
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class ListenerAdapter