wyil.lang

Interface Type.Method

All Superinterfaces:

Type, Type.FunctionOrMethod

All Known Implementing Classes:

Type.Impl.Method

Enclosing interface:

Type

public static interface Type.Method
extends Type.FunctionOrMethod

Represents the set of all method values. These are impure and may have side-effects (e.g. performing I/O, updating non-local state, etc). A method may have zero returns and, in such case, the effect of a method comes through other side-effects. Methods may also have contextual lifetime arguments, and may themselves declare lifetime arguments.

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
String[]	contextLifetimes() Get the context lifetimes for this method.
String[]	lifetimeParams() Get the lifetime parameters declared by this method.

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

Method Detail

contextLifetimes

String[] contextLifetimes()

Get the context lifetimes for this method. A contextual lifetime identifies a lifetime to which this method is bound, but which is not explicit in the parameters or returns of the method. This can arise through the construction of lambda methods, but also through the use oc currying.

Returns:

lifetimeParams

String[] lifetimeParams()

Get the lifetime parameters declared by this method. These are essentially additional parameters to the method, and reference parameters or returns may only be expressed in terms of these lifetimes (and the global lifetime).

Returns: