sandmark.watermark.ct.embed
Class EmbedData

java.lang.Object
  |
  +--sandmark.watermark.ct.embed.EmbedData

public class EmbedData

extends java.lang.Object

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

Field Summary

int	kind
static int	LOCATION Whether this trace point is location or value based.
MethodID[]	methods The methods in Watermark.java that should be inserted at this point.
TracePoint	tracePoint The annotation trace point, representing a source location and the mark() value encountered at that location.
static int	VALUE

Constructor Summary

EmbedData(TracePoint tracePoint, MethodID[] methods, int kind)

Method Summary

java.lang.String

toString() Format the data in an easy to parse form.

Methods inherited from class java.lang.Object

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

Field Detail

tracePoint

public TracePoint tracePoint

The annotation trace point, representing a source location and the mark() value encountered at that location.

methods

public MethodID[] methods

The methods in Watermark.java that should be inserted at this point.

LOCATION

public static final int LOCATION

Whether this trace point is location or value based.

See Also:

Constant Field Values

VALUE

public static final int VALUE

See Also:

Constant Field Values

kind

public int kind

Constructor Detail

EmbedData

public EmbedData(TracePoint tracePoint,
                 MethodID[] methods,
                 int kind)

Method Detail

toString

public java.lang.String toString()

Format the data in an easy to parse form.

Overrides:

toString in class java.lang.Object