Cтраница 1
Имя типа машина файл, например, / машина / файл или машина: файл. [1]
Имя типа и набор принадлежащих типу значений должны подчиняться обычным правилам для имен идентификаторов. Так, определенное новое имя типа данных может использоваться точно так же, как любое другое имя типа данных, а имена значений типа рассматриваются как константы нового типа данных. Типы данных, объявляемые путем перечисления всех возможных значений, называются перечислениями. Единственные операции, которые могут выполняться над переменными перечислимого типа, - это присваивания и сравнения. Если требуются другие операции, то их должен задать программист с помощью процедур ( см. гл. [2]
Имя типа используется для описания переменных этого типа. [3]
Задаваемое имя типа, в который происходит преобразование, должно быть известно в программе. [4]
Каждое имя типа используется на метаинформационном уровне ( уровень схемы), а имена составляющих конструкций используются на информационном ( внутреннем) уровне, доступ к которому осуществляется через метаинформацию, специфицируемую семейством типов. [5]
Здесь имя типа - идентификатор, который в разделе TYPE определен как SET ( множество) из компонентов; тип компонентов должен быть перечисляемым; SET и OF - служебные слова. [6]
Здесь имя типа - идентификатор, который в разделе TYPE определен как FILE ( файл) из компонентов, имеющих указанный тип компонентов; имя переменной - имя переменной файлового типа; FILE ( файл) и OF ( из) - служебные слова. [7]
ТИП-ОБЪЕКТОВ имя типа объектов 1 [ ЯВЛЯЯСЬ-ПОДТИПОМ-ТИПА-ОБЪЕКТОВ имя типа объектов 2 ] СОДЕРЖИТ целое ОБЪЕКТОВ. [8]
Изменяет имя типа линии. [9]
ВЗАИМОСВЯЗЬ-ТИПА имя типа взаимосвязи СВЯЗЫВАЕТ целое 1 ОБЪЕКТОВ. [10]
Скобки и имя типа вместе образуют операцию, называемую приведением типов. [11]
Для интероперабельности имя типа и имена компонентов не важны. [12]
Объявление структуры задает имя типа структуры и специфицирует последовательность переменных величин, называемых элементами структуры, которые могут иметь различные типы. [13]
Скрытое определение типа содержит просто имя типа. Детально скрытый тип должен быть описан в соответствующем модуле реализации. Модуль-клиент, импортирующий скрытый тип, не знает деталей этого типа. Для диапазонов стандартных типов и указателей скрытый экспорт имеет ограничения. На скрытый экспорт диапазонов влияют ограничения реализации. В некоторых реализациях Модулы-2 типы CARDINAL и INTEGER могут скрыто экспортироваться, так как их можно не рассматривать как диапазоны. [14]
Позиции 11 - 17 - имя типа выходной записи. Если не указано, то считается, что все записи одного типа. [15]