Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage