orc.type.structured
Class EllipsisArrowType

java.lang.Object
  orc.type.Type
      orc.type.structured.EllipsisArrowType

public class EllipsisArrowType
extends Type

Field Summary

Type	repeatedArgType
Type	resultType

Fields inherited from class orc.type.Type

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

Constructor Summary

EllipsisArrowType(Type repeatedArgType, Type resultType)

Method Summary

Type	call(java.util.List<Type> args)
java.util.Set<java.lang.Integer>	freeVars()
Type	join(Type that)
protected ArrowType	makeArrow(int arity)
Type	meet(Type that)
boolean	subtype(Type that)
java.lang.String	toString()

Methods inherited from class orc.type.Type

addConstraints, allFreeVars, assertSubtype, asTycon, call, closed, demote, equal, findVariance, fromJavaClass, fromJavaMethod, fromJavaMethods, fromJavaType, fromJavaType, isBot, isTop, javaCounterpart, makeJavaCtx, makeJavaCtx, marshal, 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

repeatedArgType

public Type repeatedArgType

resultType

public Type resultType

Constructor Detail

EllipsisArrowType

public EllipsisArrowType(Type repeatedArgType,
                         Type resultType)

Method Detail

makeArrow

protected ArrowType makeArrow(int arity)

subtype

public boolean subtype(Type that)
                throws TypeException

Overrides:

subtype in class Type

Throws:

TypeException

join

public Type join(Type that)
          throws TypeException

Overrides:

join in class Type

Throws:

TypeException

meet

public Type meet(Type that)
          throws TypeException

Overrides:

meet in class Type

Throws:

TypeException

call

public Type call(java.util.List<Type> args)
          throws TypeException

Overrides:

call 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