orc.ast.xml.type
Class Datatype

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

public class Datatype
extends Type


Field Summary
 int arity
           
 Type[][] members
           
 java.lang.String name
           
 
Constructor Summary
Datatype()
           
Datatype(java.lang.String name, Type[][] members, 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

name

public java.lang.String name

members

public Type[][] members

arity

public int arity
Constructor Detail

Datatype

public Datatype()

Datatype

public Datatype(java.lang.String name,
                Type[][] members,
                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.