orc.ast.extended.type
Class TypeApplication

java.lang.Object
  orc.ast.extended.type.Type
      orc.ast.extended.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.extended.type.Type

BOT, TOP

Constructor Summary

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

Method Summary

Type	simplify() Convert this extended AST type into a simple AST type.
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

simplify

public Type simplify()

Description copied from class: Type

Convert this extended AST type into a simple AST type.

Specified by:

simplify in class Type

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object