wyil.lang

Interface Type.FunctionOrMethod

All Superinterfaces:

Type

All Known Subinterfaces:

Type.Function, Type.Method, Type.Property

All Known Implementing Classes:

Type.Impl.Function, Type.Impl.FunctionOrMethod, Type.Impl.Method, Type.Impl.Property

Enclosing interface:

Type

public static interface Type.FunctionOrMethod
extends Type

Represents the set of all functions or methods. These are values which can be called using an indirect invoke expression. Each function or method accepts zero or more parameters and will produce zero or more returns.

Author:

David J. Pearce

Nested Class Summary

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 interface wyil.lang.Type

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

Method Summary

Modifier and Type	Method and Description
Type	parameter(int i) Get the ith parameter type
Type[]	params() Get the list of parameter types which are accepted by this function or method.
Type[]	returns() Get the list of types which are returned by this function or method.

Methods inherited from interface wyil.lang.Type

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

Method Detail

params

Type[] params()

Get the list of parameter types which are accepted by this function or method.

returns

Type[] returns()

Get the list of types which are returned by this function or method.

Returns:

parameter

Type parameter(int i)

Get the ith parameter type

Parameters:

i -

Returns: