wyil.lang

Class Type.Impl.Property

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

All Implemented Interfaces:

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

Enclosing class:

Type.Impl

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

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
Property(Type.Impl[] parameters)

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

Property

public Property(Type.Impl[] parameters)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getKind

public int getKind()

Specified by:

getKind in class Type.Impl