TypeIF.java

package edu.udel.cis.vsl.tass.model.IF.type;

public interface TypeIF {

	public enum TypeKind {
		ARRAY,
		BOOLEAN,
		CHAR,
		FUNCTION,
		INTEGER,
		POINTER,
		RATIONAL,
		RECORD,
		VECTOR,
		VOID,
	};

	/** Every type created by a type factory has a unique integer id. */
	int id();

	boolean isNumeric();

	boolean isSubtypeOf(TypeIF type);

	TypeKind kind();

	String longName();

	String shortName();

}