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.util.StackVector

Packages that use StackVector
escjava.ast |
escjava.pa |
escjava.tc |
escjava.translate |
javafe.ast |
javafe.parser |
javafe.tc |

Uses of StackVector in escjava.ast

Methods in escjava.ast with parameters of type StackVector
`static VarExprModifierPragmaVec` | `VarExprModifierPragmaVec.popFromStackVector(StackVector s)`
`static ModifiesGroupPragmaVec` | `ModifiesGroupPragmaVec.popFromStackVector(StackVector s)`
`static LocalVarDeclVec` | `LocalVarDeclVec.popFromStackVector(StackVector s)`
`static GuardedCmdVec` | `GuardedCmdVec.popFromStackVector(StackVector s)`
`static GenericVarDeclVec` | `GenericVarDeclVec.popFromStackVector(StackVector s)`
`static ExprStmtPragmaVec` | `ExprStmtPragmaVec.popFromStackVector(StackVector s)`
`static ExprModifierPragmaVec` | `ExprModifierPragmaVec.popFromStackVector(StackVector s)`
`static ExprDeclPragmaVec` | `ExprDeclPragmaVec.popFromStackVector(StackVector s)`
`static DefPredVec` | `DefPredVec.popFromStackVector(StackVector s)`
`static DecreasesInfoVec` | `DecreasesInfoVec.popFromStackVector(StackVector s)`
`static ConditionVec` | `ConditionVec.popFromStackVector(StackVector s)`
`static CondExprModifierPragmaVec` | `CondExprModifierPragmaVec.popFromStackVector(StackVector s)`

Uses of StackVector in escjava.pa

Fields in escjava.pa declared as StackVector
`private StackVector` | `PredicateAbstraction.code`

Uses of StackVector in escjava.tc

Fields in escjava.tc declared as StackVector
`protected StackVector` | `PrepTypeDeclaration.jmlFieldsSeq`
`protected StackVector` | `PrepTypeDeclaration.jmlHiddenFieldsSeq`
`protected StackVector` | `PrepTypeDeclaration.jmlDupFieldsSeq`

Uses of StackVector in escjava.translate

Fields in escjava.translate declared as StackVector
`private StackVector` | `Translate.code` Contains the guarded commands generated so far for the current method.
`private StackVector` | `Translate.declaredLocals` Contains the local Java variables declared in the current block so far for the current block and enclosing blocks of the current method.
`private StackVector` | `Translate.temporaries` Contains the temporaries that generated for the current method that haven't yet been declared in a VARINCMD.

Methods in escjava.translate with parameters of type StackVector
`private static void` | `GetSpec.addAssumptions(ExprVec ev, StackVector code)` Appends `code` with an `assume C` command for every condition `C` in `cv`.
`private static void` | `GetSpec.assumeConditions(ConditionVec cv, StackVector code)`
`private static void` | `GetSpec.checkConditions(ConditionVec cv, int loc, StackVector code)` Appends `code` with an `check loc: C` command for every condition `C` in `cv`.
`private static void` | `GetSpec.checkModifiesConstraints(Spec spec, FindContributors scope, Set syntargets, java.util.Hashtable premap, int loc, StackVector code)`
`static GuardedCmd` | `GC.boxPopFromStackVector(StackVector s)` Pops two command sequences off `s`, call them `a` and `b`.

Uses of StackVector in javafe.ast

Methods in javafe.ast with parameters of type StackVector
`static VarInitVec` | `VarInitVec.popFromStackVector(StackVector s)`
`static TypeNameVec` | `TypeNameVec.popFromStackVector(StackVector s)`
`static TypeModifierPragmaVec` | `TypeModifierPragmaVec.popFromStackVector(StackVector s)`
`static TypeDeclVec` | `TypeDeclVec.popFromStackVector(StackVector s)`
`static TypeDeclElemVec` | `TypeDeclElemVec.popFromStackVector(StackVector s)`
`static StmtVec` | `StmtVec.popFromStackVector(StackVector s)`
`static ModifierPragmaVec` | `ModifierPragmaVec.popFromStackVector(StackVector s)`
`static MethodDeclVec` | `MethodDeclVec.popFromStackVector(StackVector s)`
`static LexicalPragmaVec` | `LexicalPragmaVec.popFromStackVector(StackVector s)`
`static ImportDeclVec` | `ImportDeclVec.popFromStackVector(StackVector s)`
`static IdentifierVec` | `IdentifierVec.popFromStackVector(StackVector s)`
`static FormalParaDeclVec` | `FormalParaDeclVec.popFromStackVector(StackVector s)`
`static FieldDeclVec` | `FieldDeclVec.popFromStackVector(StackVector s)`
`static ExprVec` | `ExprVec.popFromStackVector(StackVector s)`
`static CatchClauseVec` | `CatchClauseVec.popFromStackVector(StackVector s)`

Uses of StackVector in javafe.parser

Fields in javafe.parser declared as StackVector
`protected StackVector` | `ParseUtil.seqModifierPragma`
`protected StackVector` | `ParseType.seqIdentifier`
`protected StackVector` | `ParseStmt.seqStmt` Internal working storage for many `ParseStmt` functions.
`protected StackVector` | `ParseStmt.seqCatchClause`
`protected StackVector` | `ParseExpr.seqExpr` Internal working storage for parseNewExpression, parseExpressionList, and ParseStmt.parseForStmt functions.
`protected StackVector` | `ParseExpr.seqVarInit` Internal working storage for parseArrayInitializer function.
`protected StackVector` | `ParseExpr.seqTypeDeclElem` Internal working storage for parseNewExpression function.
`protected StackVector` | `Parse.seqTypeName` Internal working storage for many Parse functions.
`protected StackVector` | `Parse.seqFormalParaDecl` Internal working storage for many Parse functions.
`protected StackVector` | `Parse.seqImportDecl` Internal working storage for many Parse functions.
`protected StackVector` | `Parse.seqTypeDecl` Internal working storage for many Parse functions.

Uses of StackVector in javafe.tc

Fields in javafe.tc declared as StackVector
`protected StackVector` | `PrepTypeDeclaration.fieldSeq`
`protected StackVector` | `PrepTypeDeclaration.hiddenfieldSeq`
`protected StackVector` | `PrepTypeDeclaration.methodSeq`
`protected StackVector` | `PrepTypeDeclaration.constructorSeq`

Methods in javafe.tc with parameters of type StackVector
`static TypeSigVec` | `TypeSigVec.popFromStackVector(StackVector s)`

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