orc.type.ground
Class Message

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

public class Message
extends Type

Field Summary

Field

f

Fields inherited from class orc.type.Type

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

Constructor Summary

Message(Field f)

Method Summary

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

Methods inherited from class orc.type.Type

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

Field Detail

f

public Field f

Constructor Detail

Message

public Message(Field f)

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

toString

public java.lang.String toString()

Overrides:

toString in class Type