Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## Uses of Class
javafe.ast.ObjectDesignator

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)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage