orc.ast.xml.type
Class ArrowType

java.lang.Object
  orc.ast.xml.type.Type
      orc.ast.xml.type.ArrowType

public class ArrowType
extends Type

A syntactic arrow type: lambda[X,...,X](T,...,T) :: T

Author:

quark, dkitchin

Field Summary

Type[]	argTypes
Type	resultType
int	typeArity

Constructor Summary

ArrowType()

ArrowType(Type[] argTypes, Type resultType, int typeArity)

Method Summary

Type	unmarshal() Convert this syntactic type into an actual type.

Methods inherited from class orc.ast.xml.type.Type

unmarshalAll

Methods inherited from class java.lang.Object

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

Field Detail

argTypes

public Type[] argTypes

resultType

public Type resultType

typeArity

public int typeArity

Constructor Detail

ArrowType

public ArrowType()

ArrowType

public ArrowType(Type[] argTypes,
                 Type resultType,
                 int typeArity)

Method Detail

unmarshal

public Type unmarshal()

Description copied from class: Type

Convert this syntactic type into an actual type.

Specified by:

unmarshal in class Type

Returns:

A new node.