edu.uiowa.cs.clc.kind2.results

Class Enum

java.lang.Object

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

edu.uiowa.cs.clc.kind2.results.Enum

public class Enum
extends Type

Kind2 type for enums.

Field Summary

Fields inherited from class edu.uiowa.cs.clc.kind2.results.Type

name

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class edu.uiowa.cs.clc.kind2.results.Type

getType, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Enum

public Enum(java.lang.String name)