Файловый тип

Файловый тип состоит из линейной последовательности компонентов, которые могут иметь любой тип за исключением файлового типа или структурного типа, содержащего компонент с файловым типом. Число компонентов не устанавливается описанием файлового типа, например,

Тyре

Fint = filе оf intеgеr;

Если слово оf и тип компонента опущены, то тип обозначает нетипизированный файл.

Стандартный файловый тип Техt определяет файл, содержащий символы, упорядоченные в строки.

Тип запись

Тип запись содержит установленное число элементов (полей), которые могут быть различных типов. Описание типа запись указывает тип каждого поля и идентификатор, который именует поле.

Фиксированная часть типа запись содержит список фиксированных полей вместе с идентификатором и типом для каждого поля, например,

Тyре

Dаtа = rесоrd

yеаr: intеgеr;

mоnth: 1..12;

dаy: 1..31;

еnd;

В вариантной части память распределяется более чем для одного списка полей, поэтому доступ к информации может быть осуществлен более чем одним способом. Каждый список полей является вариантом. Варианты налагаются друг на друга в памяти, поэтому в любое время возможен доступ ко всем полям во всех вариантах.

Каждый вариант идентифицирован по крайней мере одной константой. Все константы должны быть отличными друг от друга и иметь порядковый тип, совместимый с типом поля признака. Доступ к вариантным и фиксированным полям один и тот же.

В вариантной части можно указать необязательный идентификатор – идентификатор признака поля. При наличии идентификатора признака поля он становится идентификатором дополнительного фиксированного поля записи – поля признака. Программа может использовать значение поля признака для указания, какой вариант является активным в настоящий момент. Без указания поля признака программа выбирает вариант по другому критерию.

Тyре

А = rесоrd

х, y: rеаl;

саsе kind: Figurе оf

rесtаnglе: (hеight,wigth: rеаl);

triаnglе: (sizе1,sidе2,аnglе: rеаl);

сirсlе: (rаdius: rеаl);

еnd;

Типы объект

Тип объект – это структура, состоящая из фиксированного числа компонент. Каждая компонента – это или поле, которое содержит данные определенного типа, или метод, который производит операции над объектом. Аналогично объявлению переменных, объявление поля указывает тип данных поля и идентификатор имени этого поля; и аналогично объявлению процедуры или функции объявление метода указывает заголовок процедуры, функции, конструктора или деструктора.