orc.type.structured
Class ListType

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

public class ListType
extends ImmutableContainerType

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

ListType()

Method Summary

static Type	listOf(Type T)
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

ListType

public ListType()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Type

listOf

public static Type listOf(Type T)
                   throws TypeException

Throws:

TypeException