Types

Class FUNCTION

java.lang.Object

Types.Type

Types.FUNCTION

All Implemented Interfaces:

Visitable

public class FUNCTION
extends Type

Type for methods.

Field Summary

Fields

Modifier and Type	Field and Description
RECORD	formals
java.lang.String	name
Type	result
Type	self

Constructor Summary

Constructors

Constructor and Description
FUNCTION(java.lang.String name, Type self, RECORD formals, Type result)

Method Summary

Modifier and Type	Method and Description
void	accept(Visitor v) Visitor pattern dispatch.
FIELD	addFormal(Type type, java.lang.String name)
boolean	coerceTo(Type t)
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

self

public Type self

formals

public RECORD formals

result

public Type result

Constructor Detail

FUNCTION

public FUNCTION(java.lang.String name,
                Type self,
                RECORD formals,
                Type result)

Method Detail

addFormal

public FIELD addFormal(Type type,
                       java.lang.String name)

toString

public java.lang.String toString()

Specified by:

toString in class Type

coerceTo

public boolean coerceTo(Type t)

Specified by:

coerceTo in class Type

accept

public void accept(Visitor v)

Visitor pattern dispatch.

Specified by:

accept in interface Visitable

Specified by:

accept in class Type