orc.type
Class NumberType

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

Direct Known Subclasses:

ConstIntType, IntegerType

public class NumberType
extends Type

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

NumberType()

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

NumberType

public NumberType()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Type