orc.ast.simple.type
Class TypeApplication

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

public class TypeApplication
extends Type

A type instantiation with explicit type parameters: T[T,..,T]

Author:

dkitchin

Field Summary

java.lang.String	name
java.util.List<Type>	params

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

BLANK, TOP

Constructor Summary

TypeApplication(java.lang.String name, java.util.List<Type> params)

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

params

public java.util.List<Type> params

Constructor Detail

TypeApplication

public TypeApplication(java.lang.String name,
                       java.util.List<Type> params)

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object