ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 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.FieldAccess

Packages that use FieldAccess
escjava.translate   
javafe.ast   
javafe.tc   
 

Uses of FieldAccess in escjava.translate
 

Methods in escjava.translate with parameters of type FieldAccess
private  Expr Translate.trFieldAccess(boolean protectObject, FieldAccess fa)
          Returns either a VariableAccess if fa is a class variable or a SELECT application if fa is an instance variable access, or an ARRAYLENGTH application if fa is the final array field length.
 

Constructors in escjava.translate with parameters of type FieldAccess
RepHelper(FieldAccess fa)
           
 

Uses of FieldAccess in javafe.ast
 

Methods in javafe.ast that return FieldAccess
static FieldAccess FieldAccess.make(ObjectDesignator od, Identifier id, int locId)
           
 

Methods in javafe.ast with parameters of type FieldAccess
 java.lang.Object VisitorArgResult.visitFieldAccess(FieldAccess x, java.lang.Object o)
           
 void Visitor.visitFieldAccess(FieldAccess x)
           
 void RShiftVisitor.visitFieldAccess(FieldAccess x)
           
 void LShiftVisitor.visitFieldAccess(FieldAccess x)
           
 void DefaultVisitor.visitFieldAccess(FieldAccess x)
           
 void ASTDotVisitor.visitFieldAccess(FieldAccess x)
           
 

Uses of FieldAccess in javafe.tc
 

Methods in javafe.tc that return FieldAccess
protected  FieldAccess FlowInsensitiveChecks.checkFieldAccessExpr(Env env, FieldAccess fa)
          Typechecks a field access (e.g., this.x).
 

Methods in javafe.tc with parameters of type FieldAccess
protected  FieldAccess FlowInsensitiveChecks.checkFieldAccessExpr(Env env, FieldAccess fa)
          Typechecks a field access (e.g., this.x).
static void FlowInsensitiveChecks.determineUniverseForFieldAccess(FieldAccess fa)
           
 


ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 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