sandmark.watermark.ct.trace
Class Annotator

java.lang.Object
  |
  +--sandmark.watermark.ct.trace.Annotator

public class Annotator

extends java.lang.Object

The Annotator class contains static methods that are called to identify insertion points for watermarking code. First, annotation calls are added to the subject program, and the program is run to produce a log. Then, the watermarker marks the program by replacing the annotation calls with generated code.

NOTE: this class must be compiled with with -g in order for the local variable tables to be intact. If not, we can't get stack-frame information for the mark() calls during tracing.

13-dec-2000/cc 30-sep-1999/gmt 10-feb-2000/gmt

Field Summary

static long	stackFrameNumber
(package private) static java.lang.String	VALUE

Constructor Summary

Annotator()

Method Summary

void	clear()
static void	MARK()
static void	sm$mark()
static void	sm$mark(long v)
static void	sm$mark(java.lang.String s)

Methods inherited from class java.lang.Object

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

Field Detail

VALUE

static java.lang.String VALUE

stackFrameNumber

public static long stackFrameNumber

Constructor Detail

Annotator

public Annotator()

Method Detail

MARK

public static void MARK()

sm$mark

public static void sm$mark()

sm$mark

public static void sm$mark(java.lang.String s)

sm$mark

public static void sm$mark(long v)

clear

public void clear()