К. Йенсен, Н. Вирт - Паскаль - Руководство для пользователя (1109480), страница 34
Текст из файла (страница 34)
101. Переменная-массив = Переменная. 102. Переменная-запись = Переменная. 103. Переменная-файл = Переменная. 104. Ссылочная переменная = Переменная. 105. Целое выражение = Ординальное выражение. 106. Логическое выражение = Ординальное выражение, 107. Ординальное выражение = Выражение. 108. Имя ссылочного типа = Имя типа. 109. Имя составного типа = Имя типа. 110. Имя ординального типа = Имя типа. 111.
Имя вещественного типа = Имя типа. 112. Имя константы = Имя. 113, Имя типа = Имя. 114. Имя переменной = Имя. 115. Имя поля = Имя. 116. Имя процедуры = Имя. 117. Имя функции = Имя. 118. Имя границы — Имя. 119. Число без знака = Целое без знака [Вещественное без знака.
120. Список имен = Имя ["," Имя]. 121. Имя = Буква [Буква ~ Цифра] . 122. Директива = Буква [Буква[Цифра[. 123. Метка = Последовательность цифр. 124. Целое без знака = Последовательность цифр. Приложение 4. Синтаксис ггр 125.
Вещественное без знака = Целое без знака '*" Последовательность цифр )"е*' Порядок) ) Целое без знака "е" Порядок. 126. Порядок = !Знак] Целое без знака 127. Знак= + 128. Строка символов = ""' Элемент строки !Элемент строки) ""'. 129. Последовательность цифр = Цифра ) Цифра). 130. Буква= "а")"Ь")"с")"сГ')'*е")"Г*)*'д")"Ь")"!")"!")'Ъ" ~ "1" ) *'пт" ) "п" ) *'о*' ) *'р" ) "Ч" ) "г" ) "з" ) "!" ) "и'* ) "у" "в" ) "х" ) "у" ) "х". 131. Цифра = "1")*'2") "3*') "4") "5") "6") "7") "8") "9'*) "0", 132.
Элемент строки = """ Любой символ кроме апострофа. АЛФАВИТНЫЙ СПИСОК МЕТАИМЕН КОНСТРУКЦИЙ СО ССЫЛКАМИ Параграф описания 8. 6.2.3. 10.1. 4. 7.4. 9.2.2.2. 6.2.2. 6.2.2. 4. 8. 6.1.3. 4. 13. 11.1. 1 1.2. 6.2.2. 4. 11.1. 11.2. 7.3. 4. 6.1. 1 1.3.1.!. '5. Аддитивная операция Базовый тип Блок Буква Буферная переменная Вариант Вариант записи Вариантная часть Вещественное без знака Выражение Выбиратощий оператор Диапазонный тип Директива Заголовок программы Заголовок процедуры Заголовок функции Записной тип Знак Идентификация процедуры Идентификация функции Идентифицированная переменная Имя Имя вещественного типа Имя границы Имя константы Номер правила 84 '68 130 92 49 75 72 125 79 35 61 122 2 16 18 63 127 17 19 91 121 111 118 112 гго Паскаль.
Рукоеодстао для яольеоеагеля 6.1. 7. 6.2.2. 11.1. 6.2. 6.3. 6. 11.2. 9.2.2.2. 7.2.1. 9.2.3.3. 8. 8. 8. 6.2.1. 10.1.1. 6.2.3. 8. 9.2.3.3. 6.2. 7.2.2. 8. 9.2.2.2. 9.1.3. 9.1.1. 9.2.4. 9.1.2. 8. 7. 11.1. 1 1.2. 8. 5. 6.1. 12.3. 9.2.3.3.
7. 7.2.2. 7.2. Имя ординального типа Имя переменной Имя поля Имя процедуры Имя составного типа Имя ссылочного типа Имя типа Имя функции Индекс варианта Индексированная переменная Конечное значение Константа Константа без знака Конструктор множества Логическое выражение Массивовый тип Метка Множественный тип Мультипликативные опера Начальное значение Неупакованный составной Обозначение поля Обозначение функции Оператор Оператор варианта Оператор перехода . Оператор присваивания Оператор присоединения Оператор процедуры Операция отношения Описание переменной Описание процедуры Описание функции Описание элемента Определение константы Определение типа Ордин льное выражение Ординальньш" тип Параметр вывода Параметр цикла Переменная Переменная-запись Переменная-компонента 110 114 115 116 109 108 113 117 48 93 52 78 86 95 106 62 123 64 85 51 58 94 87 32 42 40 38 46 39 83 13 14 15 96 11 12 107 57 100 50 88 102 90 Приложение 4.
Синтинсис е7 ра метра 28 1 1.3.1 1 27 7.2.1. 7.4. 6.1.1. 6.2.2. 7.1. 4. 9.2. 4. 13. 9.1. 6.1. 9.1. 9. 10.1. 1. 7. 11. 5. 6. 6.2.2. 6 2 о 1 1.3.1. 9.2. 9.2.1. 6.2. 12.3. 1 1.2.1.1 1 1.3.1.1 1 !.3.1.2 1 1.3.1. 1 1 1.3.1.2 6.1.1. 13. 9.2.4. 6.2.2. 1 !.3.2.
1 1.3.1. 7.3. 6.3. 4. 1 1.3.1.1 Переменная-массив Переменная-файл Перечисляемый тип Поле признака Полная переменная Порядок Последовательность операторов Последовательность цифр Программа Простое вырижение Простой оператор Простой тип Пустой оператор Раздел операторов Раздел описания меток Раздел описания переменных Раздел описания процедур и функций Раздел определения констант Раздел определения типов Селектор варианта Секция записи Секция формальных параметров Сложный оператор Составной оператор Составной тип Список параметров вывода Спецификиция параметров-значений Спецификация параметров-переменных Спецификация процедурального парим Спецификация типа индекса Спецификация функционального пара Список имен Список параметров программьс Список переменных-записей Список полей Список фактических параметров Список формальных параметров Ссылочная переменная Ссылочный тип Строка символов Схема неупакованного совмещаемогю массиви Схема упакованного совмещаемогю массива 101 103 60 77 89 126 31 129 1 80 33 54 37 10 5 8 9 6 7 74 73 21 34 30 55 99 22 23 24 29 25 120 3 47 70 97 20 104 56 128 222 Паскаль.
Руководство для аольвователя СИНТАКСИЧЕСКИЕ ДИАГРАММЫ Диаграммы для метаимен Буква, Цифра, Имя, Директива, Целое без знака, Число без знака и Строка символов описывают образование из символов этих лексем. Другие же диаграммы описывают образование из лексем синтаксических конструкций. Буква 1 1.3.1.1. 8. 6. 6.2.1. 6.2.1.
6.3. 6.2.2. 11.2. 9.2.2.1. 6.2.4. 1 1.3.2. 8. 6.2.2. 4. 8. 9.2.3.1. 9.2.3.2. 9.2.3.3. 9.2.3. 4. 4. Схема совмеи1аемого массива Терм Тип Тип индекса Тип компоненты Тип области Тип признака Тип результата Условный оператор Файловый тип Фактический параметр Фактор Фиксированная часть Целое без знака Целое выражение Цикл с предусловием Цикл с постусловием Цикл с шагом Циклический оператор Цифра Число без знака Элемент строки 26 81 53 66 67 59 76 69 41 65 98 82 71 124 105 44 43 45 36 131 19 132 Приложение 4. Синтаксис 233 ЦиФра Имя и Директива Целое без знака Число без знака Строка символов Имя константы, Имя переменной, Имя полн, Имя границы.
Имя типа, Имя процелуры и Имн Функции — Г и 234 Паскаль. Руководство для пользователя КОнстанта без знака Константа Переменная 236 Паскаль. Руководство для польаоеотелл Выражение Список Фактическик параметрое Список параметров вывода СпециФикация типа индекса Имя Имя Имя типе 238 Паскаль. Руководство для псльэователя Ординапьный тип Тип 240 Паскаль. Руководство для польвоватслл ОпЕратор ПРИЛОЖЕНИЕ 5 ИЗМЕНЕНИЯ В«РУКОВОДСТВЕДЛЯПОЛЬЗОВАТЕЛЯ» И «ОПИСАНИИ ЯЗЫКА», х, ОБУСЛОВЛЕННЫЕ СТАНДАРТОМ НСО 7185 В этом приложении приводится не полный обзор технических изменений, сделанных при подготовке третьего издания книги, согласованного со стандартом ИСО.
Этот материал может оказаться полезным читателям, знакомым с предыдущими изданиями. Описание 3: нотация, терминология и лексика Вместо БНФ (ВЬ!Р) используется РБНФ (ЕВЬ!Г). Дается определение понятий ошибки, зависимости от реализации (1гпр!егпеп(а!1оп-дерепдеп1), определения при 'реализации (1гпр!егпеп1а(1оп-бе(1пед), расширения (ех1епз)оп) и стандартного Паскаля. Эти определения используются на протяжении всего «Описания».
Описание 4: имена, числа и строки В описании синтаксиса' понятие «ограничитель» (бе1!гп11ег) заменяется на понятие «разделитель» (зерага!от). Добавляется символ *'..". Вводится альтернативное представление специальных символов "[*', "1" и *'Т". Изменяется синтаксис примечаний: не допускаются вложенные примечания. В именах приобретают значение все их символы. Появляется новая категория слов: директивы. Описание 5: константы В определение включается константа Мах1п1.
Описание б: типы Скалярные типы заменяются на ординальные и вещественные, что приводит к упрощению определений функций зцсс, ргег! и огб и понятий «нндексаций массива», «селектор варианта», «диапазон» и «базовый тип множества». Совместимость типов теперь определяется как совместимость «по имени» (паще согпра(15111(у). Вводится концепция «совместимости при присваивании» (азз!апгпеп1 согпраБЫ!Яу) и «присваиваемых типов» (азз(ппаЫе 1уре).
ггрилоэкение 5 Изменения е «Руководстве для пользователя» и «Описании языка», обусловленньге стандартом ИСО 7пд5 2»З Появляется специфическое семантическое толкование «упакованных составных типовж В полном синтаксисе для записных типов разрешается использование символа ";". Метки вариантов в вариантных записях называются константями вариантов. В записных типах в вариантной части'теперь требуется полная спецификация. Д„яя файловых типов определяются режимы формирования гг опегабоп) и просмотра ()пзресйоп гподе).
Тгш 1сх( теперь пе зквивалснтеп (упакованному) файлу из символов. Типы компонент файловых типов не могут быть в свою очередь файловыми типами или типами, содержащими файловые типы, Для ссылочных типов вводятся типы областей (догпа!ш 1урез). Описание 7г переменные Вводится понятие неопределенной (ппдейпед) и полностью неопределенной (1о1а11у ппдсйпед) переменных.