public class ErrorTraceGenerator extends PropertyListenerAdapter implements PublisherExtension
Modifier and Type | Field and Description |
---|---|
protected boolean |
showInsn |
protected boolean |
showLoc |
protected boolean |
showSrc |
protected ChoiceGenerator<?>[] |
trace |
Constructor and Description |
---|
ErrorTraceGenerator(Config conf,
JPF jpf) |
Modifier and Type | Method and Description |
---|---|
void |
propertyViolated(Search search)
JPF encountered a property violation.
|
void |
publishPropertyViolation(Publisher p) |
check, 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, reset, searchConstraintHit, searchFinished, searchStarted, stateAdvanced, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
getErrorMessage, getExplanation, printOn
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
publishConstraintHit, publishFinished, publishStart, publishTransition
protected ChoiceGenerator<?>[] trace
protected boolean showInsn
protected boolean showLoc
protected boolean showSrc
public void publishPropertyViolation(Publisher p)
publishPropertyViolation
in interface PublisherExtension
publishPropertyViolation
in class PropertyListenerAdapter
public void propertyViolated(Search search)
SearchListener
propertyViolated
in interface SearchListener
propertyViolated
in class PropertyListenerAdapter