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)

Constructors in escjava.ast with parameters of type GenericVarDeclVec

VarInCmd(GenericVarDeclVec v, GuardedCmd g)

QuantifiedExpr(int sloc, int eloc, int quantifier, GenericVarDeclVec vars, Expr rangeExpr, Expr expr, ExprVec nopats, ExprVec pats)

NumericalQuantifiedExpr(int sloc, int eloc, int quantifier, GenericVarDeclVec vars, Expr rangeExpr, Expr expr, ExprVec nopats)

LoopCmd(int locStart, int locEnd, int locHotspot, java.util.Hashtable oldmap, ConditionVec invariants, DecreasesInfoVec decreases, LocalVarDeclVec skolemConstants, ExprVec predicates, GenericVarDeclVec tempVars, GuardedCmd guard, GuardedCmd body)

GeneralizedQuantifiedExpr(int sloc, int eloc, int quantifier, GenericVarDeclVec vars, Expr expr, Expr rangeExpr, ExprVec nopats)

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