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

Packages that use GCExpr
escjava.ast |
escjava.parser |

Uses of GCExpr in escjava.ast

Subclasses of GCExpr in escjava.ast
`class` | `GeneralizedQuantifiedExpr`
`class` | `LabelExpr`
`class` | `NaryExpr`
`class` | `NumericalQuantifiedExpr`
`class` | `QuantifiedExpr`
`class` | `SubstExpr`
`class` | `TypeExpr`

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

Uses of GCExpr in escjava.parser

Methods in escjava.parser that return GCExpr
`private GCExpr` | `EscPragmaParser.parseQuantifierRemainder(Lex l, int tag, Type type, int loc)` Parse the balance (everything after the quantifier to the end of the current quantified scope) of a quantifier expression from `l`.

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