orc.type
Class TupleType

java.lang.Object
  orc.type.Type
      orc.type.TupleType

public class TupleType
extends Type

Field Summary

java.util.List<Type>

items

Fields inherited from class orc.type.Type

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

Constructor Summary

TupleType(java.util.List<Type> items)

Method Summary

Type	call(java.util.List<Type> args)
Type	join(Type that)
Type	meet(Type that)
boolean	subtype(Type that)
java.lang.String	toString()
int	width()

Methods inherited from class orc.type.Type

equal, supertype

Methods inherited from class java.lang.Object

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

Field Detail

items

public java.util.List<Type> items

Constructor Detail

TupleType

public TupleType(java.util.List<Type> items)

Method Detail

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

width

public int width()