orc.ast.simple.type
Class NamedType

java.lang.Object
  extended by orc.ast.simple.type.Type
      extended by orc.ast.simple.type.NamedType

public class NamedType
extends Type

A simple named type.

Author:
dkitchin

Field Summary
 java.lang.String name
           
 
Fields inherited from class orc.ast.simple.type.Type
BLANK
 
Constructor Summary
NamedType(java.lang.String name)
           
 
Method Summary
 Type convert(Env<java.lang.String> env)
          Convert this syntactic type into an actual type, given an appropriate type context
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

name

public java.lang.String name
Constructor Detail

NamedType

public NamedType(java.lang.String name)
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
Returns:
A new node.
Throws:
TypeException

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object