orc.type.java
Class ConstructorType

java.lang.Object
  orc.type.Type
      orc.type.java.ConstructorType

public class ConstructorType
extends Type

Type associated with a class constructor. Note that this is not a type operator (ClassTycon); it is the type of the constructor site itself. Users cannot write this type explicitly; it is syntesized as the type of the value bound by a 'class ... =' declaration.

Author:

dkitchin

Field Summary

java.lang.Class

cls

Fields inherited from class orc.type.Type

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

Constructor Summary

ConstructorType(java.lang.Class cls)

Method Summary

Type	call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
boolean	subtype(Type that)
java.lang.String	toString()

Methods inherited from class orc.type.Type

addConstraints, allFreeVars, assertSubtype, asTycon, 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, variances

Methods inherited from class java.lang.Object

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

Field Detail

cls

public java.lang.Class cls

Constructor Detail

ConstructorType

public ConstructorType(java.lang.Class cls)

Method Detail

call

public Type call(TypingContext ctx,
                 java.util.List<Argument> args,
                 java.util.List<Type> typeActuals)
          throws TypeException

Overrides:

call in class Type

Throws:

TypeException

subtype

public boolean subtype(Type that)
                throws TypeException

Overrides:

subtype in class Type

Throws:

TypeException

toString

public java.lang.String toString()

Overrides:

toString in class Type