org.norecess.citkit.types
Class FunctionType

java.lang.Object
  org.norecess.citkit.types.FunctionType

All Implemented Interfaces:

HobbesType, IFunctionType

public class FunctionType
extends java.lang.Object
implements IFunctionType

Entry in type table for functions.

Author:

Jeremy D. Frens

Constructor Summary

FunctionType(ParametersTypes formals, HobbesType returnType)
Constructs the types for a function call.

Method Summary

<T> T	accept(TypeVisitor<T> visitor)
HobbesType	actual()
ParametersTypes	getFormals()
HobbesType	getReturnType()
boolean	isBound()
java.lang.String	toShortString()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionType

public FunctionType(ParametersTypes formals,
                    HobbesType returnType)

Constructs the types for a function call.

Parameters:

formals - the parameter types.

returnType - the return type.

Method Detail

getFormals

public ParametersTypes getFormals()

Specified by:

getFormals in interface IFunctionType

getReturnType

public HobbesType getReturnType()

Specified by:

getReturnType in interface IFunctionType

accept

public <T> T accept(TypeVisitor<T> visitor)

Specified by:

accept in interface HobbesType

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

actual

public HobbesType actual()

Specified by:

actual in interface HobbesType

isBound

public boolean isBound()

Specified by:

isBound in interface HobbesType

toShortString

public java.lang.String toShortString()

Specified by:

toShortString in interface HobbesType