gov.nasa.jpf.util

Class Trace<T>

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.util.Trace<T>

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener, java.lang.Iterable<T>

public class Trace<T>
extends ListenerAdapter
implements java.lang.Iterable<T>

a generic, listener- created trace over property specific operations we could register this as a listener itself, but since it usually is used from a listener, we might as well just delegate from there

Constructor Summary

Constructors

Constructor and Description
Trace()

Method Summary

Modifier and Type	Method and Description
void	addOp(T o)
Trace	clone()
T	getLastOp()
java.util.List<T>	getOps()
java.util.Iterator<T>	iterator()
void	removeLastOp()
int	size()
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	stateRestored(Search search) a previously generated state was restored (can be on a completely different path)
void	stateStored(Search search) somebody stored the state

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, searchFinished, searchProbed, searchStarted, stateProcessed, statePurged, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

Trace

public Trace()

Method Detail

iterator

public java.util.Iterator<T> iterator()

Specified by:

iterator in interface java.lang.Iterable<T>

addOp

public void addOp(T o)

removeLastOp

public void removeLastOp()

getLastOp

public T getLastOp()

size

public int size()

getOps

public java.util.List<T> getOps()

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

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

stateStored

public void stateStored(Search search)

Description copied from interface: SearchListener

somebody stored the state

Specified by:

stateStored in interface SearchListener

Overrides:

stateStored 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

clone

public Trace clone()

Overrides:

clone in class java.lang.Object