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

Packages that use NamedExprDeclPragma
escjava.ast   
escjava.translate   
 

Uses of NamedExprDeclPragma in escjava.ast
 

Methods in escjava.ast that return NamedExprDeclPragma
static NamedExprDeclPragma NamedExprDeclPragma.make(int tag, Expr expr, Expr target, int modifiers, int loc)
           
 

Methods in escjava.ast with parameters of type NamedExprDeclPragma
abstract  java.lang.Object VisitorArgResult.visitNamedExprDeclPragma(NamedExprDeclPragma x, java.lang.Object o)
           
abstract  void Visitor.visitNamedExprDeclPragma(NamedExprDeclPragma x)
           
 

Uses of NamedExprDeclPragma in escjava.translate
 

Methods in escjava.translate with parameters of type NamedExprDeclPragma
static Expr TrAnExpr.getRepresentsAxiom(NamedExprDeclPragma p, java.util.Hashtable sp)
          Translates an individual represents clause into a class-level axiom.
 


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