orc.type
Class Top

java.lang.Object
  orc.type.Type
      orc.type.Top

public class Top
extends Type

The Top type. Supertype of all other types. All other types extend this type, so that we can use the Java inheritance hierarchy to maintain a default subtyping relation. The Top type can be ascribed to all values, and thus necessarily carries no information.

Author:

dkitchin

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

Top()

Method Summary

boolean	subtype(Type that)
java.lang.String	toString()

Methods inherited from class orc.type.Type

call, equal, join, meet, supertype

Methods inherited from class java.lang.Object

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

Constructor Detail

Top

public Top()

Method Detail

subtype

public boolean subtype(Type that)

Overrides:

subtype in class Type

toString

public java.lang.String toString()

Overrides:

toString in class Type