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

Packages that use NaryExpr
escjava.ast |
escjava.translate |

Uses of NaryExpr in escjava.ast

Methods in escjava.ast that return NaryExpr
`static NaryExpr` | `NaryExpr.make(int sloc, int eloc, int op, Identifier methodName, ExprVec exprs)`

Methods in escjava.ast with parameters of type NaryExpr
`java.lang.Object` | `VisitorArgResult.visitNaryExpr(NaryExpr x, java.lang.Object o)`
`void` | `Visitor.visitNaryExpr(NaryExpr x)`

Uses of NaryExpr in escjava.translate

Methods in escjava.translate with parameters of type NaryExpr
`protected void` | `VcToStringPvs.printDttfsa(java.io.PrintStream out, java.util.Hashtable subst, NaryExpr ne)`
`protected void` | `VcToString.printDttfsa(java.io.PrintStream out, java.util.Hashtable subst, NaryExpr ne)`
`private static Set` | `Suggestion.checkNaryExpr(NaryExpr e)`

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