Справочное руководство по языку Ада-83

Приложение a атрибуты, предопределенные в языке
Приложение b прагмы, предопределенные в языке

Приложение c предопределенное окружение языка
Приложение d термины и определения
Приложение e сводка синтаксиса
Приложение f характеристики, зависящие от реализации
Глава введение
Область действия стандарта

Структура справочного руководства


Цели и источники разработки
Обзор свойств языка
Метод описания и синтаксические обозначения

Классификация ошибок
Глава лексика
Набор символов
Лексемы, разделители и ограничители
Идентификаторы
Числовые литералы

Символьные литералы
Строковые литералы
Комментарии
Прагмы
Зарезервированные слова
Допустимые замены символов
Глава описания и типы

Описания
Объекты и именованные числа
Типы и подтипы
Производные типы
Скалярные типы
Индексируемые типы

Именуемые типы
Ссылочные типы
Разделы описаний
Глава имена и выражения
Имена

Литералы
Агрегаты
Выражения

Операции и вычисление выражения
Преобразование типа
Квалифицированные выражения
Генераторы

Статические выражения и статические подтипы
Универсальные выражения
Глава операторы
Простые и составные операторы последовательности операторов

Справочное руководство по языку Ада-83

Операторы присваивания
Условные операторы
Операторы выбора

Операторы цикла
Операторы блока
Операторы выхода
Операторы возврата
Операторы перехода
Глава подпрограммы
Описание подпрограммы

Виды формальных параметров
Тела подпрограмм
Вызовы подпрограмм

Функции
Профиль типа параметров и результата совмещение подпрограмм
Совмещение операций
Глава пакеты
Структура пакета
Спецификации и описания пакетов
Тела пакетов

Описания личных типов и субконстант
Пример пакета работы с таблицами
Пример пакета обработки текстов
Глава правила видимости
Зона описания
Области действия описаний
Видимость

Описания переименования
Стандартный пакет
Контекст разрешения совмещения
Глава задачи
Спецификации задач и тела задач
Заданные типы и задачные объекты
Выполнение и активизация задачи

Зависимость задач завершение задач
Входы, вызовы входов и операторы принятия
Операторы задержки, длительность и время

Операторы отбора
Условные вызовы входов
Приоритеты
Атрибуты задач и входов
Операторы прекращения

Разделяемые переменные
Пример использования задачи
Глава структура программы и результат компиляции
Компилируемые модули библиотечные модули

Субмодули компилируемых модулей
Порядок компиляции
Программная библиотека
Предвыполнение библиотечных модулей

Оптимизация программы
Глава исключения
Описания исключений
Обработчики исключений
Операторы возбуждения
Обработка исключений

Исключения, возбуждаемые при взаимодействии задач
Исключения и оптимизация
Подавление проверок
Глава настраиваемые модули
Описание настройки

Настраиваемые тела
Конкретизация настройки

Пример настраиваемого пакета
Глава спецификаторы представления и особенности, зависящие от реализации
Спецификаторы представления

Спецификаторы длины

Справочное руководство по языку Ада-83

Спецификаторы представления перечисления
Спецификаторы представления записей
Спецификаторы адреса

Изменение представления
Системный пакет
Вставки машинных кодов
Связь с другими языками
Неконтролируемое программирование

Глава ввод-вывод
Внешние файлы и файловые объекты
Файлы последовательного и прямого доступа

Ввод-вывод текстов
Исключения при вводе-выводе

Спецификация пакета исключений ввода-вывода
Ввод-вывод низкого уровня
Пример ввода-вывода
Справочное руководство по языку ада
Предисловие редактора перевода
Последняя версия
Предисловие

---