orc.ast.xml.type
Class PolymorphicTypeAlias

java.lang.Object
  extended by orc.ast.xml.type.Type
      extended by orc.ast.xml.type.PolymorphicTypeAlias

public class PolymorphicTypeAlias
extends Type

A syntactic type representing an aliased type with type parameters.

Author:
quark

Field Summary
 int arity
           
 Type type
           
 
Constructor Summary
PolymorphicTypeAlias()
           
PolymorphicTypeAlias(Type type, int arity)
           
 
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

type

public Type type

arity

public int arity
Constructor Detail

PolymorphicTypeAlias

public PolymorphicTypeAlias()

PolymorphicTypeAlias

public PolymorphicTypeAlias(Type type,
                            int arity)
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.