orc.type
Class EllipsisArrowType

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

public class EllipsisArrowType
extends Type

Field Summary

Type	repeatedArgType
Type	resultType

Fields inherited from class orc.type.Type

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

Constructor Summary

EllipsisArrowType(Type repeatedArgType, Type resultType)

Method Summary

Type	call(java.util.List<Type> args)
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, assertSubtype, call, closed, demote, equal, findVariance, freeVars, isBot, isTop, makeCallableInstance, promote, 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)

Overrides:

subtype in class Type

join

public Type join(Type that)

Overrides:

join in class Type

meet

public Type meet(Type that)

Overrides:

meet in class Type

call

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

Overrides:

call in class Type

Throws:

TypeException

toString

public java.lang.String toString()

Overrides:

toString in class Type