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

Packages that use ExprModifierPragma
escjava   
escjava.ast   
escjava.translate   
 

Uses of ExprModifierPragma in escjava
 

Methods in escjava that return ExprModifierPragma
static ExprModifierPragma AnnotationHandler.and(ExprModifierPragma e1, ExprModifierPragma e2)
          Produces an ExprModifierPragma whose expression is the conjunction of the expressions in the input pragmas.
static ExprModifierPragma AnnotationHandler.and(java.util.ArrayList a)
          Produces an ExprModifierPragma whose expression is the conjunction of all of the expressions in the ExprModifierPragmas in the argument.
static ExprModifierPragma AnnotationHandler.andLabeled(java.util.ArrayList a)
          The same as and(ArrayList), but produces labelled expressions within the conjunction so that error messages come out with useful locations.
static ExprModifierPragma AnnotationHandler.or(ExprModifierPragma e1, ExprModifierPragma e2)
          Produces an ExprModifierPragma whose expression is the disjunction of the expressions in the input pragmas.
static ExprModifierPragma AnnotationHandler.or(java.util.ArrayList a)
          Produces an ExprModifierPragma whose expression is the disjunction of all of the expressions in the ExprModifierPragmas in the argument.
 

Methods in escjava with parameters of type ExprModifierPragma
static ExprModifierPragma AnnotationHandler.and(ExprModifierPragma e1, ExprModifierPragma e2)
          Produces an ExprModifierPragma whose expression is the conjunction of the expressions in the input pragmas.
static ExprModifierPragma AnnotationHandler.or(ExprModifierPragma e1, ExprModifierPragma e2)
          Produces an ExprModifierPragma whose expression is the disjunction of the expressions in the input pragmas.
 

Uses of ExprModifierPragma in escjava.ast
 

Fields in escjava.ast declared as ExprModifierPragma
private  ExprModifierPragma[] ExprModifierPragmaVec.elements
          * Instance fields: * *
 

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

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

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

Uses of ExprModifierPragma in escjava.translate
 

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

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


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