orc.ast.simple.type
Class SiteType

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

public class SiteType
extends Type

A syntactic type corresponding to a Java class implementing a type. In order to convert this to an actual type, the Java class must be a subtype of orc.type.Type

Author:
dkitchin

Field Summary
 java.lang.String classname
           
 
Fields inherited from class orc.ast.simple.type.Type
BLANK
 
Constructor Summary
SiteType(java.lang.String classname)
           
 
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

classname

public java.lang.String classname
Constructor Detail

SiteType

public SiteType(java.lang.String classname)
Method Detail

convert

public Type convert(Env<java.lang.String> env)
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.

toString

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