ast
Class ArrayTypeD

java.lang.Object
  |
  +--ast.TypeD
        |
        +--ast.ArrayTypeD

public class ArrayTypeD
extends TypeD


Field Summary
 Expr lower
           
 TypeD typeD
           
 Expr upper
           
 
Constructor Summary
ArrayTypeD(Expr lower, Expr upper, TypeD typeD)
           
 
Methods inherited from class ast.TypeD
toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

lower

public Expr lower

upper

public Expr upper

typeD

public TypeD typeD
Constructor Detail

ArrayTypeD

public ArrayTypeD(Expr lower,
                  Expr upper,
                  TypeD typeD)