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

Packages that use ExprStmtPragmaVec
escjava.ast   
escjava.tc   
escjava.translate   
 

Uses of ExprStmtPragmaVec in escjava.ast
 

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

Methods in escjava.ast with parameters of type ExprStmtPragmaVec
 void ExprStmtPragmaVec.append(ExprStmtPragmaVec vec)
           
 

Uses of ExprStmtPragmaVec in escjava.tc
 

Fields in escjava.tc declared as ExprStmtPragmaVec
protected  ExprStmtPragmaVec FlowInsensitiveChecks.loopInvariants
          Contains the loop invariant statement pragmas seen so far and not yet processed.
protected  ExprStmtPragmaVec FlowInsensitiveChecks.loopDecreases
          Contains the loop decreases statement pragmas seen so far and not yet processed.
protected  ExprStmtPragmaVec FlowInsensitiveChecks.loopPredicates
           
 

Uses of ExprStmtPragmaVec in escjava.translate
 

Fields in escjava.translate declared as ExprStmtPragmaVec
private  ExprStmtPragmaVec Translate.loopinvariants
          List of loop invariant pragmas seen so far (and not yet used) within the current method.
private  ExprStmtPragmaVec Translate.loopDecreases
          List of loop decreases pragmas seen so far (and not yet used) within the current method.
private  ExprStmtPragmaVec Translate.loopPredicates
           
 

Methods in escjava.translate with parameters of type ExprStmtPragmaVec
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.
 


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