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.FieldDeclVec

Packages that use FieldDeclVec
escjava.backpred   
escjava.tc   
javafe.ast   
javafe.tc   
 

Uses of FieldDeclVec in escjava.backpred
 

Methods in escjava.backpred that return FieldDeclVec
private  FieldDeclVec FindContributors.fieldsInvariantMentions(ExprDeclPragma J)
          Returns the set of fields that a given invariant mentions.
 

Methods in escjava.backpred with parameters of type FieldDeclVec
private  void FindContributors.walk(ASTNode N, FieldDeclVec fields, boolean addTypes, java.util.LinkedList visited)
          Walks a given ASTNode, finding all the types it "mentions" and all the fields it "mentions".
private  void FindContributors.addImplicitConstructorRefs(ConstructorDecl cd, FieldDeclVec fields, boolean addTypes, java.util.LinkedList visited)
          Add implicit references from a ConstructorDecl that do not appear in Java code or via backedges as per walk(,,).
private  void FindContributors.walkInstanceInitialier(TypeDecl td, FieldDeclVec fields, boolean addTypes, java.util.LinkedList visited)
          Walk the implicit instance initializer code for a given TypeDecl, excluding any field initializations of superinterface fields.
private  void FindContributors.backedgeToGenericVarDecl(GenericVarDecl decl, FieldDeclVec fields, boolean addTypes, java.util.LinkedList visited)
          Calculate the fields and types "mentioned" by a backedge to a GenericVarDecl and then add them as per walk(,,).
private  void FindContributors.backedgeToRoutineDecl(RoutineDecl rd, FieldDeclVec fields, boolean addTypes, int inlined, java.util.LinkedList visited)
          Calculate the fields and types "mentioned" by a backedge to a RoutineDecl and then add them as per walk(,,).
 

Uses of FieldDeclVec in escjava.tc
 

Fields in escjava.tc declared as FieldDeclVec
 FieldDeclVec TypeSig.jmlFields
           
 FieldDeclVec TypeSig.jmlHiddenFields
           
 FieldDeclVec TypeSig.jmlDupFields
           
 

Methods in escjava.tc that return FieldDeclVec
 FieldDeclVec GhostEnv.getFields(boolean allFields)
           
 

Methods in escjava.tc with parameters of type FieldDeclVec
 void PrepTypeDeclaration.print(java.lang.String s, FieldDeclVec fdv)
           
 

Uses of FieldDeclVec in javafe.ast
 

Methods in javafe.ast that return FieldDeclVec
static FieldDeclVec FieldDeclVec.make()
          * Public maker methods: * *
static FieldDeclVec FieldDeclVec.make(int count)
           
static FieldDeclVec FieldDeclVec.make(java.util.Vector vec)
           
static FieldDeclVec FieldDeclVec.make(FieldDecl[] els)
           
static FieldDeclVec FieldDeclVec.popFromStackVector(StackVector s)
           
 FieldDeclVec FieldDeclVec.copy()
           
 

Methods in javafe.ast with parameters of type FieldDeclVec
 void FieldDeclVec.append(FieldDeclVec vec)
           
 

Uses of FieldDeclVec in javafe.tc
 

Fields in javafe.tc declared as FieldDeclVec
protected  FieldDeclVec TypeSig.fields
          After preparation, this field contains all field members of the TypeDecl associated with this, including inherited ones.
protected  FieldDeclVec TypeSig.hiddenfields
           
 

Methods in javafe.tc that return FieldDeclVec
 FieldDeclVec TypeSig.getFields(boolean allFields)
          Returns all fields of the type declaration associated with this, including inherited ones.
 FieldDeclVec TypeSig.getFieldsRaw()
           
 FieldDeclVec TypeSig.getHiddenFields()
           
 FieldDeclVec EnvForTypeSig.getFields(boolean allFields)
           
 


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