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