gov.nasa.jpf.listener

Class SearchMonitor

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.SearchMonitor

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class SearchMonitor
extends ListenerAdapter

SearchListener class to collect and report statistical data during JPF execution. This replaces the old JPF Statistics mechanism updated 28 July 2006: now System.out is the default, rather than trying the network (which loads extra classes and raises RuntimeExceptions in the process, etc.). Now to use network, at least the port must be specified. -peterd

Constructor Summary

Constructors

Constructor and Description
SearchMonitor(Config config)

Method Summary

Methods

Modifier and Type	Method and Description
void	propertyViolated(Search search) JPF encountered a property violation.
void	run(Config conf)
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	stateRestored(Search search) a previously generated state was restored (can be on a completely different path)

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, statePurged, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized

Methods inherited from class java.lang.Object

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

Constructor Detail

SearchMonitor

public SearchMonitor(Config config)

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

Overrides:

stateAdvanced in class ListenerAdapter

stateProcessed

public void stateProcessed(Search search)

Description copied from interface: SearchListener

state is fully explored

Specified by:

stateProcessed in interface SearchListener

Overrides:

stateProcessed in class ListenerAdapter

stateBacktracked

public void stateBacktracked(Search search)

Description copied from interface: SearchListener

state was backtracked one step

Specified by:

stateBacktracked in interface SearchListener

Overrides:

stateBacktracked in class ListenerAdapter

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

Overrides:

stateRestored in class ListenerAdapter

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

Overrides:

propertyViolated in class ListenerAdapter

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

Overrides:

searchStarted in class ListenerAdapter

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

Overrides:

searchConstraintHit in class ListenerAdapter

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

Overrides:

searchFinished in class ListenerAdapter

run

public void run(Config conf)