public class ChoiceTracker extends ListenerAdapter implements PublisherExtension
Modifier and Type | Field and Description |
---|---|
protected java.io.PrintWriter |
pw |
Constructor and Description |
---|
ChoiceTracker(Config config,
JPF jpf) |
ChoiceTracker(JPF jpf,
java.lang.String traceFileName,
java.lang.Class<?> cgClass) |
Modifier and Type | Method and Description |
---|---|
void |
propertyViolated(Search search)
JPF encountered a property violation.
|
void |
publishPropertyViolation(Publisher publisher) |
void |
setExcludes(java.lang.String... ex) |
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectExposed, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectShared, objectUnlocked, objectWait, publishConstraintHit, publishFinished, publishProbe, publishStart, publishTransition, searchConstraintHit, searchFinished, searchProbed, searchStarted, stateAdvanced, 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, publishFinished, publishProbe, publishStart, publishTransition
public ChoiceTracker(JPF jpf, java.lang.String traceFileName, java.lang.Class<?> cgClass)
public void setExcludes(java.lang.String... ex)
public void propertyViolated(Search search)
SearchListener
propertyViolated
in interface SearchListener
propertyViolated
in class ListenerAdapter
public void publishPropertyViolation(Publisher publisher)
publishPropertyViolation
in interface PublisherExtension
publishPropertyViolation
in class ListenerAdapter