wyil.lang

Interface Type.Property

All Superinterfaces:

Type, Type.FunctionOrMethod

All Known Implementing Classes:

Type.Impl.Property

Enclosing interface:

Type

public static interface Type.Property
extends Type.FunctionOrMethod

Represents the set of all proeprty values. These are pure predicates, sometimes also called "mathematical" functions. A property cannot have any side-effects and always returns the boolean true.

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

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