wyil.lang

Class Type.Impl.Method

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.Method

All Implemented Interfaces:

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

Enclosing class:

Type.Impl

public static final class Type.Impl.Method
extends Type.Impl.FunctionOrMethod
implements Type.Method

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

Modifier and Type	Field and Description
protected String[]	contextLifetimes
protected String[]	lifetimeParameters

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
Method(Collection<String> lifetimeParameters, Collection<String> contextLifetimes, Type.Impl[] parameters, Type.Impl[] returns)
Method(String[] lifetimeParameters, String[] contextLifetimes, Type.Impl[] parameters, Type.Impl[] returns)
Method(Type.Impl[] parameters, Type.Impl[] returns)

Method Summary

Modifier and Type	Method and Description
String[]	contextLifetimes() Get the context lifetimes of this function or method type.
boolean	equals(Object o)
int	getKind()
int	hashCode()
String[]	lifetimeParams() Get the lifetime parameters of this function or method type.
String	toString()

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

compareTo, 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

Field Detail

lifetimeParameters

protected final String[] lifetimeParameters

contextLifetimes

protected final String[] contextLifetimes

Constructor Detail

Method

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

Method

public Method(String[] lifetimeParameters,
              String[] contextLifetimes,
              Type.Impl[] parameters,
              Type.Impl[] returns)

Method

public Method(Collection<String> lifetimeParameters,
              Collection<String> contextLifetimes,
              Type.Impl[] parameters,
              Type.Impl[] returns)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Type.Impl.FunctionOrMethod

hashCode

public int hashCode()

Overrides:

hashCode in class Type.Impl.FunctionOrMethod

contextLifetimes

public String[] contextLifetimes()

Get the context lifetimes of this function or method type.

Specified by:

contextLifetimes in interface Type.Method

Returns:

lifetimeParams

public String[] lifetimeParams()

Get the lifetime parameters of this function or method type.

Specified by:

lifetimeParams in interface Type.Method

Returns:

toString

public String toString()

Overrides:

toString in class Object

getKind

public int getKind()

Specified by:

getKind in class Type.Impl