orc.type
Class TypeApplication

java.lang.Object
  orc.type.Type
      orc.type.TypeApplication

public class TypeApplication
extends Type

An unevaluated type application.

Author:

dkitchin

Field Summary

java.util.List<Type>	params
Type	ty

Fields inherited from class orc.type.Type

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

Constructor Summary

TypeApplication(Type ty, java.util.List<Type> params)

Method Summary

java.util.Set<java.lang.Integer>	freeVars()
Type	marshal() Convert to a syntactic type.
Type	subst(Env<Type> ctx)
java.lang.String	toString()

Methods inherited from class orc.type.Type

addConstraints, allFreeVars, assertSubtype, asTycon, call, call, closed, demote, equal, findVariance, fromJavaClass, fromJavaMethod, fromJavaMethods, fromJavaType, fromJavaType, isBot, isTop, javaCounterpart, join, makeJavaCtx, makeJavaCtx, meet, promote, resolveSites, shiftFreeVars, substAll, subtype, supertype, unwrapAs, variances

Methods inherited from class java.lang.Object

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

Field Detail

ty

public Type ty

params

public java.util.List<Type> params

Constructor Detail

TypeApplication

public TypeApplication(Type ty,
                       java.util.List<Type> params)

Method Detail

subst

public Type subst(Env<Type> ctx)
           throws TypeException

Overrides:

subst in class Type

Throws:

TypeException

freeVars

public java.util.Set<java.lang.Integer> freeVars()

Overrides:

freeVars in class Type

toString

public java.lang.String toString()

Overrides:

toString in class Type

marshal

public Type marshal()
             throws UnrepresentableTypeException

Description copied from class: Type

Convert to a syntactic type. May return null if the type is not representable.

Overrides:

marshal in class Type

Returns:

The syntactic type corresponding to this type

Throws:

UnrepresentableTypeException