wyil.lang

Interface Type.Union

All Superinterfaces:

Type

Enclosing interface:

Type

public static interface Type.Union
extends Type

Represents the union of one or more types together. For example, the union of int and null is int|null. Any variable of this type may hold any integer or the null value. Furthermore, the types int and null are collectively referred to as the "bounds" of this type.

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[]	bounds()

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

bounds

Type[] bounds()