wyil.lang

Interface Type.Negation

All Superinterfaces:

Type

Enclosing interface:

Type

public static interface Type.Negation
extends Type

Represents the set of types which are not in a given type. For example, !int is the set of all values which are not integers. Thus, for example, the type bool is a subtype of !int .

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
Type	element() Get the element type of this array.

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

element

Type element()

Get the element type of this array. All values in any instances of this type must be instances of the element types.