wyil.lang

Interface Type.EffectiveReference

All Superinterfaces:

Type

All Known Subinterfaces:

Type.Reference

Enclosing interface:

Type

public static interface Type.EffectiveReference
extends Type

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

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.

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: