Types

Class Type

java.lang.Object

Types.Type

All Implemented Interfaces:

Visitable

Direct Known Subclasses:

ARRAY, BOOLEAN, CLASS, FIELD, FUNCTION, INT, NIL, OBJECT, RECORD, STRING, VOID

public abstract class Type
extends java.lang.Object
implements Visitable

Parent class of all type descriptors.

Constructor Summary

Constructors

Constructor and Description
Type()

Method Summary

Modifier and Type	Method and Description
abstract void	accept(Visitor v) Visitor pattern dispatch.
abstract boolean	coerceTo(Type t)
abstract java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Type

public Type()

Method Detail

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

coerceTo

public abstract boolean coerceTo(Type t)

accept

public abstract void accept(Visitor v)

Visitor pattern dispatch.

Specified by:

accept in interface Visitable