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


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