orc.lib.state.types
Class BoundedBufferType

java.lang.Object
  orc.type.Type
      orc.type.tycon.Tycon
          orc.type.tycon.MutableContainerType
              orc.lib.state.types.BoundedBufferType

public class BoundedBufferType
extends MutableContainerType

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

BoundedBufferType()

Method Summary

Type	makeCallableInstance(java.util.List<Type> params)
java.lang.String	toString()

Methods inherited from class orc.type.tycon.MutableContainerType

variances

Methods inherited from class orc.type.tycon.Tycon

asTycon, equals, hashCode, instance, instance, instance

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

BoundedBufferType

public BoundedBufferType()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Type

makeCallableInstance

public Type makeCallableInstance(java.util.List<Type> params)
                          throws TypeException

Overrides:

makeCallableInstance in class Tycon

Throws:

TypeException