orc.type.structured
Class OptionType

java.lang.Object
  orc.type.Type
      orc.type.tycon.Tycon
          orc.type.tycon.ImmutableContainerType
              orc.type.structured.OptionType

public class OptionType
extends ImmutableContainerType

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

OptionType()

Method Summary

java.lang.String

toString()

Methods inherited from class orc.type.tycon.ImmutableContainerType

variances

Methods inherited from class orc.type.tycon.Tycon

asTycon, equals, hashCode, instance, instance, instance, makeCallableInstance

Methods inherited from class orc.type.Type

addConstraints, allFreeVars, assertSubtype, call, call, closed, demote, equal, findVariance, freeVars, fromJavaClass, fromJavaMethod, fromJavaMethods, fromJavaType, fromJavaType, isBot, isTop, javaCounterpart, join, makeJavaCtx, makeJavaCtx, marshal, meet, promote, resolveSites, shiftFreeVars, subst, substAll, subtype, supertype, unwrapAs

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

OptionType

public OptionType()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Type