wyil.lang

Class Type.Impl.Function

java.lang.Object

wyil.lang.Type.Impl

wyil.lang.Type.Impl.Conjunctable

wyil.lang.Type.Impl.Atom

wyil.lang.Type.Impl.FunctionOrMethod

wyil.lang.Type.Impl.Function

All Implemented Interfaces:

Comparable<Type.Impl>, Type, Type.Function, Type.FunctionOrMethod

Enclosing class:

Type.Impl

public static class Type.Impl.Function
extends Type.Impl.FunctionOrMethod
implements Type.Function

A function type, consisting of a list of zero or more parameters and a return type.

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from class wyil.lang.Type.Impl

Type.Impl.Atom, Type.Impl.Conjunctable, Type.Impl.Function, Type.Impl.FunctionOrMethod, Type.Impl.Method, Type.Impl.PositiveAtom, Type.Impl.Primitive, Type.Impl.Property

Nested classes/interfaces inherited from interface wyil.lang.Type

Type.Array, Type.EffectiveArray, Type.EffectiveRecord, Type.EffectiveReference, Type.Function, Type.FunctionOrMethod, Type.Impl, Type.Intersection, Type.Leaf, Type.Method, Type.Negation, Type.Nominal, Type.Primitive, Type.Property, Type.Record, Type.Reference, Type.Union

Field Summary

Fields inherited from class wyil.lang.Type.Impl.FunctionOrMethod

parameters, returns

Fields inherited from interface wyil.lang.Type

T_ANY, T_BOOL, T_BYTE, T_INT, T_META, T_NULL, T_VOID

Constructor Summary

Constructors

Constructor and Description
Function(Type.Impl[] parameters, Type.Impl[] returns)

Method Summary

Modifier and Type	Method and Description
int	getKind()
String	toString()

Methods inherited from class wyil.lang.Type.Impl.FunctionOrMethod

compareTo, equals, hashCode, parameter, params, returns

Methods inherited from class wyil.lang.Type.Impl

intersectClosedClosedRecord, intersectOpenClosedRecord, intersectOpenOpenRecord

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface wyil.lang.Type.FunctionOrMethod

parameter, params, returns

Methods inherited from interface wyil.lang.Type

Array, fromString, Function, Intersection, Method, Method, Method, Negation, Nominal, Property, Record, Record, Reference, toImplArrays, toImplOrVoid, toImplRecords, Union

Constructor Detail

Function

public Function(Type.Impl[] parameters,
                Type.Impl[] returns)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getKind

public int getKind()

Specified by:

getKind in class Type.Impl