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

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)
           
 


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

The ESC/Java2 Project Homepage