|
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 |
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |