jltools.util
Class Annotate

java.lang.Object
  |
  +--jltools.util.Annotate

public class Annotate

extends java.lang.Object

Annotate Overview: This class contains the constants and methods used to wrap accesses to AnnotatedObject's methods.

Method Summary

static Type	getCheckedType(AnnotatedObject o) Returns the checked type of an object -- null if not set.
static Type	getExpectedType(AnnotatedObject o) Returns the checked type of an object -- null if not set.
static Position	getPosition(AnnotatedObject o) Gets the source file position for o.
static boolean	isLValue(AnnotatedObject o)
static boolean	isStatementExpr(AnnotatedObject o)
static void	setCheckedType(AnnotatedObject o, Type t) Sets the checked type of an object.
static void	setExpectedType(AnnotatedObject o, Type t) Sets the checked type of an object.
static void	setLValue(AnnotatedObject o, boolean b) Label an Expression as being the left side of an assignment (Only used by PolyJ)
static void	setPosition(AnnotatedObject o, Position p) Notes that o appeared at position p of the source.
static void	setStatementExpr(AnnotatedObject o, boolean b) Label an Expression as being part of an ExpressionStatement, meaning the result of the expression is not used (Only used by PolyJ)

Methods inherited from class java.lang.Object

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

Method Detail

setPosition

public static void setPosition(AnnotatedObject o,
                               Position p)

Notes that o appeared at position p of the source.

getPosition

public static Position getPosition(AnnotatedObject o)

Gets the source file position for o.

setCheckedType

public static void setCheckedType(AnnotatedObject o,
                                  Type t)

Sets the checked type of an object.

getCheckedType

public static Type getCheckedType(AnnotatedObject o)

Returns the checked type of an object -- null if not set.

setExpectedType

public static void setExpectedType(AnnotatedObject o,
                                   Type t)

Sets the checked type of an object.

getExpectedType

public static Type getExpectedType(AnnotatedObject o)

Returns the checked type of an object -- null if not set.

setStatementExpr

public static void setStatementExpr(AnnotatedObject o,
                                    boolean b)

Label an Expression as being part of an ExpressionStatement, meaning the result of the expression is not used (Only used by PolyJ)

isStatementExpr

public static boolean isStatementExpr(AnnotatedObject o)

setLValue

public static void setLValue(AnnotatedObject o,
                             boolean b)

Label an Expression as being the left side of an assignment (Only used by PolyJ)

isLValue

public static boolean isLValue(AnnotatedObject o)