wyil.lang

Class Type.Impl.FunctionOrMethod

java.lang.Object

wyil.lang.Type.Impl

wyil.lang.Type.Impl.Conjunctable

wyil.lang.Type.Impl.Atom

wyil.lang.Type.Impl.FunctionOrMethod

All Implemented Interfaces:

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

Direct Known Subclasses:

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

Enclosing class:

Type.Impl

public abstract static class Type.Impl.FunctionOrMethod
extends Type.Impl.Atom
implements Type.FunctionOrMethod

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 Type.Impl[]	parameters
protected Type.Impl[]	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
FunctionOrMethod(Type.Impl[] parameters, Type.Impl[] returns)

Method Summary

Modifier and Type	Method and Description
int	compareTo(Type.Impl o)
boolean	equals(Object o)
int	hashCode()
Type.Impl	parameter(int i) Get the ith parameter type
Type.Impl[]	params() Get the parameter types of this function or method type.
Type.Impl[]	returns() Get the return types of this function or method type.

Methods inherited from class wyil.lang.Type.Impl

getKind, intersectClosedClosedRecord, intersectOpenClosedRecord, intersectOpenOpenRecord

Methods inherited from class java.lang.Object

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

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

parameters

protected final Type.Impl[] parameters

returns

protected final Type.Impl[] returns

Constructor Detail

FunctionOrMethod

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

Method Detail

returns

public Type.Impl[] returns()

Get the return types of this function or method type.

Specified by:

returns in interface Type.FunctionOrMethod

Returns:

params

public Type.Impl[] params()

Get the parameter types of this function or method type.

Specified by:

params in interface Type.FunctionOrMethod

Returns:

parameter

public Type.Impl parameter(int i)

Description copied from interface: Type.FunctionOrMethod

Get the ith parameter type

Specified by:

parameter in interface Type.FunctionOrMethod

Returns:

equals

public boolean equals(Object o)

Overrides:

equals in class Object

compareTo

public int compareTo(Type.Impl o)

Specified by:

compareTo in interface Comparable<Type.Impl>

hashCode

public int hashCode()

Overrides:

hashCode in class Object