orc.type.java
Class ClassTycon

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

public class ClassTycon
extends Tycon

Field Summary

java.lang.Class

cls

Fields inherited from class orc.type.Type

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

Constructor Summary

ClassTycon(java.lang.Class cls)

Method Summary

Type	makeCallableInstance(java.util.List<Type> params)
boolean	subtype(Type that)
java.lang.String	toString()
java.util.List<Variance>	variances()

Methods inherited from class orc.type.tycon.Tycon

asTycon, equals, 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, supertype, unwrapAs

Methods inherited from class java.lang.Object

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

Field Detail

cls

public java.lang.Class cls

Constructor Detail

ClassTycon

public ClassTycon(java.lang.Class cls)

Method Detail

subtype

public boolean subtype(Type that)
                throws TypeException

Overrides:

subtype in class Type

Throws:

TypeException

variances

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

Overrides:

variances in class Type

makeCallableInstance

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

Overrides:

makeCallableInstance in class Tycon

Throws:

TypeArityException

toString

public java.lang.String toString()

Overrides:

toString in class Type