public class TraceRecord extends java.lang.Object implements java.io.Serializable
java.util.List<Trace>
traces
TraceRecord()
int
length()
void
record(Trace trace)
java.lang.String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public java.util.List<Trace> traces
public TraceRecord()
public java.lang.String toString()
toString
java.lang.Object
public void record(Trace trace)
public int length()