orc.type.ground
Class Top

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

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

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

Constructor Summary

Top()

Method Summary

boolean	isTop()
Type	marshal() Convert to a syntactic type.
boolean	subtype(Type that)
java.lang.String	toString()

Methods inherited from class orc.type.Type

addConstraints, allFreeVars, assertSubtype, asTycon, call, call, closed, demote, equal, findVariance, freeVars, fromJavaClass, fromJavaMethod, fromJavaMethods, fromJavaType, fromJavaType, isBot, javaCounterpart, join, makeJavaCtx, makeJavaCtx, meet, 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

Top

public Top()

Method Detail

subtype

public boolean subtype(Type that)
                throws TypeException

Overrides:

subtype in class Type

Throws:

TypeException

isTop

public boolean isTop()

Overrides:

isTop in class Type

toString

public java.lang.String toString()

Overrides:

toString in class Type

marshal

public Type marshal()

Description copied from class: Type

Convert to a syntactic type. May return null if the type is not representable.

Overrides:

marshal in class Type

Returns:

The syntactic type corresponding to this type