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