edu.uiowa.cs.clc.kind2.results

Class Int

java.lang.Object

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

edu.uiowa.cs.clc.kind2.results.Int

public class Int
extends Type

Kind2 type for case int, uint8, uint16, uint32, uint64, int8, int16, int32, int64.

Field Summary

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

name

Constructor Summary

Constructors

Constructor and Description
Int()

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

Int

public Int()