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


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