|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ObjectDesignator | |
escjava.ast | |
escjava.tc | |
escjava.translate | |
javafe.ast | |
javafe.tc |
Uses of ObjectDesignator in escjava.ast |
Fields in escjava.ast declared as ObjectDesignator | |
ObjectDesignator |
WildRefExpr.od
|
Methods in escjava.ast with parameters of type ObjectDesignator | |
static WildRefExpr |
WildRefExpr.make(Expr var,
ObjectDesignator od)
|
Uses of ObjectDesignator in escjava.tc |
Methods in escjava.tc with parameters of type ObjectDesignator | |
int |
FlowInsensitiveChecks.isGhost(ObjectDesignator od)
|
Uses of ObjectDesignator in escjava.translate |
Methods in escjava.translate with parameters of type ObjectDesignator | |
static void |
TrAnExpr.getCalledSpecs(RoutineDecl decl,
ObjectDesignator od,
ExprVec ev,
Expr resultVar,
java.util.Hashtable sp,
java.util.Hashtable st)
|
private void |
Frame.ModifiesIterator.addFields(ObjectDesignator od)
Adds all the fields of the od (whether it is a type or an object) into the 'others' list as FieldAccess items. |
private void |
Frame.ModifiesIterator.add(ObjectDesignator od,
FieldDecl d)
Adds the contents of the datagroup d (of object od, which may not be null) to the 'others' list. |
Uses of ObjectDesignator in javafe.ast |
Subclasses of ObjectDesignator in javafe.ast | |
class |
ExprObjectDesignator
Represents an ObjectDesignator of the form "Expr . ". |
class |
SuperObjectDesignator
Represents a ObjectDesignator of the form "super . ". |
class |
TypeObjectDesignator
Represents a ObjectDesignator of the form "TypeName . " Is created from AmbiguousVariableAccess/AmbiguousMethodInvocation by the name resolution code. |
Fields in javafe.ast declared as ObjectDesignator | |
ObjectDesignator |
MethodInvocation.od
|
ObjectDesignator |
FieldAccess.od
|
Methods in javafe.ast with parameters of type ObjectDesignator | |
java.lang.Object |
VisitorArgResult.visitObjectDesignator(ObjectDesignator x,
java.lang.Object o)
|
void |
Visitor.visitObjectDesignator(ObjectDesignator x)
|
void |
StandardPrettyPrint.print(java.io.OutputStream o,
int ind,
ObjectDesignator od)
|
abstract void |
PrettyPrint.print(java.io.OutputStream o,
int ind,
ObjectDesignator od)
|
void |
PrettyPrint.println(java.io.PrintStream out,
ObjectDesignator e)
Writes an ObjectDesignator (a type of ASTNode) to the given PrintStream, followed by an end-of-line. |
java.lang.String |
PrettyPrint.toString(ObjectDesignator od)
|
static MethodInvocation |
MethodInvocation.make(ObjectDesignator od,
Identifier id,
TypeModifierPragmaVec tmodifiers,
int locId,
int locOpenParen,
ExprVec args)
|
static FieldAccess |
FieldAccess.make(ObjectDesignator od,
Identifier id,
int locId)
|
void |
DelegatingPrettyPrint.print(java.io.OutputStream o,
int ind,
ObjectDesignator od)
|
Uses of ObjectDesignator in javafe.tc |
Methods in javafe.tc that return ObjectDesignator | |
ObjectDesignator |
Env.getObjectDesignator(TypeSig C,
int loc)
Return an inferred ObjectDesignator for use in a reference to a possibly-instance member of class C from here. |
Methods in javafe.tc with parameters of type ObjectDesignator | |
protected Type |
FlowInsensitiveChecks.checkObjectDesignator(Env env,
ObjectDesignator od)
|
static void |
CheckInvariants.checkObjectDesignator(TypeSig sig,
ObjectDesignator od)
|
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |