Н. Джехани - Язык Ада (1988) (1160771), страница 57
Текст из файла (страница 57)
288 289 290 290 290 291 291 292 292 292 293 294 Глава 3. Описания н типы Предисловие редактора перевода второй части книги Глава 1. Вваданнв .................................................................................. 1.1. Область действия стандарта . 1.1.1. Содщлкание стандарта 1.1.2. Согласованность реализации со отандартом .. 1.2. Структура справочного руководства 1.3. Цели и источники разработки .
1.4. Обзор свойств языка 1ть Метод описания и синтаксические обозначения . 1.6. Классификация овибок .. 2.1. Набор символов 2.2. лексемы, разделители и ограничители 2.3. Идентификаторы . 2.4. Числовые литералы . 24.1. Десятичные питщзапы 2.4.2. Литералы о ооноеаиием ............................ 2.5. Симвопьньм литералы 26. Строковые литщзапы 2.7.
Комментарии 2.8. Прапаы 2.9. Зарвзервированньм слова 2.10. Допустимые замены символов 3.1. Описания 3.2. Объекты и именованные числа 3.21. Описания объектов . 32.2. Описание чисел .. 3.3. Типы и подтипы 3.3.1. Описания типов . 3.3.2. Описания подтипов . 3.3.3. Классификация операций . 3.4. Производные типы .. ЗЛ. Скалярные типы 3.5.1. Перечиспимые типы 35.2. Символьные типы 3.53. логические типы 3.6.4. Целые типы . 3.5.5. Операции над дискретными типами .. 356. Вещественные типы 3.5.1. Плввмоз\ие типы ... 35В. Операции нед плавакнцими типами 35.9. Фиксированньм типы .
35.10. Операции над фиксированными типами ЭЯ. Индексируемые типы 3.6.1. Ограничения индекса и дискретньм диапазоны 362. Оптации над индексируемыми типами 3.6.3. Строковый тип . 3.7. Именуемые типы . 3.1.1. Диокриминанты .. 3.72. Ограничения дискриминантов . 3.1.3. Разделы вариантов 296 297 198 299 300 300 301 302 303 305 308 306 307 307 308 310 311 313 314 318 317 319 321 322 322 324 324 326 278 Огяаалвппв 3.7.4 З.з.
3.8.1 3.82 3.9. Оперзции над именуемыми типами Соылочньм типы Неполные описания тияов Операции нвд ссылочными типами Разделы описаний Глава 4. Имена н выражения Глава 6. Оаервторз" 5.1. 5.2.! 5.3. 5.7. з.а 358 359 360 361 361 362 364 355 355 Глава 6. Подпрограмезы ...,.......,......,... 6.1. 6.2. аа 8.3.1. 6.3.2. 6.4. 6.4.1. 6.4.2 6.8. 87. 367 388 370 371 371 372 373 373 374 374 375 Главе 7. Пакатм 377 7.1. 72. 7.3. 7.4.
7.4.1. 7.4.2. 7АЗ. 377 378 378 380 380 381 ЗВЭ 4.1. 4.1.1. 4.!.2. 4.1.3. 4.1.4. 4.2. 4.3. 4.3.1. 4.3.2. 4.4. 4.5. 4.5.!. заа 454. 4.5.5 4.5.6 4.5.7. 4.6. 4.7. з.а 4.9. 4.10. Имена Индексируемые компоненты Отрезки Именуемые компоненты Атрибуты Литералы Агрегаты Агрегаты записей... Агрегаты массивов Вырвкения Операции и вычисление выражения Логические операции и формы управления промекуточной провщской ..., Операции отномения и проверки принадлежности Бинарные аддитивные операции ..
Унернье аддитивные операции Мультиппикативнье операции Операции высвего приоритета Точность опегаций с вещественными операндами . Преобрезование типа ... Квалифицированные выражения Генераторы . Статические выражения и статические подтипы Универсальные выражения Простые и составные огмраторы. Последовательнооти операторов .. Операторы присваивания Приоваивания масоивов Условные операторы Операторы выбора Операторы цикла Операторы блока Операторы выхода Операторы возврата . Операторы перехода Описание подпрограммы .......................................................................,.......„,.....
Виды формальных пщсаметров Тела подпрограмм Правила согласования..... Подстановка подпрограмм Вьповы подпропжмм сопоставления пагаметров Опузгенньм пщжметры Функции . Профиль типов параметров и результатов. Совмещение подпрограмм ... Совмещение операций .. Структщж пакета Спецификации и описания пакетов . Тела пакетов . Описания личных типов и субконстант Личные типы Операции над личным типом Субкоистанты 333 334 334 335 337 337 338 339 ЗЭ9 341 342 343 Э44 346 347 347 Э49 350 351 353 354 365 356 ОГлввданме Глава Глава 414 Глава Главе 11. Исюночення . Глава 744.
Лимитируемые типы 7.5. Пример пакета работы с таблицами 7.6. Пример пакета обрасотки текстов .. В. Правила види 8.1. Зона описания 8.2. Области действия описаний . 8.3. Видимость 8.4. Спецификаторы использования . 85. Описания переименования . 86. Стандартный пакет 67. Контекст рюремения совммпения .. В. Задачи .. 9.1. Спецификации задач и тела задач 9.2. Задачные типы и эадачные объекты .
9.3 Выполненив и активизация задачи 9.4. Зависимость задач. Завермение задач 972 Входы, вызовы входов и операторы принятия 99. Операторы мцгержки, длительность и время .. 92. Огмраторы отбора 9.7.1. Отбор с ожиданием 9.7.2. условные вызовы входов 9.7.3. Временныв вызовы входов 9.8. Приоритеты 9.9. Атрибуты задач и входов . 9.10. Операторы првкраз!ения . 9.11. Разделяемые пцземенные .. 9.12. Пример использования задачи ... 10. Структура программы и результат компиляции . !0.1. Компилируемью модули.
Библиотечные модули ...................... 10.1.1. Спвцификаторы контекста. Спецификаторы совместности .. 10.1.2. Примеры компилирувмых мОДупей 10.2. Субмодули компилируемых модулей 10.2.!. Примеры субмодулей 10.3. Порядок компиляции 10.4. Прогрвммнвя библиотека 105. Предвыполненив оислиотечных модулей .......,..........,...........,. 106. Оптимизация пропзаммы 11.1. Описания исюксчений . 11.2 Обработчики исключений .
11Л. Операторы возбуждения 11ж Обработка исключений ...........,..........,.............. 1!.4.1. Исключения, возбуждаемые при выполнении операторов ......... !1.42. Искпючвния, возбуждаемые при предвыполнении описаний ... 11.5. Исключения, возбуждаемые при взаимодействии задач ............ 11.6. Исключения и оптимизация 11.7. Подавление проевгюк 16 Настраиваемые зюдулн 12.1. Описание настРойки 12.1.1. формальные осъеаъг настройки .. 12.1.2. Формальньм типы наотройки .. 12.1.3. Формвльньге подпрограммы настройки 122. Настраиваемые тела 12.3.
Конкретизация настройки 12.3.1. Правила сопоставления для формальных объектов ......................... 12.3.2. Правила сопоставления для формальных личных типов . 12.3.3. Правила сопоставления для формальных скалярных типов .......... 12.3.4. Правила сопоставления для формальных индексируемых типов .. 398 400 401 402 403 405 407 407 409 409 410 411 411 412 413 414 415 416 418 419 421 422 422 423 424 424 425 426 426 427 428 429 430 431 434 434 436 436 437 436 439 441 442 442 442 Оглавление Прююжвння Дополнения 499 504 ИЭ 516 517 123,5.
Правила сопоставления для формальных ссылочньш типов .. 12.3.6. Правила сопоставления для формальных подпрограмм,....,.. 12.4. Пример настраиваемого пакета Глава 13. Спацификатсрм предстаелания и особенности, заенваяив от реалнззщнн .. 13.1. Спецификаторы представления 13.2. Спецификаторы длины . 13.3. Спецификатсры представления перечисления 13.4.
Спецификаторы предотевления записей 13.5. Спецификаторы адреса 13.5.1. Прерывания . 13.8. Изьмнение представления 13.7. Системный пакет . 13.7.1. 3аеиоящие от системы именованные числа 13.7.2. Атрибуты представления 13.7.3. Атрибуты представления вмяественных типов 13.8. Вставки машинных кодов 13.9. Связь с другими языками 13.10. Неконтролируемое программирование 13.10.1. Неконтролируемое освобожденна памяти 13.10.2.
Неконтролируемое преобразование типа . Глаза 14. Ввод.вывод 14.1. Внелние файлы и файловые объекты 14.2. Файлы последовательного и прямого доступа . 14.21. Управление файлами . 142.2. Последовательный ввод. вывод 14.2.3. Спецификация пакета последовательного ввода. вывода ..... 14.2.4. Прямой ввОд. вывод 14.2.5. Спецификация пакета прямого ввода-вывода 14.3. Ввод вывод текстов 14.3.1. Управление файлами . !4.3.2.
Файлы ввода и вывода по умолчанию 14.3.3. Спецификации длин строчек и страниц 14.3.4. Операции над столбцами, строчками и страницами ............. 14.3.5. Процедуры обмена 14.3.6. Ввод вывод символов и строк 14.3.7. Ввод. вывод для целых типов 14.3.8. Ввод-вывод дпя ввлзественных типов 14.39. Ввод. вывод для перечислимых типов 14.3.10. Спецификация пакета ввода вывода текста . 14.4. Исключения при вводе-вывОде .. 14.5. Спецификация пакета исключений ввода. вывода 148.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
