orc.type
Class IntegerType

java.lang.Object
  orc.type.Type
      orc.type.NumberType
          orc.type.IntegerType

public class IntegerType
extends NumberType

Field Summary

Fields inherited from class orc.type.Type

BOOLEAN, BOT, INTEGER, LET, NUMBER, STRING, TOP

Constructor Summary

IntegerType()

Method Summary

java.lang.String

toString()

Methods inherited from class orc.type.Type

call, equal, join, meet, subtype, supertype

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegerType

public IntegerType()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class NumberType