wyil.lang

Interface Type.Array

All Superinterfaces:

Type, Type.EffectiveArray

Enclosing interface:

Type

public static interface Type.Array
extends Type.EffectiveArray

An array type describes array values whose elements are subtypes of the element type. For example, [1,2,3] is an instance of array type int[]; however, [false] is not.

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

getReadableElementType, getWriteableElementType, update

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.