"Fossies" - the Fresh Open Source Software Archive

Member "gentle-97/html/lrmtables.html" (20 Aug 1998, 2122 Bytes) of package /linux/misc/old/gentle-97.tar.gz:

Caution: In this restricted "Fossies" environment the current HTML page may not be correctly presentated and may have some non-functional links. You can here alternatively try to browse the pure source code or just view or download the uninterpreted raw source code. If the rendering is insufficient you may try to find and view the page on the gentle-97.tar.gz project site itself.


Context Tables

TableDecl = "'table'" Ident "(" Ident ":" Ident{ "," Ident ":" Ident} ")" .

A declaration of the form

introduces a context table T.

A context table is an unbounded collection of entries. An entry has a unique key and a record of fields. These fields have names F1, ..., Fn and types T1, ..., Tn. The name of the table, T, acts as the name for the type of the keys.

A unique key is created by a key definition statement. The value of a field is defined by a context update and accessed in a context query.


'table' Label (Coordinate: INT)
This defines a table Label. Entries of this table have one field with name Coordinate and type INT. Keys of entries have type Label.

A value of type Label can be created without knowing the value of field Coordinate.

Lab :: Label
defines Lab as unique value of type Label.

Lab'Coordinate <- Loc
may be used later to define the field Coordinate.

Lab'Coordinate -> Loc
is used to access the field Coordinate.