gov.nasa.jpf.search

Class SearchListenerAdapter

java.lang.Object

gov.nasa.jpf.search.SearchListenerAdapter

All Implemented Interfaces:

JPFListener, SearchListener

Direct Known Subclasses:

Reporter

public class SearchListenerAdapter
extends java.lang.Object
implements SearchListener

a no-action SearchListener which we can use to override only the notifications we are interested in

Constructor Summary

Constructors

Constructor and Description
SearchListenerAdapter()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SearchListenerAdapter

public SearchListenerAdapter()

Method Detail

stateAdvanced

public void stateAdvanced(Search search)

Description copied from interface: SearchListener

got the next state Note - this will be notified before any potential propertyViolated, in which case the currentError will be already set

Specified by:

stateAdvanced in interface SearchListener

stateProcessed

public void stateProcessed(Search search)

Description copied from interface: SearchListener

state is fully explored

Specified by:

stateProcessed in interface SearchListener

stateBacktracked

public void stateBacktracked(Search search)

Description copied from interface: SearchListener

state was backtracked one step

Specified by:

stateBacktracked in interface SearchListener

statePurged

public void statePurged(Search search)

Description copied from interface: SearchListener

some state is not going to appear in any path anymore

Specified by:

statePurged in interface SearchListener

stateStored

public void stateStored(Search search)

Description copied from interface: SearchListener

somebody stored the state

Specified by:

stateStored in interface SearchListener

stateRestored

public void stateRestored(Search search)

Description copied from interface: SearchListener

a previously generated state was restored (can be on a completely different path)

Specified by:

stateRestored in interface SearchListener

searchProbed

public void searchProbed(Search search)

Description copied from interface: SearchListener

there was a probe request, e.g. from a periodical timer note this is called synchronously from within the JPF execution loop (after instruction execution)

Specified by:

searchProbed in interface SearchListener

propertyViolated

public void propertyViolated(Search search)

Description copied from interface: SearchListener

JPF encountered a property violation. Note - this is always preceeded by a stateAdvanced

Specified by:

propertyViolated in interface SearchListener

searchStarted

public void searchStarted(Search search)

Description copied from interface: SearchListener

we get this after we enter the search loop, but BEFORE the first forward

Specified by:

searchStarted in interface SearchListener

searchConstraintHit

public void searchConstraintHit(Search search)

Description copied from interface: SearchListener

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

Specified by:

searchConstraintHit in interface SearchListener

searchFinished

public void searchFinished(Search search)

Description copied from interface: SearchListener

we're done, either with or without a preceeding error

Specified by:

searchFinished in interface SearchListener