constructedtype.java

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

/*
 * Created on May 12, 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;


/**
 * @author sallai
 * 
 * TODO To change the template for this generated type comment go to Window -
 * Preferences - Java - Code Style - Code Templates
 */
public abstract class ConstructedType extends Type {
	Type enclosedType;
	

	public ConstructedType(Type t) {
		this.enclosedType = t;
	}

	public Type getEnclosedType() {
		return enclosedType;
	}


}