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
escjava.ast.LocalVarDeclVec

Packages that use LocalVarDeclVec
escjava.ast |
escjava.pa |
escjava.tc |
escjava.translate |

Uses of LocalVarDeclVec in escjava.ast

Fields in escjava.ast declared as LocalVarDeclVec
`LocalVarDeclVec` | `SkolemConstantPragma.decls`
`LocalVarDeclVec` | `LoopCmd.skolemConstants`

Methods in escjava.ast that return LocalVarDeclVec
`static LocalVarDeclVec` | `LocalVarDeclVec.make()` * Public maker methods: * *
`static LocalVarDeclVec` | `LocalVarDeclVec.make(int count)`
`static LocalVarDeclVec` | `LocalVarDeclVec.make(java.util.Vector vec)`
`static LocalVarDeclVec` | `LocalVarDeclVec.make(LocalVarDecl[] els)`
`static LocalVarDeclVec` | `LocalVarDeclVec.popFromStackVector(StackVector s)`
`LocalVarDeclVec` | `LocalVarDeclVec.copy()`

Methods in escjava.ast with parameters of type LocalVarDeclVec
`static SkolemConstantPragma` | `SkolemConstantPragma.make(LocalVarDeclVec decls, int sloc, int eloc)`
`static LoopCmd` | `LoopCmd.make(int locStart, int locEnd, int locHotspot, java.util.Hashtable oldmap, ConditionVec invariants, DecreasesInfoVec decreases, LocalVarDeclVec skolemConstants, ExprVec predicates, GenericVarDeclVec tempVars, GuardedCmd guard, GuardedCmd body)`
`void` | `LocalVarDeclVec.append(LocalVarDeclVec vec)`

Uses of LocalVarDeclVec in escjava.pa

Fields in escjava.pa declared as LocalVarDeclVec
`private LocalVarDeclVec` | `PredicateAbstraction.skolemConstants`

Methods in escjava.pa with parameters of type LocalVarDeclVec
`static ExprVec` | `PredicateAbstraction.skolemQuantInvariants(LocalVarDeclVec skolemConstants, ExprVec invs, int sloc, int eloc)`

Uses of LocalVarDeclVec in escjava.tc

Fields in escjava.tc declared as LocalVarDeclVec
`protected LocalVarDeclVec` | `FlowInsensitiveChecks.skolemConstants`

Uses of LocalVarDeclVec in escjava.translate

Fields in escjava.translate declared as LocalVarDeclVec
`protected LocalVarDeclVec` | `Translate.skolemConstants`

Methods in escjava.translate with parameters of type LocalVarDeclVec
`private void` | `Translate.makeLoop(int sLoop, int eLoop, int locHotspot, GenericVarDeclVec tempVars, GuardedCmd guard, GuardedCmd body, ExprStmtPragmaVec J, ExprStmtPragmaVec decreases, LocalVarDeclVec skolemConsts, ExprStmtPragmaVec P, Expr label)` Appends to `code` commands that make up a loop with nominal body `guard;body`, where `label` is raised within `body` to terminate the loop.
`static LoopCmd` | `GC.loop(int sLoop, int eLoop, int locHotspot, java.util.Hashtable oldmap, ConditionVec J, DecreasesInfoVec decs, LocalVarDeclVec skolemConsts, ExprVec P, GenericVarDeclVec tempVars, GuardedCmd B, GuardedCmd 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