orc.type.ground
Class Bot

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

public final 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

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

Constructor Summary

Bot()

Method Summary

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

Methods inherited from class orc.type.Type

addConstraints, allFreeVars, assertSubtype, asTycon, call, closed, demote, findVariance, freeVars, fromJavaClass, fromJavaMethod, fromJavaMethods, fromJavaType, fromJavaType, isTop, javaCounterpart, makeJavaCtx, makeJavaCtx, marshal, promote, resolveSites, shiftFreeVars, subst, substAll, supertype, unwrapAs, variances

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)
                throws TypeException

Overrides:

subtype in class Type

Throws:

TypeException

equal

public boolean equal(Type that)

Overrides:

equal in class Type

join

public Type join(Type that)
          throws TypeException

Overrides:

join in class Type

Throws:

TypeException

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

isBot

public boolean isBot()

Overrides:

isBot in class Type

toString

public java.lang.String toString()

Overrides:

toString in class Type