orc.type.tycon
Class MutableContainerType

java.lang.Object
  extended by orc.type.Type
      extended by orc.type.tycon.Tycon
          extended by orc.type.tycon.MutableContainerType
Direct Known Subclasses:
ArrayType, BoundedBufferType, BufferType, CellType, RefType, SyncChannelType

public abstract class MutableContainerType
extends Tycon


Field Summary
 
Fields inherited from class orc.type.Type
BOOLEAN, BOT, INTEGER, LET, NUMBER, SIGNAL, STRING, TOP
 
Constructor Summary
MutableContainerType()
           
 
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

MutableContainerType

public MutableContainerType()
Method Detail

variances

public java.util.List<Variance> variances()
Overrides:
variances in class Type