public class SearchListenerAdapter extends Object implements SearchListener
Constructor and Description |
---|
SearchListenerAdapter() |
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 |
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
|
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
public void stateProcessed(Search search)
SearchListener
stateProcessed
in interface SearchListener
public void stateBacktracked(Search search)
SearchListener
stateBacktracked
in interface SearchListener
public void statePurged(Search search)
SearchListener
statePurged
in interface SearchListener
public void stateStored(Search search)
SearchListener
stateStored
in interface SearchListener
public void stateRestored(Search search)
SearchListener
stateRestored
in interface SearchListener
public void propertyViolated(Search search)
SearchListener
propertyViolated
in interface SearchListener
public void searchStarted(Search search)
SearchListener
searchStarted
in interface SearchListener
public void searchConstraintHit(Search search)
SearchListener
searchConstraintHit
in interface SearchListener
public void searchFinished(Search search)
SearchListener
searchFinished
in interface SearchListener