orc.type.ground
Class DatatypeSiteType

java.lang.Object
  orc.type.Type
      orc.type.ground.DatatypeSiteType

public class DatatypeSiteType
extends Type

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

DatatypeSiteType()

Method Summary

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

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, subtype, supertype, toString, unwrapAs, variances

Methods inherited from class java.lang.Object

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

Constructor Detail

DatatypeSiteType

public DatatypeSiteType()

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