gov.nasa.jpf.listener

Class StateCountEstimator

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.StateCountEstimator

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class StateCountEstimator
extends ListenerAdapter

From already visited states, estimates the total number of states by the branching factor.

Constructor Summary

Constructors

Constructor and Description
StateCountEstimator(Config config)

Method Summary

Modifier and Type	Method and Description
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	stateProcessed(Search search) state is fully explored

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectExposed, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectShared, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishProbe, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchProbed, stateAdvanced, stateBacktracked, statePurged, stateRestored, 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

StateCountEstimator

public StateCountEstimator(Config config)

Method Detail

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

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

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