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

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