SandMark version 2.0


sandmark.watermark.ct.trace
Class TracePoint

java.lang.Object
  |
  +--sandmark.watermark.ct.trace.TracePoint
All Implemented Interfaces:
java.io.Serializable

public class TracePoint
extends java.lang.Object
implements java.io.Serializable

This class represents the location of an annotation point in the code.

All fields are public, but should be treated as read-only.

See Also:
Serialized Form

Field Summary
 ByteCodeLocation location
          The source location of a Annotate.mark(Arg) call.
 StackFrame[] stack
          The call stack at this annotation point.
 java.lang.String value
          The argument (if any) found in a Annotate.mark(Arg) call.
 
Constructor Summary
TracePoint(java.lang.String value, ByteCodeLocation location)
           
TracePoint(java.lang.String value, ByteCodeLocation location, StackFrame[] stack)
           
 
Method Summary
 boolean equals(java.lang.Object b)
          Compare for equality.
 int hashCode()
           
static TracePoint[] read(java.lang.String traceFileName)
           
 java.lang.String toString()
          Format the data in an easy to parse form.
static void write(java.lang.String traceFileName, TracePoint[] tracePoints)
          Write an array of trace point data to file.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

value

public java.lang.String value
The argument (if any) found in a Annotate.mark(Arg) call.


location

public ByteCodeLocation location
The source location of a Annotate.mark(Arg) call.


stack

public StackFrame[] stack
The call stack at this annotation point.

Constructor Detail

TracePoint

public TracePoint(java.lang.String value,
                  ByteCodeLocation location)

TracePoint

public TracePoint(java.lang.String value,
                  ByteCodeLocation location,
                  StackFrame[] stack)
Method Detail

equals

public boolean equals(java.lang.Object b)
Compare for equality.

Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

toString

public java.lang.String toString()
Format the data in an easy to parse form.

Overrides:
toString in class java.lang.Object

write

public static void write(java.lang.String traceFileName,
                         TracePoint[] tracePoints)
                  throws java.lang.Exception
Write an array of trace point data to file.

java.lang.Exception

read

public static TracePoint[] read(java.lang.String traceFileName)
                         throws java.lang.Exception
java.lang.Exception

SandMark version 2.0

Mon Jun 17 12:30:47 MST 2002