| gov.nasa.jpf.SearchListener
All known Subclasses: gov.nasa.jpf.tools.VarTracker, gov.nasa.jpf.tools.SearchMonitor, gov.nasa.jpf.SearchListenerMulticaster, gov.nasa.jpf.tools.InsnCounter, gov.nasa.jpf.embedded.TestSearchListener, gov.nasa.jpf.tools.ExecTracker, gov.nasa.jpf.PropertyListenerAdapter, gov.nasa.jpf.tools.StateSpaceDot, gov.nasa.jpf.ListenerAdapter,
| SearchListener | | public interface SearchListener extends JPFListener(Code) | | interface to register for notification by the Search object.
Observer role in same-name pattern
|
| propertyViolated | | void propertyViolated(Search search)(Code) | | JPF encountered a property violation
|
| searchConstraintHit | | void searchConstraintHit(Search search)(Code) | | there was some contraint hit in the search, we back out
could have been turned into a property, but usually is an attribute of
the search, not the application
|
| searchFinished | | void searchFinished(Search search)(Code) | | we're done, either with or without a preceeding error
|
| searchStarted | | void searchStarted(Search search)(Code) | | we get this after we enter the search loop, but BEFORE the first forward
|
| stateAdvanced | | void stateAdvanced(Search search)(Code) | | got the next state
|
| stateBacktracked | | void stateBacktracked(Search search)(Code) | | state was backtracked one step
|
| stateProcessed | | void stateProcessed(Search search)(Code) | | state is fully explored
|
| stateRestored | | void stateRestored(Search search)(Code) | | a previously generated state was restored
(can be on a completely different path)
|
|
|