|
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 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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |