orc.ast.simple.type
Class SiteType
java.lang.Object
orc.ast.simple.type.Type
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
| 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 |
classname
public java.lang.String classname
SiteType
public SiteType(java.lang.String classname)
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