gov.nasa.jpf.listener

Class ChoiceTracker

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.ChoiceTracker

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class ChoiceTracker
extends ListenerAdapter
implements PublisherExtension

generic choice tracker tool, to produce a list of choice values that can be used to create readable replay scripts etc.

Field Summary

Fields

Modifier and Type	Field and Description
protected PrintWriter	pw

Constructor Summary

Constructors

Constructor and Description
ChoiceTracker(Config config, JPF jpf)
ChoiceTracker(JPF jpf, String traceFileName, Class<?> cgClass)

Method Summary

Methods

Modifier and Type	Method and Description
void	propertyViolated(Search search) JPF encountered a property violation.
void	publishPropertyViolation(Publisher publisher)
void	setExcludes(String... ex)

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, publishStart, publishTransition, searchConstraintHit, searchFinished, 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

Methods inherited from interface gov.nasa.jpf.report.PublisherExtension

publishConstraintHit, publishFinished, publishStart, publishTransition

Field Detail

pw

protected PrintWriter pw

Constructor Detail

ChoiceTracker

public ChoiceTracker(JPF jpf,
             String traceFileName,
             Class<?> cgClass)

ChoiceTracker

public ChoiceTracker(Config config,
             JPF jpf)

Method Detail

setExcludes

public void setExcludes(String... ex)

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

publishPropertyViolation

public void publishPropertyViolation(Publisher publisher)

Specified by:

publishPropertyViolation in interface PublisherExtension

Overrides:

publishPropertyViolation in class ListenerAdapter