wyil.lang

Interface Type.EffectiveRecord

All Superinterfaces:

Type

All Known Subinterfaces:

Type.Record

Enclosing interface:

Type

public static interface Type.EffectiveRecord
extends Type

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

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
int	getFieldIndex(String field) Determine the index of a given field in this effective record.
String[]	getFieldNames() Get the array of fields used in this type.
Type	getReadableFieldType(String field) Get the element type which could be read from this array.
Type	getWriteableFieldType(String field) Get the element type which could be written to this array.
boolean	hasField(String field) Check whether a given field is present in this effective record or not.
int	size() Return the number of fields in this type
Type.EffectiveRecord	update(String field, Type type) Get an updated version of this record type after a given field has been assigned a given type.

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

size

int size()

Return the number of fields in this type

Returns:

hasField

boolean hasField(String field)

Check whether a given field is present in this effective record or not.

Parameters:

field -

Returns:

getFieldIndex

int getFieldIndex(String field)

Determine the index of a given field in this effective record.

Parameters:

field -

Returns:

getFieldNames

String[] getFieldNames()

Get the array of fields used in this type.

getReadableFieldType

Type getReadableFieldType(String field)

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

Returns:

getWriteableFieldType

Type getWriteableFieldType(String field)

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

Returns:

update

Type.EffectiveRecord update(String field,
                            Type type)

Get an updated version of this record type after a given field has been assigned a given type.

Parameters:

field - The field name being assigned. This must be an explicit field declared in this type.

type - The type of the value being assigned to the given field.

Returns: