fields -- list the fields of a record |
Syntax |
fields(R: RECORD): LIST |
Description |
Example |
/**/ rec := record[name := "David", number := 3728852, data := ["X","Y"] ]; /**/ fields(rec); ["data", "name", "number"] /**/ rec.data; ["X", "Y"] /**/ "surname" IsIn fields(rec); false |
See Also |