gov.nasa.jpf.search

Interface SearchListener

All Superinterfaces:

JPFListener

All Known Implementing Classes:

AssertionProperty, BudgetChecker, CallMonitor, CGMonitor, CGRemover, ChoiceSelector, ChoiceTracker, ConstInsnPathTime, CoverageAnalyzer, DeadlockAnalyzer, DynamicAbstractionSerializer.Attributor, EndlessLoopDetector, ErrorTraceGenerator, EventGeneratorFactory, ExceptionInjector, ExecTracker, HeapTracker, IdleFilter, InsnCounter, ListenerAdapter, LockedStackDepth, MethodAnalyzer, MethodTracker, NoStateCycles, NumericValueChecker, ObjectTracker, OOMEInjector, OverlappingMethodAnalyzer, PathOutputMonitor, Perturbator, PreciseRaceDetector, PropertyListenerAdapter, ReferenceLocator, Reporter, SearchListenerAdapter, SearchMonitor, SearchStats, SimpleDot, SimpleIdleFilter, StackDepthChecker, StackTracker, StateCountEstimator, StateExtensionListener, StateSpaceAnalyzer, StateSpaceDot, StateTracker, Statistics, StopWatchFuzzer, Trace, TraceStorer, VarRecorder, VarTracker

public interface SearchListener
extends JPFListener

interface to register for notification by the Search object. Observer role in same-name pattern

Method Summary

Methods

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

Method Detail

stateAdvanced

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

stateProcessed

void stateProcessed(Search search)

state is fully explored

stateBacktracked

void stateBacktracked(Search search)

state was backtracked one step

statePurged

void statePurged(Search search)

some state is not going to appear in any path anymore

stateStored

void stateStored(Search search)

somebody stored the state

stateRestored

void stateRestored(Search search)

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

propertyViolated

void propertyViolated(Search search)

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

searchStarted

void searchStarted(Search search)

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

searchConstraintHit

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

searchFinished

void searchFinished(Search search)

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