up previous next
record field selector

select a field of a record

Syntax
R.FieldName
R["FieldName"]
  where R is a RECORD

Description
A record is a data structure containing named entries. They are created using the command record . Each entry may be selected using the "dot operator", or equivalently a string index.

Example
/**/  rec := record[name := "David", year := 1961];
/**/  rec.name;
David

/**/  rec.year := 1849;             --> change value of a field
/**/  rec.surname := "Copperfield"; --> create a new field
/**/  rec["year"];  -- alternative syntax
1849

/**/  foreach F in fields(rec) do print rec[F]; endforeach;
DavidCopperfield1849

See Also