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

Packages that use ExprDeclPragma
escjava.ast   
escjava.backpred   
escjava.translate   
 

Uses of ExprDeclPragma in escjava.ast
 

Fields in escjava.ast declared as ExprDeclPragma
private  ExprDeclPragma[] ExprDeclPragmaVec.elements
          * Instance fields: * *
 

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

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

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

Uses of ExprDeclPragma in escjava.backpred
 

Methods in escjava.backpred with parameters of type ExprDeclPragma
private  void FindContributors.addPossibleMentions(FieldDecl fd, ExprDeclPragma J)
          Add the mapping (fd, J) to fieldToPossible.
private  void FindContributors.addPossibleInvariant(ExprDeclPragma J)
          Add a possible invariant contributor to either fieldToPossible or contributorInvariants as approperiate, maintaining all closure properties.
private  void FindContributors.addInvariant(ExprDeclPragma J)
          Add a given invariant to contributorInvarints, maintaining all closure properties.
private  FieldDeclVec FindContributors.fieldsInvariantMentions(ExprDeclPragma J)
          Returns the set of fields that a given invariant mentions.
 

Uses of ExprDeclPragma in escjava.translate
 

Fields in escjava.translate declared as ExprDeclPragma
(package private)  ExprDeclPragma InvariantInfo.prag
           
 


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