gov.nasa.jpf.symbc

Class HeuristicListener

java.lang.Object

gov.nasa.jpf.GenericProperty

gov.nasa.jpf.PropertyListenerAdapter

gov.nasa.jpf.symbc.HeuristicListener

All Implemented Interfaces:

gov.nasa.jpf.JPFListener, gov.nasa.jpf.Property, gov.nasa.jpf.report.PublisherExtension, gov.nasa.jpf.search.SearchListener, gov.nasa.jpf.util.Printable, gov.nasa.jpf.vm.VMListener, java.lang.Cloneable

public class HeuristicListener
extends gov.nasa.jpf.PropertyListenerAdapter

Constructor Summary

Constructors

Constructor and Description
HeuristicListener(gov.nasa.jpf.Config conf, gov.nasa.jpf.JPF jpf)

Method Summary

Modifier and Type	Method and Description
void	stateAdvanced(gov.nasa.jpf.search.Search search)

Methods inherited from class gov.nasa.jpf.PropertyListenerAdapter

check, choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, clone, 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, reset, searchConstraintHit, searchFinished, searchProbed, searchStarted, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized

Methods inherited from class gov.nasa.jpf.GenericProperty

getErrorMessage, getExplanation, printOn

Methods inherited from class java.lang.Object

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

Constructor Detail

HeuristicListener

public HeuristicListener(gov.nasa.jpf.Config conf,
                         gov.nasa.jpf.JPF jpf)

Method Detail

stateAdvanced

public void stateAdvanced(gov.nasa.jpf.search.Search search)

Specified by:

stateAdvanced in interface gov.nasa.jpf.search.SearchListener

Overrides:

stateAdvanced in class gov.nasa.jpf.PropertyListenerAdapter