ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

javafe.ast
Class Expr

java.lang.Object
  extended byjavafe.ast.ASTNode
      extended byjavafe.ast.VarInit
          extended byjavafe.ast.Expr
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
AmbiguousMethodInvocation, AmbiguousVariableAccess, ArrayRangeRefExpr, ArrayRefExpr, BinaryExpr, CastExpr, ClassLiteral, CondExpr, DefPredApplExpr, DefPredLetExpr, EverythingExpr, FieldAccess, GCExpr, GuardExpr, InstanceOfExpr, LiteralExpr, LockSetExpr, MethodInvocation, NewArrayExpr, NewInstanceExpr, NothingExpr, NotModifiedExpr, NotSpecifiedExpr, ParenExpr, ResExpr, SetCompExpr, ThisExpr, UnaryExpr, VariableAccess, WildRefExpr

public abstract class Expr
extends VarInit

Represents an Expression. We define Expr as a subclass of VarInit to yield a more compact representation. An alternative is for VarInit to contain a pointer to an Expr, which would result in a number of additional pointers, in particular for array initializers.


Field Summary
 
Fields inherited from class javafe.ast.ASTNode
bogusField, dotCounter, dotId
 
Constructor Summary
protected Expr()
           
 
Method Summary
 void check()
           
 
Methods inherited from class javafe.ast.ASTNode
accept, accept, childAt, childCount, clone, clone, getDecorations, getEndLoc, getStartLoc, getTag, isInternal, setDecorations, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Expr

protected Expr()
Method Detail

check

public void check()
Overrides:
check in class VarInit

ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 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