public class Trace<T> extends ListenerAdapter implements Iterable<T>
Constructor and Description |
---|
Trace() |
Modifier and Type | Method and Description |
---|---|
void |
addOp(T o) |
Trace |
clone() |
T |
getLastOp() |
List<T> |
getOps() |
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
|
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchFinished, searchStarted, stateProcessed, statePurged, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
public void addOp(T o)
public void removeLastOp()
public T getLastOp()
public int size()
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class ListenerAdapter
public void stateBacktracked(Search search)
SearchListener
stateBacktracked
in interface SearchListener
stateBacktracked
in class ListenerAdapter
public void stateStored(Search search)
SearchListener
stateStored
in interface SearchListener
stateStored
in class ListenerAdapter
public void stateRestored(Search search)
SearchListener
stateRestored
in interface SearchListener
stateRestored
in class ListenerAdapter