ArrayType.java

class ArrayType extends Type {
	public final int lowerBound;
	public final int upperBound;
	public final Type elementType;

	public ArrayType (int lb, int ub, Type bt)
		{ lowerBound = lb; upperBound = ub; elementType = bt; }

	public int size ( )
		{ return ((upperBound - lowerBound) + 1) * elementType.size(); }
		
	public String toString() {
		return "Array " + lowerBound + " to " + upperBound + 
			" of " + elementType;
		}
}