Contents Up << >>

Record types

Record types, like array types, are composite types because they represent a collection of values. In the case of a record type, the collection of values is organized by name and can be of different types. Each value in the collection has a name and is referenced by that name. A record type is declared by listing the named values and their types. The grammar rule for the record type definition is: If the simple-name is present it must repeat the name of the record type being defined.

There are no predefined record types. The following is an example of a record type that might be used to define a cache element If x was a data object of the cache_element type then the value of the valid field of that data object is referenced by x.valid using the dot notation.