orc.type.tycon
Class ImmutableContainerType

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

Direct Known Subclasses:

ListType, OptionType

public abstract class ImmutableContainerType
extends Tycon

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

ImmutableContainerType()

Method Summary

java.util.List<Variance>

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, toString, unwrapAs

Methods inherited from class java.lang.Object

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

Constructor Detail

ImmutableContainerType

public ImmutableContainerType()

Method Detail

variances

public java.util.List<Variance> variances()

Overrides:

variances in class Type