edu.uiowa.cs.clc.kind2.results

Class Type

java.lang.Object

edu.uiowa.cs.clc.kind2.results.Type

Direct Known Subclasses:

Array, Bool, Enum, Int, Real, SubRange

public abstract class Type
extends java.lang.Object

An abstract class for all kind2 types.

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	name

Constructor Summary

Constructors

Constructor and Description
Type(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
static Type	getType(java.lang.String type)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

name

public final java.lang.String name

Constructor Detail

Type

public Type(java.lang.String name)

Method Detail

getType

public static Type getType(java.lang.String type)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object