orc.ast.simple.type
Class Datatype

java.lang.Object
  orc.ast.simple.type.Type
      orc.ast.simple.type.Datatype

public class Datatype
extends Type

A syntactic type encompassing all of the information associated with a datatype.

Author:

dkitchin

Field Summary

java.util.List<java.lang.String>	formals
java.util.List<Constructor>	members
java.lang.String	typename

Fields inherited from class orc.ast.simple.type.Type

BLANK, TOP

Constructor Summary

Datatype(java.lang.String typename, java.util.List<Constructor> members, java.util.List<java.lang.String> formals)

Method Summary

Type	convert(Env<java.lang.String> env) Convert this syntactic type into an actual type, given an appropriate type context

Methods inherited from class java.lang.Object

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

Field Detail

typename

public java.lang.String typename

members

public java.util.List<Constructor> members

formals

public java.util.List<java.lang.String> formals

Constructor Detail

Datatype

public Datatype(java.lang.String typename,
                java.util.List<Constructor> members,
                java.util.List<java.lang.String> formals)

Method Detail

convert

public Type convert(Env<java.lang.String> env)
             throws TypeException

Description copied from class: Type

Convert this syntactic type into an actual type, given an appropriate type context

Specified by:

convert in class Type

Parameters:

env - The type environment, used in content addressable mode to find the appropriate deBruijn index of a type variable.

Returns:

A new node.

Throws:

TypeException