§ 14. Записи.
1. Тип-запись. Множество значений и описание типа.
Значениями того или иного типа-запись являются отображения, область определения каждого из которых представляет собой совокупность имён переменных необязательно одного и того же типа (эти переменные называют полями записи), а значения, соответствующие этим именам переменных, – это допустимые значения данных переменных.
Пример 1.
Рассмотрим несколько отображений, являющихся значениями того или иного типа - запись.
a
) F ’Иванов’
I
’Пётр’
O
’Сидорович’
N
100001
b
) F ’Иванов’
I
’Пётр’
O
’Сидорович’
N
100001
M
4
A
5
c
) F ’Иванов’
I
’Пётр’
O
’Сидорович’
N
100001
W
INTER M 4
A
5
S
UMMER M 4
A
5
I
4
G
3
тип - запись
собственно
тип - запись
идентификатор
типа - запись
собственно тип - запись
список описаний
полей записи
список описаний полей записи
фиксированная
часть
вариантная
часть
фиксированная часть
описание
полей записи
описание полей записи
идентификатор
тип
Идентификаторы, располагаемые в описании полей записи перед двоеточием, – это идентификаторы (имена) полей записи.
Пример 2.
Для каждого из пунктов от a) доc) (из примера 1) запишем соответствующий собственно тип.
а) RECORD
F, I, O: STRING;
N: LONGWORD
END
b) RECORD
F, I, O: STRING;
N: LONGWORD;
M, A: BYTE
END
c) RECORD
F, I, O: STRING;
N: LONGWORD;
WINTER: RECORD
M, A: BYTE
END;
SUMMER: RECORD
M, A, I, G: BYTE
END
END