arraytype.java

来自「plugin for eclipse」· Java 代码 · 共 45 行

/*
 * Created on May 9, 2005
 *
 * TODO To change the template for this generated file go to
 * Window - Preferences - Java - Code Style - Code Templates
 */
package isis.anp.nesc.ot.types;

import isis.anp.nesc.ot.Expression;
import isis.anp.nesc.ot.Outline;


/**
 * @author sallai
 *
 * TODO To change the template for this generated type comment go to
 * Window - Preferences - Java - Code Style - Code Templates
 */
public class ArrayType extends ConstructedType {
	Expression multiplicity;
	
	public ArrayType(Type t) {
		super(t);
	}

	public ArrayType(Type t, Expression m) {
		super(t);
		multiplicity = m;
	}
	
	public void outline(Outline o) {
		getEnclosedType().outline(o);
		o.append("[]");
		o.ensureSpace();
	}

	public Object clone() {
	    ArrayType rval = new ArrayType(this.enclosedType, this.multiplicity);
	    rval.typeQualifiers = this.typeQualifiers;

	    return rval;
	}
	
}