code.type
Class FunctionType

java.lang.Object
  code.type.FunctionType

All Implemented Interfaces:

TypeExpression

public class FunctionType
extends java.lang.Object
implements TypeExpression

The Function Type

Since:

November 26, 2002

Author:

jimeng

Field Summary

TypeExpression	domain
TypeExpression	range

Constructor Summary

FunctionType(TypeExpression domain, TypeExpression range)

Method Summary

<R,T> R

accept(code.type.visitor.TypeVisitor<R,T> v, T o)

Methods inherited from class java.lang.Object

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

Field Detail

domain

public final TypeExpression domain

range

public final TypeExpression range

Constructor Detail

FunctionType

FunctionType(TypeExpression domain,
             TypeExpression range)

Method Detail

accept

public <R,T> R accept(code.type.visitor.TypeVisitor<R,T> v,
                      T o)

Specified by:

accept in interface TypeExpression