orc.ast.simple.type
Class ClassType

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

public class ClassType
extends Type

A syntactic type which refers to a Java class (which we will treat as a type).

Author:

quark

Field Summary

java.lang.String

classname

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

BLANK, TOP

Constructor Summary

ClassType(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

ClassType

public ClassType(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

Parameters:

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

Returns:

A new node.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object