wyil.lang

Interface Type.EffectiveArray

All Superinterfaces:

Type

All Known Subinterfaces:

Type.Array

Enclosing interface:

Type

public static interface Type.EffectiveArray
extends Type

An effective array is a type which looks like an array, but is not exactly an array. For example, a union of arrays is an effective array. This is because in some situations we can read elements from the array, and also write elements to the array.

Author:

David J. Peace

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	getReadableElementType() Get the element type which could be read from this array.
Type	getWriteableElementType() Get the element type which could be written to this array.
Type.EffectiveArray	update(Type element) Determine a new type for this array after an assignment to a given element.

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

getReadableElementType

Type getReadableElementType()

Get the element type which could be read from this array.

Returns:

getWriteableElementType

Type getWriteableElementType()

Get the element type which could be written to this array.

Returns:

update

Type.EffectiveArray update(Type element)

Determine a new type for this array after an assignment to a given element.

Parameters:

element - The type of the element being assigned