Types
Class Type

java.lang.Object
  Types.Type

Direct Known Subclasses:

ARRAY, BOOLEAN, CLASS, FUN, INT, NIL, OBJECT, RECORD, VOID

public abstract class Type

extends java.lang.Object

Constructor Summary

Type()

Method Summary

abstract void	accept(Types.Visitor v)
Type	actual()
abstract boolean	coerceTo(Type t)
FIELD<Type>	field(java.lang.String n)
FIELD<FUN>	method(java.lang.String n)

Methods inherited from class java.lang.Object

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

Constructor Detail

Type

public Type()

Method Detail

actual

public Type actual()

coerceTo

public abstract boolean coerceTo(Type t)

field

public FIELD<Type> field(java.lang.String n)

method

public FIELD<FUN> method(java.lang.String n)

accept

public abstract void accept(Types.Visitor v)