gov.nasa.jpf.symbc

Class GreenListener

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.symbc.GreenListener

All Implemented Interfaces:

gov.nasa.jpf.JPFListener, gov.nasa.jpf.report.PublisherExtension, gov.nasa.jpf.search.SearchListener, gov.nasa.jpf.vm.VMListener

public class GreenListener
extends gov.nasa.jpf.ListenerAdapter

Constructor Summary

Constructors

Constructor and Description
GreenListener()

Method Summary

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

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, searchStarted, stateAdvanced, stateBacktracked, stateProcessed, 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

GreenListener

public GreenListener()

Method Detail

searchFinished

public void searchFinished(gov.nasa.jpf.search.Search s)

Specified by:

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

Overrides:

searchFinished in class gov.nasa.jpf.ListenerAdapter