|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavafe.ast.ASTNode
javafe.ast.VarInit
javafe.ast.Expr
escjava.ast.GCExpr
escjava.ast.GeneralizedQuantifiedExpr
Field Summary | |
Expr |
expr
|
ExprVec |
nopats
|
int |
quantifier
|
Expr |
rangeExpr
|
GenericVarDeclVec |
vars
|
Fields inherited from class escjava.ast.GCExpr |
eloc, sloc |
Fields inherited from class javafe.ast.ASTNode |
|
Constructor Summary | |
protected |
GeneralizedQuantifiedExpr()
Construct a raw GeneralizedQuantifiedExpr whose class invariant(s) have not yet been established. |
Method Summary | |
void |
accept(Visitor v)
Accept a visit from v . |
java.lang.Object |
accept(VisitorArgResult v,
java.lang.Object o)
|
void |
check()
|
java.lang.Object |
childAt(int index)
Return the first-but-ith child of a node. |
int |
childCount()
Return the number of children a node has. |
int |
getTag()
Return the tag of a node. |
static GeneralizedQuantifiedExpr |
make(int sloc,
int eloc,
int quantifier,
GenericVarDeclVec vars,
Expr expr,
Expr rangeExpr,
ExprVec nopats)
|
private void |
postCheck()
|
java.lang.String |
toString()
Return a string representation of this .
|
Methods inherited from class escjava.ast.GCExpr |
getEndLoc, getStartLoc |
Methods inherited from class javafe.ast.ASTNode |
clone, clone, getDecorations, setDecorations |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public int quantifier
public GenericVarDeclVec vars
public Expr expr
public Expr rangeExpr
public ExprVec nopats
Constructor Detail |
protected GeneralizedQuantifiedExpr()
Method Detail |
public final int getTag()
GCExpr
getTag
in class GCExpr
private void postCheck()
public final int childCount()
GCExpr
childCount
in class GCExpr
public final java.lang.Object childAt(int index)
GCExpr
childAt
in class GCExpr
public final java.lang.String toString()
GCExpr
this
.
Meant for debugging use only, not for presentation.
toString
in class GCExpr
public final void accept(Visitor v)
GCExpr
v
. This method simply
calls the method of v
corresponding to the
allocated type of this
, passing this
as the argument. See the design patterns book.
accept
in class GCExpr
public final java.lang.Object accept(VisitorArgResult v, java.lang.Object o)
accept
in class GCExpr
public void check()
check
in class GCExpr
public static GeneralizedQuantifiedExpr make(int sloc, int eloc, int quantifier, GenericVarDeclVec vars, Expr expr, Expr rangeExpr, ExprVec nopats)
|
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 CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |