public interface SearchListener extends JPFListener
Modifier and Type | Method and Description |
---|---|
void |
propertyViolated(Search search)
JPF encountered a property violation.
|
void |
searchConstraintHit(Search search)
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
|
void |
searchFinished(Search search)
we're done, either with or without a preceeding error
|
void |
searchProbed(Search search)
there was a probe request, e.g.
|
void |
searchStarted(Search search)
we get this after we enter the search loop, but BEFORE the first forward
|
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
|
void |
stateBacktracked(Search search)
state was backtracked one step
|
void |
stateProcessed(Search search)
state is fully explored
|
void |
statePurged(Search search)
some state is not going to appear in any path anymore
|
void |
stateRestored(Search search)
a previously generated state was restored
(can be on a completely different path)
|
void |
stateStored(Search search)
somebody stored the state
|
void stateAdvanced(Search search)
void stateProcessed(Search search)
void stateBacktracked(Search search)
void statePurged(Search search)
void stateStored(Search search)
void stateRestored(Search search)
void searchProbed(Search search)
void propertyViolated(Search search)
void searchStarted(Search search)
void searchConstraintHit(Search search)
void searchFinished(Search search)