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

Packages that use GenericVarDeclVec
escjava |
escjava.ast |
escjava.pa |
escjava.sp |
escjava.translate |

Uses of GenericVarDeclVec in escjava

Methods in escjava with parameters of type GenericVarDeclVec
`ModifierPragma` | `AnnotationHandler.forallWrap(GenericVarDeclVec foralls, ModifierPragma mp)`
`Expr` | `AnnotationHandler.forallWrap(GenericVarDeclVec foralls, Expr e)`

Uses of GenericVarDeclVec in escjava.ast

Fields in escjava.ast declared as GenericVarDeclVec
`GenericVarDeclVec` | `VarInCmd.v`
`GenericVarDeclVec` | `QuantifiedExpr.vars`
`GenericVarDeclVec` | `NumericalQuantifiedExpr.vars`
`GenericVarDeclVec` | `LoopCmd.tempVars`
`GenericVarDeclVec` | `GeneralizedQuantifiedExpr.vars`
`GenericVarDeclVec` | `DefPred.args`

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

Methods in escjava.ast with parameters of type GenericVarDeclVec
`static VarInCmd` | `VarInCmd.make(GenericVarDeclVec v, GuardedCmd g)`
`static QuantifiedExpr` | `QuantifiedExpr.make(int sloc, int eloc, int quantifier, GenericVarDeclVec vars, Expr rangeExpr, Expr expr, ExprVec nopats, ExprVec pats)`
`static NumericalQuantifiedExpr` | `NumericalQuantifiedExpr.make(int sloc, int eloc, int quantifier, GenericVarDeclVec vars, Expr rangeExpr, Expr expr, ExprVec nopats)`
`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` | `GenericVarDeclVec.append(GenericVarDeclVec vec)`
`static GeneralizedQuantifiedExpr` | `GeneralizedQuantifiedExpr.make(int sloc, int eloc, int quantifier, GenericVarDeclVec vars, Expr expr, Expr rangeExpr, ExprVec nopats)`
`private void` | `EscPrettyPrint.printVarVec(java.io.OutputStream o, GenericVarDeclVec vars)`
`static DefPred` | `DefPred.make(Identifier predId, GenericVarDeclVec args, Expr body)`

Uses of GenericVarDeclVec in escjava.pa

Fields in escjava.pa declared as GenericVarDeclVec
`private GenericVarDeclVec` | `PredicateAbstraction.temporaries`

Uses of GenericVarDeclVec in escjava.sp

Methods in escjava.sp with parameters of type GenericVarDeclVec
`VarMap` | `VarMap.unmap(GenericVarDeclVec vec)` Returns a VarMap identical to "this", except mapping each element of "vec" to itself.

Uses of GenericVarDeclVec in escjava.translate

Methods in escjava.translate with parameters of type GenericVarDeclVec
`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.
`private GuardedCmd` | `Translate.wrapUpUnrolledIteration(java.lang.String locString, int iteration, GenericVarDeclVec tempVars)`
`static GuardedCmd` | `GC.block(GenericVarDeclVec v, GuardedCmd g)`
`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)`
`static Expr` | `GC.forall(GenericVarDeclVec v, Expr range, Expr e)`
`static Expr` | `GC.quantifiedExpr(int sloc, int eloc, int tag, GenericVarDeclVec vs, Expr range, Expr e, ExprVec nopats, ExprVec pats)`

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