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

Packages that use CondExprModifierPragmaVec
escjava.ast   
escjava.translate   
 

Uses of CondExprModifierPragmaVec in escjava.ast
 

Fields in escjava.ast declared as CondExprModifierPragmaVec
 CondExprModifierPragmaVec ModifiesGroupPragma.items
           
 

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

Methods in escjava.ast with parameters of type CondExprModifierPragmaVec
 ModifiesGroupPragma ModifiesGroupPragma.append(CondExprModifierPragmaVec ev)
           
static ModifiesGroupPragma ModifiesGroupPragma.make(int tag, CondExprModifierPragmaVec items, Expr precondition, int clauseLoc)
           
 void CondExprModifierPragmaVec.append(CondExprModifierPragmaVec vec)
           
 

Uses of CondExprModifierPragmaVec in escjava.translate
 

Fields in escjava.translate declared as CondExprModifierPragmaVec
private  CondExprModifierPragmaVec Frame.ModifiesIterator.mp
          The set of store-ref locations over which to iterate.
 

Constructors in escjava.translate with parameters of type CondExprModifierPragmaVec
Frame.ModifiesIterator(TypeDecl td, CondExprModifierPragmaVec mp, boolean expandDatagroups)
          Creates an iterator over the store-ref locations in the CondExprModifierPragmaVec.
Frame.ModifiesIterator(TypeDecl td, CondExprModifierPragmaVec mp, boolean expandDatagroups, boolean expandWild)
          Creates an iterator over the store-ref locations in the CondExprModifierPragmaVec.
 


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