wyil.lang

Interface Type.Intersection

All Superinterfaces:

Type

Enclosing interface:

Type

public static interface Type.Intersection
extends Type

Represents the intersection of one or more types together. For example, the intersection of T1 and T2 is T1&T2. Furthermore, any variable of this type must be both an instanceof T1 and an instanceof T2.

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()