gov.nasa.jpf.util

Class TraceElement<T>

java.lang.Object

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

public class TraceElement<T>
extends java.lang.Object

encapsulates a listener-managed trace operation

Constructor Summary

Constructors

Constructor and Description
TraceElement(T op)

Method Summary

Modifier and Type	Method and Description
TraceElement<T>	clone()
T	getOp()
TraceElement<T>	getPrevElement()

Methods inherited from class java.lang.Object

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

Constructor Detail

TraceElement

public TraceElement(T op)

Method Detail

getPrevElement

public TraceElement<T> getPrevElement()

getOp

public T getOp()

clone

public TraceElement<T> clone()

Overrides:

clone in class java.lang.Object