wyil.lang

Interface Type.Record

All Superinterfaces:

Type, Type.EffectiveRecord

Enclosing interface:

Type

public static interface Type.Record
extends Type.EffectiveRecord

A record is made up of a number of fields, each of which has a unique name. Each field has a corresponding type. One can think of a record as a special kind of "fixed" map (i.e. where we know exactly which entries we have).

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	getField(String name) Get the type of a given field in this record
boolean	isOpen() Check whether this is an open record or not.
int	size() Get the number of fields in this record

Methods inherited from interface wyil.lang.Type.EffectiveRecord

getFieldIndex, getFieldNames, getReadableFieldType, getWriteableFieldType, hasField, 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

size

int size()

Get the number of fields in this record

Specified by:

size in interface Type.EffectiveRecord

Returns:

isOpen

boolean isOpen()

Check whether this is an open record or not. That is, whether or not there are additional "unknown" fields in this record.

Returns:

getField

Type getField(String name)

Get the type of a given field in this record