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

Packages that use VarExprModifierPragma
escjava   
escjava.ast   
escjava.translate   
 

Uses of VarExprModifierPragma in escjava
 

Methods in escjava that return VarExprModifierPragma
static VarExprModifierPragma AnnotationHandler.defaultSignalsOnly(RoutineDecl tde, Expr req)
           
 

Uses of VarExprModifierPragma in escjava.ast
 

Fields in escjava.ast declared as VarExprModifierPragma
private  VarExprModifierPragma[] VarExprModifierPragmaVec.elements
          * Instance fields: * *
 

Methods in escjava.ast that return VarExprModifierPragma
 VarExprModifierPragma VarExprModifierPragmaVec.elementAt(int index)
          * Other methods: * *
 VarExprModifierPragma[] VarExprModifierPragmaVec.toArray()
           
 VarExprModifierPragma VarExprModifierPragmaVec.pop()
           
static VarExprModifierPragma VarExprModifierPragma.make(int tag, GenericVarDecl arg, Expr expr, int loc)
           
 

Methods in escjava.ast with parameters of type VarExprModifierPragma
abstract  java.lang.Object VisitorArgResult.visitVarExprModifierPragma(VarExprModifierPragma x, java.lang.Object o)
           
abstract  void Visitor.visitVarExprModifierPragma(VarExprModifierPragma x)
           
static VarExprModifierPragmaVec VarExprModifierPragmaVec.make(VarExprModifierPragma[] els)
           
 void VarExprModifierPragmaVec.setElementAt(VarExprModifierPragma x, int index)
           
 boolean VarExprModifierPragmaVec.contains(VarExprModifierPragma x)
           
 void VarExprModifierPragmaVec.addElement(VarExprModifierPragma x)
           
 boolean VarExprModifierPragmaVec.removeElement(VarExprModifierPragma x)
           
 void VarExprModifierPragmaVec.insertElementAt(VarExprModifierPragma obj, int index)
           
 

Constructors in escjava.ast with parameters of type VarExprModifierPragma
VarExprModifierPragmaVec(VarExprModifierPragma[] els)
          * Private constructors: * *
 

Uses of VarExprModifierPragma in escjava.translate
 

Methods in escjava.translate that return VarExprModifierPragma
private static VarExprModifierPragma GetSpec.doSubst(java.util.Hashtable subst, VarExprModifierPragma vemp)
          Perform a substitution on a VarExprModifierPragma *
 

Methods in escjava.translate with parameters of type VarExprModifierPragma
private static VarExprModifierPragma GetSpec.doSubst(java.util.Hashtable subst, VarExprModifierPragma vemp)
          Perform a substitution on a VarExprModifierPragma *
 


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