orc.type
Class Bot

java.lang.Object
  orc.type.Type
      orc.type.Bot

public class Bot
extends Type

The bottom type. Subtype of every other type. Bot is the type of expressions which will never publish.

Author:

dkitchin

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

Bot()

Method Summary

Type	call(java.util.List<Type> args)
boolean	equal(Type that)
Type	join(Type that)
Type	meet(Type that)
boolean	subtype(Type that)
java.lang.String	toString()

Methods inherited from class orc.type.Type

supertype

Methods inherited from class java.lang.Object

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

Constructor Detail

Bot

public Bot()

Method Detail

subtype

public boolean subtype(Type that)

Overrides:

subtype in class Type

equal

public boolean equal(Type that)

Overrides:

equal in class Type

join

public Type join(Type that)

Overrides:

join in class Type

meet

public Type meet(Type that)

Overrides:

meet in class Type

call

public Type call(java.util.List<Type> args)

Overrides:

call in class Type

toString

public java.lang.String toString()

Overrides:

toString in class Type