public class StateSpaceAnalyzer extends ListenerAdapter implements PublisherExtension
Constructor and Description |
---|
StateSpaceAnalyzer(Config config,
JPF jpf) |
Modifier and Type | Method and Description |
---|---|
void |
choiceGeneratorSet(VM vm,
ChoiceGenerator<?> newCG)
a new ChoiceGenerator was set, which means we are at the beginning of a new transition.
|
void |
publishFinished(Publisher publisher) |
void |
searchStarted(Search search)
we get this after we enter the search loop, but BEFORE the first forward
|
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
|
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchFinished, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
publishConstraintHit, publishPropertyViolation, publishStart, publishTransition
public void choiceGeneratorSet(VM vm, ChoiceGenerator<?> newCG)
VMListener
choiceGeneratorSet
in interface VMListener
choiceGeneratorSet
in class ListenerAdapter
public void searchStarted(Search search)
SearchListener
searchStarted
in interface SearchListener
searchStarted
in class ListenerAdapter
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class ListenerAdapter
public void publishFinished(Publisher publisher)
publishFinished
in interface PublisherExtension
publishFinished
in class ListenerAdapter