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

escjava.ast
Class GCExpr

java.lang.Object
  extended byjavafe.ast.ASTNode
      extended byjavafe.ast.VarInit
          extended byjavafe.ast.Expr
              extended byescjava.ast.GCExpr
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
GeneralizedQuantifiedExpr, LabelExpr, NaryExpr, NumericalQuantifiedExpr, QuantifiedExpr, SubstExpr, TypeExpr

public abstract class GCExpr
extends Expr


Field Summary
 int eloc
           
 int sloc
           
 
Fields inherited from class javafe.ast.ASTNode
 
Constructor Summary
GCExpr()
           
 
Method Summary
abstract  void accept(Visitor v)
          Accept a visit from v.
abstract  java.lang.Object accept(VisitorArgResult v, java.lang.Object o)
           
 void check()
           
abstract  java.lang.Object childAt(int i)
          Return the first-but-ith child of a node.
abstract  int childCount()
          Return the number of children a node has.
 int getEndLoc()
           
 int getStartLoc()
           
abstract  int getTag()
          Return the tag of a node.
abstract  java.lang.String toString()
          Return a string representation of this.
 
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

sloc

public int sloc

eloc

public int eloc
Constructor Detail

GCExpr

public GCExpr()
Method Detail

getStartLoc

public int getStartLoc()
Specified by:
getStartLoc in class ASTNode

getEndLoc

public int getEndLoc()
Overrides:
getEndLoc in class ASTNode

childCount

public abstract int childCount()
Return the number of children a node has.

Specified by:
childCount in class ASTNode

childAt

public abstract java.lang.Object childAt(int i)
Return the first-but-ith child of a node.

Specified by:
childAt in class ASTNode

getTag

public abstract int getTag()
Return the tag of a node.

Specified by:
getTag in class ASTNode

toString

public abstract java.lang.String toString()
Return a string representation of this. Meant for debugging use only, not for presentation.

Specified by:
toString in class ASTNode

accept

public abstract void accept(Visitor v)
Accept a visit from 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.

Specified by:
accept in class ASTNode

accept

public abstract java.lang.Object accept(VisitorArgResult v,
                                        java.lang.Object o)
Specified by:
accept in class ASTNode

check

public void check()
Overrides:
check in class Expr

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