| 12345678910111213141516 |
- MODULE TRecordMultiDimConst;
- (* M5: static record constructor with a rank-2 array field. *)
- TYPE
- Row = ARRAY [0..2] OF INTEGER;
- Grid = ARRAY [0..1] OF Row;
- Rec = RECORD tag : INTEGER; g : Grid END;
- CONST c = Rec { 7, Grid { Row{1,2,3}, Row{4,5,42} } };
- VAR ExitCode : INTEGER;
- BEGIN
- IF (c.tag = 7) AND (c.g[1,2] = 42) AND (SIZE(c.g) = 24) THEN
- ExitCode := 42
- ELSE
- ExitCode := 1
- END
- END TRecordMultiDimConst.
|