orc.type
Class NamedType

java.lang.Object
  orc.type.Type
      orc.type.NamedType

public class NamedType
extends Type

Placeholder for named types which have not yet been resolved to bound type variables.

Author:

dkitchin

Field Summary

Fields inherited from class orc.type.Type

BLANK, BOOLEAN, BOT, INTEGER, LET, NUMBER, STRING, TOP

Constructor Summary

NamedType(java.lang.String name)

Method Summary

Methods inherited from class orc.type.Type

call, equal, join, meet, subtype, supertype, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NamedType

public NamedType(java.lang.String name)