edu.uiowa.cs.clc.kind2.results

Class Array

java.lang.Object

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

edu.uiowa.cs.clc.kind2.results.Array

public class Array
extends Type

Kind2 type for arrays.

Field Summary

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

name

Constructor Summary

Constructors

Constructor and Description
Array(Type elementType)

Method Summary

Modifier and Type	Method and Description
Type	getElementType()

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

Array

public Array(Type elementType)

Method Detail

getElementType

public Type getElementType()