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

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)
           
 


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

The ESC/Java2 Project Homepage