######################################################################
                            ABSTRACT SYNTAX
######################################################################

P = Program { D } E

D = ClassDef ident { F }
  | FunDef ident { F } T E

F = Formal ident T

T = IntType
  | TypeIdent ident
  | FunType { T } T

S = While E { S }
  | VarDef F E
  | Assign ident E 
  | Do E

E = If E E E
  | Unop U E
  | Binop B E E
  | Ident ident
  | NullLit
  | IntLit int
  | Apply E { E }
  | Block { S } E
  | New ident { E }
  | Select E ident

U = Not
  | Neg

B = Add
  | Sub
  | Mul
  | Div
  | Mod
  | Eq
  | Ne
  | Lt
  | Le
  | Gt
  | Ge
  | Or

######################################################################
$Id: ast.txt,v 1.3 2004/11/17 09:08:06 cremet Exp $