public class PathOutputMonitor extends PropertyListenerAdapter
Modifier and Type | Class and Description |
---|---|
static interface |
PathOutputMonitor.PathOutputSpec |
Constructor and Description |
---|
PathOutputMonitor(Config config,
JPF jpf) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(Search search,
VM vm)
return true if property is NOT violated
|
String |
getErrorMessage() |
void |
publishFinished(Publisher publisher) |
void |
reset() |
void |
searchFinished(Search search)
we're done, either with or without a preceeding error
|
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, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchStarted, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
getExplanation, printOn
public boolean check(Search search, VM vm)
Property
check
in interface Property
check
in class PropertyListenerAdapter
public String getErrorMessage()
getErrorMessage
in interface Property
getErrorMessage
in class GenericProperty
public void reset()
reset
in interface Property
reset
in class PropertyListenerAdapter
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class PropertyListenerAdapter
public void searchFinished(Search search)
SearchListener
searchFinished
in interface SearchListener
searchFinished
in class PropertyListenerAdapter
public void publishFinished(Publisher publisher)
publishFinished
in interface PublisherExtension
publishFinished
in class PropertyListenerAdapter