Справочник по Ada 95
Справочник по Ada 95
1. Общие положения
1.1 Область применения
1.1.1 Объём
1.1.2 Структура
1.1.3 Соответствие реализации стандарту
1.1.4 Метод описания и обозначение синтаксиса
1.1.5 Классификация ошибок
1.2 Нормативные ссылки
1.3 Определения
1.1 Область применения
1.1.1 Объём
1.1.2 Структура
1.1.3 Соответствие реализации стандарту
1.1.4 Метод описания и обозначение синтаксиса
1.1.5 Классификация ошибок
1.2 Нормативные ссылки
1.3 Определения
2. Лексические элементы
2.1 Набор символов
2.2 Лексические элементы, разделители и разделители
2.3 Идентификаторы
2.4 Числовые литералы
2.4.1 Десятичные литералы
2.4.2 Литералы с основанием
2.5 Символьные литералы
2.6 Строковые литералы
2.7 Комментарии
2.8 Директивы компилятора
2.9 Зарезервированные слова
2.1 Набор символов
2.2 Лексические элементы, разделители и разделители
2.3 Идентификаторы
2.4 Числовые литералы
2.4.1 Десятичные литералы
2.4.2 Литералы с основанием
2.5 Символьные литералы
2.6 Строковые литералы
2.7 Комментарии
2.8 Директивы компилятора
2.9 Зарезервированные слова
3. Объявления и типы
3.1 Объявления
3.2 Типы и подтипы
3.2.1 Объявления типов
3.2.2 Объявления подтипов
3.2.3 Классификация операций
3.3 Объекты и именованные числа
3.3.1 Объявления объектов
3.3.2 Объявления чисел
3.4 Производные типы и классы
3.4.1 Классы производных типов
3.5 Скалярные типы
3.5.1 Перечислительные типы
3.5.2 Символьные типы
3.5.3 Булевы типы
3.5.4 Целочисленные типы
3.5.5 Операции над дискретными типами
3.5.6 Вещественные типы
3.5.7 Типы с плавающей точкой
3.5.8 Операции над типами с плавающей точкой
3.5.9 Типы с фиксированной точкой
3.5.10 Операции над типами с фиксированной точкой
3.6 Массивы
3.6.1 Ограничения индексов и дискретные диапазоны
3.6.2 Операции над массивами
3.6.3 Строковые типы
3.7 Дискриминанты
3.7.1 Ограничения дискриминантов
3.7.2 Операции над типами с дискриминантами
3.8 Типы записей
3.8.1 Альтернативные части и дискретные варианты
3.9 Меченные типы и расширения типов
3.9.1 Расширения типов
3.9.2 Операции по выбору для меченных типов
3.9.3 Абстрактные типы и подпрограммы
3.10 Типы доступа
3.10.1 Неполные объявления типов
3.10.2 Операции над типами доступа
3.11 Деляемые части объявлений
3.11.1 Завершение объявлений
3.1 Объявления
3.2 Типы и подтипы
3.2.1 Объявления типов
3.2.2 Объявления подтипов
3.2.3 Классификация операций
3.3 Объекты и именованные числа
3.3.1 Объявления объектов
3.3.2 Объявления чисел
3.4 Производные типы и классы
3.4.1 Классы производных типов
3.5 Скалярные типы
3.5.1 Перечислительные типы
3.5.2 Символьные типы
3.5.3 Булевы типы
3.5.4 Целочисленные типы
3.5.5 Операции над дискретными типами
3.5.6 Вещественные типы
3.5.7 Типы с плавающей точкой
3.5.8 Операции над типами с плавающей точкой
3.5.9 Типы с фиксированной точкой
3.5.10 Операции над типами с фиксированной точкой
3.6 Массивы
3.6.1 Ограничения индексов и дискретные диапазоны
3.6.2 Операции над массивами
3.6.3 Строковые типы
3.7 Дискриминанты
3.7.1 Ограничения дискриминантов
3.7.2 Операции над типами с дискриминантами
3.8 Типы записей
3.8.1 Альтернативные части и дискретные варианты
3.9 Меченные типы и расширения типов
3.9.1 Расширения типов
3.9.2 Операции по выбору для меченных типов
3.9.3 Абстрактные типы и подпрограммы
3.10 Типы доступа
3.10.1 Неполные объявления типов
3.10.2 Операции над типами доступа
3.11 Деляемые части объявлений
3.11.1 Завершение объявлений
4. Имена и выражения
4.1 Имена
4.1.1 Индексированные компоненты
4.1.2 Срезы
4.1.3 Выбранные компоненты
4.1.4 Атрибуты
4.2 Литералы
4.3 Агрегаты
4.3.1 Агрегаты записей
4.3.2 Расширенные агрегаты
4.3.3 Агрегаты массивов
4.4 Выражения
4.5 Операторы и вычисление выражений
4.5.1 Логические операторы и управляющие формы короткого замыкания
4.5.2 Операторы сравнения и проверки принадлежности
4.5.3 Бинарные операторы сложения
4.5.4 Унарные операторы сложения
4.5.5 Операторы умножения
4.5.6 Операторы с наивысшим приоритетом
4.6 Преобразования типов
4.7 Квалифицированные выражения
4.8 Алгоритмы выделения памяти
4.9 Статические выражения и статические подтипы
4.9.1 Статически согласованные ограничения и подтипы
4.1 Имена
4.1.1 Индексированные компоненты
4.1.2 Срезы
4.1.3 Выбранные компоненты
4.1.4 Атрибуты
4.2 Литералы
4.3 Агрегаты
4.3.1 Агрегаты записей
4.3.2 Расширенные агрегаты
4.3.3 Агрегаты массивов
4.4 Выражения
4.5 Операторы и вычисление выражений
4.5.1 Логические операторы и управляющие формы короткого замыкания
4.5.2 Операторы сравнения и проверки принадлежности
4.5.3 Бинарные операторы сложения
4.5.4 Унарные операторы сложения
4.5.5 Операторы умножения
4.5.6 Операторы с наивысшим приоритетом
4.6 Преобразования типов
4.7 Квалифицированные выражения
4.8 Алгоритмы выделения памяти
4.9 Статические выражения и статические подтипы
4.9.1 Статически согласованные ограничения и подтипы
5. Операторы
5.1 Простые и составные операторы - последовательности операторов
5.2 Операторы присваивания
5.3 Оператор if
5.4 Оператор case
5.5 Циклы
5.6 Оператор блока
5.7 Операторы выхода
5.8 Операторы goto
5.1 Простые и составные операторы - последовательности операторов
5.2 Операторы присваивания
5.3 Оператор if
5.4 Оператор case
5.5 Циклы
5.6 Оператор блока
5.7 Операторы выхода
5.8 Операторы goto
6. Подпрограммы
6.1 Объявления подпрограмм
6.2 Режимы формальных параметров
6.3 Тела подпрограмм
6.3.1 Правила соответствия
6.3.2 Встраивание подпрограмм
6.4 Вызовы подпрограмм
6.4.1 Связывание параметров
6.5 Операторы возврата
6.6 Перегрузка операторов
6.1 Объявления подпрограмм
6.2 Режимы формальных параметров
6.3 Тела подпрограмм
6.3.1 Правила соответствия
6.3.2 Встраивание подпрограмм
6.4 Вызовы подпрограмм
6.4.1 Связывание параметров
6.5 Операторы возврата
6.6 Перегрузка операторов
7. Пакеты
7.1 Спецификации и объявления пакетов
7.2 Тела пакетов
7.3 Частные типы и частные расширения
7.3.1 Частные операции
7.4 Отложенные константы
7.5 Ограниченные типы
7.6 Определяемое пользователем присваивание и завершение
7.6.1 Завершение и завершающие операции
7.1 Спецификации и объявления пакетов
7.2 Тела пакетов
7.3 Частные типы и частные расширения
7.3.1 Частные операции
7.4 Отложенные константы
7.5 Ограниченные типы
7.6 Определяемое пользователем присваивание и завершение
7.6.1 Завершение и завершающие операции
8. Правила видимости
8.1 Деляемая область
8.2 Область действия объявлений
8.3 Видимость
8.4 Клаузы использования
8.5 Объявления переименования
8.5.1 Объявления переименования объектов
8.5.2 Объявления переименования исключений
8.5.3 Объявления переименования пакетов
8.5.4 Объявления переименования подпрограмм
8.5.5 Объявления переименования обобщенных элементов
8.6 Контекст разрешения перегрузки
8.1 Деляемая область
8.2 Область действия объявлений
8.3 Видимость
8.4 Клаузы использования
8.5 Объявления переименования
8.5.1 Объявления переименования объектов
8.5.2 Объявления переименования исключений
8.5.3 Объявления переименования пакетов
8.5.4 Объявления переименования подпрограмм
8.5.5 Объявления переименования обобщенных элементов
8.6 Контекст разрешения перегрузки
9. Задачи и синхронизация
9.1 Задачи и объекты задач
9.2 Исполнение задач - активация задач
9.3 Зависимость задач - завершение задач
9.4 Защищенные модули и защищенные объекты
9.5 Межзадачное взаимодействие
9.5.1 Защищенные подпрограммы и защищенные действия
9.5.2 Входы и операторы приема
9.5.3 Вызовы входов
9.5.4 Операторы переупорядочения
9.6 Операторы ожидания, длительность и время
9.7 Операторы выбора
9.7.1 Селективный прием
9.7.2 Вызовы входов с временными ограничениями
9.7.3 Условные вызовы входов
9.7.4 Асинхронная передача управления
9.8 Прерывание задачи - прерывание последовательности операторов
9.9 Атрибуты задач и входов
9.10 Общие переменные
9.11 Пример задач и синхронизации
9.1 Задачи и объекты задач
9.2 Исполнение задач - активация задач
9.3 Зависимость задач - завершение задач
9.4 Защищенные модули и защищенные объекты
9.5 Межзадачное взаимодействие
9.5.1 Защищенные подпрограммы и защищенные действия
9.5.2 Входы и операторы приема
9.5.3 Вызовы входов
9.5.4 Операторы переупорядочения
9.6 Операторы ожидания, длительность и время
9.7 Операторы выбора
9.7.1 Селективный прием
9.7.2 Вызовы входов с временными ограничениями
9.7.3 Условные вызовы входов
9.7.4 Асинхронная передача управления
9.8 Прерывание задачи - прерывание последовательности операторов
9.9 Атрибуты задач и входов
9.10 Общие переменные
9.11 Пример задач и синхронизации
10. Структура программы и проблемы компиляции
10.1 Раздельная компиляция
10.1.1 Единицы компиляции - библиотечные единицы
10.1.2 Разделы контекста - Разделы с клаузами
10.1.3 Подразделения единиц компиляции
10.1.4 Процесс компиляции
10.1.5 Директивы и блоки программы
10.1.6 Правила видимости на уровне окружения
10.2 Выполнение программы
10.2.1 Управление этапом разработки
10.1 Раздельная компиляция
10.1.1 Единицы компиляции - библиотечные единицы
10.1.2 Разделы контекста - Разделы с клаузами
10.1.3 Подразделения единиц компиляции
10.1.4 Процесс компиляции
10.1.5 Директивы и блоки программы
10.1.6 Правила видимости на уровне окружения
10.2 Выполнение программы
10.2.1 Управление этапом разработки
11. Исключения
11.1 Объявления исключений
11.2 Обработчики исключений
11.3 Операторы Raise
11.4 Обработка исключений
11.4.1 Пакет Exceptions
11.4.2 Пример обработки исключений
11.5 Отключение проверок
11.6 Исключения и оптимизация
11.1 Объявления исключений
11.2 Обработчики исключений
11.3 Операторы Raise
11.4 Обработка исключений
11.4.1 Пакет Exceptions
11.4.2 Пример обработки исключений
11.5 Отключение проверок
11.6 Исключения и оптимизация
12. Обобщённые блоки
12.1 Объявления обобщенных блоков
12.2 Тела обобщенных блоков
12.3 Обобщенное создание
12.4 Формальные объекты
12.5 Формальные типы
12.5.1 Формальные закрытые и производные типы
12.5.2 Формальные скалярные типы
12.5.3 Формальные массивы
12.5.4 Формальные типы доступа
12.6 Формальные подпрограммы
12.7 Формальные пакеты
12.8 Пример обобщенного пакета
12.1 Объявления обобщенных блоков
12.2 Тела обобщенных блоков
12.3 Обобщенное создание
12.4 Формальные объекты
12.5 Формальные типы
12.5.1 Формальные закрытые и производные типы
12.5.2 Формальные скалярные типы
12.5.3 Формальные массивы
12.5.4 Формальные типы доступа
12.6 Формальные подпрограммы
12.7 Формальные пакеты
12.8 Пример обобщенного пакета
13. Вопросы представления
13.1 Операционные и элементы представления
13.2 Директива Pack
13.3 Операционные и атрибуты представления
13.4 Клаузы представления перечислений
13.5 Макет записи
13.5.1 Клаузы представления записей
13.5.2 Атрибуты расположения данных
13.5.3 Порядок бит
13.6 Изменение представления
13.7 Пакет System
13.7.1 Пакет System.Storage_Elements
13.7.2 Пакет System.Address_To_Access_Conversions
13.8 Вставки машинного кода
13.9 Непроверенные преобразования типов
13.9.1 Валидность данных
13.9.2 Атрибут Valid
13.10 Создание значений непроверенного доступа
13.11 Управление хранением
13.11.1 Атрибут Max_Size_In_Storage_Elements
13.11.2 Непроверенное освобождение памяти
13.11.3 Директива Controlled
13.12 Директивы ограничений
13.13 Потоки
13.13.1 Пакет Streams
13.13.2 Потоковые атрибуты
13.14 Правила заморозки
13.1 Операционные и элементы представления
13.2 Директива Pack
13.3 Операционные и атрибуты представления
13.4 Клаузы представления перечислений
13.5 Макет записи
13.5.1 Клаузы представления записей
13.5.2 Атрибуты расположения данных
13.5.3 Порядок бит
13.6 Изменение представления
13.7 Пакет System
13.7.1 Пакет System.Storage_Elements
13.7.2 Пакет System.Address_To_Access_Conversions
13.8 Вставки машинного кода
13.9 Непроверенные преобразования типов
13.9.1 Валидность данных
13.9.2 Атрибут Valid
13.10 Создание значений непроверенного доступа
13.11 Управление хранением
13.11.1 Атрибут Max_Size_In_Storage_Elements
13.11.2 Непроверенное освобождение памяти
13.11.3 Директива Controlled
13.12 Директивы ограничений
13.13 Потоки
13.13.1 Пакет Streams
13.13.2 Потоковые атрибуты
13.14 Правила заморозки
A. Предопределенная языковая среда
A.1 Пакет Standard
A.2 Пакет Ada
A.3 Обработка символов
A.3.1 Пакет Characters
A.3.2 Пакет Characters.Handling
A.3.3 Пакет Characters.Latin_1
A.4 Обработка строк
A.4.1 Пакет Strings
A.4.2 Пакет Strings.Maps
A.4.3 Обработка строк фиксированной длины
A.4.4 Обработка строк ограниченной длины
A.4.5 Обработка строк неограниченной длины
A.4.6 Множества и отображения для обработки строк
A.4.7 Обработка строк Wide_String
A.5 Пакеты Numerics
A.5.1 Элементарные функции
A.5.2 Генерация случайных чисел
A.5.3 Атрибуты типов с плавающей точкой
A.5.4 Атрибуты типов с фиксированной точкой
A.6 Ввод-вывод
A.7 Внешние файлы и объекты файлов
A.8 Последовательные и прямые файлы
A.8.1 Обобщенный пакет Sequential_IO
A.8.2 Управление файлами
A.8.3 Последовательные операции ввода-вывода
A.8.4 Обобщенный пакет Direct_IO
A.8.5 Прямые операции ввода-вывода
A.9 Обобщенный пакет Storage_IO
A.10 Текстовый ввод-вывод
A.10.1 Пакет Text_IO
A.10.2 Управление текстовыми файлами
A.10.3 Файлы по умолчанию для ввода, вывода и ошибок
A.10.4 Указание длины строк и страниц
A.10.5 Операции со столбцами, строками и страницами
A.10.6 Процедуры Get и Put
A.10.7 Ввод-вывод символов и строк
A.10.8 Ввод-вывод для целочисленных типов
A.10.9 Ввод-вывод для вещественных типов
A.10.10 Ввод-вывод для типов перечислений
A.11 Широкий текстовый ввод-вывод
A.12 Потоковый ввод-вывод
A.12.1 Пакет Streams.Stream_IO
A.12.2 Пакет Text_IO.Text_Streams
A.12.3 Пакет Wide_Text_IO.Text_Streams
A.13 Исключения при вводе-выводе
A.14 Обмен файлами
A.15 Пакет Command_Line
A.1 Пакет Standard
A.2 Пакет Ada
A.3 Обработка символов
A.3.1 Пакет Characters
A.3.2 Пакет Characters.Handling
A.3.3 Пакет Characters.Latin_1
A.4 Обработка строк
A.4.1 Пакет Strings
A.4.2 Пакет Strings.Maps
A.4.3 Обработка строк фиксированной длины
A.4.4 Обработка строк ограниченной длины
A.4.5 Обработка строк неограниченной длины
A.4.6 Множества и отображения для обработки строк
A.4.7 Обработка строк Wide_String
A.5 Пакеты Numerics
A.5.1 Элементарные функции
A.5.2 Генерация случайных чисел
A.5.3 Атрибуты типов с плавающей точкой
A.5.4 Атрибуты типов с фиксированной точкой
A.6 Ввод-вывод
A.7 Внешние файлы и объекты файлов
A.8 Последовательные и прямые файлы
A.8.1 Обобщенный пакет Sequential_IO
A.8.2 Управление файлами
A.8.3 Последовательные операции ввода-вывода
A.8.4 Обобщенный пакет Direct_IO
A.8.5 Прямые операции ввода-вывода
A.9 Обобщенный пакет Storage_IO
A.10 Текстовый ввод-вывод
A.10.1 Пакет Text_IO
A.10.2 Управление текстовыми файлами
A.10.3 Файлы по умолчанию для ввода, вывода и ошибок
A.10.4 Указание длины строк и страниц
A.10.5 Операции со столбцами, строками и страницами
A.10.6 Процедуры Get и Put
A.10.7 Ввод-вывод символов и строк
A.10.8 Ввод-вывод для целочисленных типов
A.10.9 Ввод-вывод для вещественных типов
A.10.10 Ввод-вывод для типов перечислений
A.11 Широкий текстовый ввод-вывод
A.12 Потоковый ввод-вывод
A.12.1 Пакет Streams.Stream_IO
A.12.2 Пакет Text_IO.Text_Streams
A.12.3 Пакет Wide_Text_IO.Text_Streams
A.13 Исключения при вводе-выводе
A.14 Обмен файлами
A.15 Пакет Command_Line
B. Интерфейс с другими языками
B.1 Директивы интерфейса
B.2 Пакет Interfaces
B.3 Интерфейс с C
B.3.1 Пакет Interfaces.C.Strings
B.3.2 Обобщенный пакет Interfaces.C.Pointers
B.4 Интерфейс с COBOL
B.5 Интерфейс с Fortran
B.1 Директивы интерфейса
B.2 Пакет Interfaces
B.3 Интерфейс с C
B.3.1 Пакет Interfaces.C.Strings
B.3.2 Обобщенный пакет Interfaces.C.Pointers
B.4 Интерфейс с COBOL
B.5 Интерфейс с Fortran
C. Программирование систем
C.1 Доступ к машинным операциям
C.2 Необходимая поддержка представления
C.3 Поддержка прерываний
C.3.1 Защищенные обработчики процедур
C.3.2 Пакет Interrupts
C.4 Требования к предварительной обработке
C.5 Директива Discard_Names
C.6 Управление общими переменными
C.7 Идентификация задач и атрибуты
C.7.1 Пакет Task_Identification
C.7.2 Пакет Task_Attributes
C.1 Доступ к машинным операциям
C.2 Необходимая поддержка представления
C.3 Поддержка прерываний
C.3.1 Защищенные обработчики процедур
C.3.2 Пакет Interrupts
C.4 Требования к предварительной обработке
C.5 Директива Discard_Names
C.6 Управление общими переменными
C.7 Идентификация задач и атрибуты
C.7.1 Пакет Task_Identification
C.7.2 Пакет Task_Attributes
D. Системы реального времени
D.1 Приоритеты задач
D.2 Распределение по приоритетам
D.2.1 Модель распределения задач
D.2.2 Стандартная политика распределения задач
D.3 Блокировка по потолку приоритетов
D.4 Политики очереди для входов
D.5 Динамические приоритеты
D.6 Прерывание с приоритетом
D.7 Ограничения для задач
D.8 Монотонное время
D.9 Точность задержки
D.10 Синхронное управление задачами
D.11 Асинхронное управление задачами
D.12 Другие оптимизации и правила детерминизма
D.1 Приоритеты задач
D.2 Распределение по приоритетам
D.2.1 Модель распределения задач
D.2.2 Стандартная политика распределения задач
D.3 Блокировка по потолку приоритетов
D.4 Политики очереди для входов
D.5 Динамические приоритеты
D.6 Прерывание с приоритетом
D.7 Ограничения для задач
D.8 Монотонное время
D.9 Точность задержки
D.10 Синхронное управление задачами
D.11 Асинхронное управление задачами
D.12 Другие оптимизации и правила детерминизма
Е. Распределённые системы
Е.1 Разбиения
Е.2 Категоризация блоков библиотеки
Е.2.1 Общие пассивные блоки библиотеки
Е.2.2 Блоки библиотеки удалённых типов
Е.2.3 Блоки библиотеки интерфейса удалённых вызовов
Е.3 Согласованность распределённой системы
Е.4 Вызовы удалённых подпрограмм
Е.4.1 Предикат Асинхронно
Е.4.2 Пример использования удалённого доступа к типу, относящемуся к всему классу
Е.5 Подсистема связи разбиений
Е.1 Разбиения
Е.2 Категоризация блоков библиотеки
Е.2.1 Общие пассивные блоки библиотеки
Е.2.2 Блоки библиотеки удалённых типов
Е.2.3 Блоки библиотеки интерфейса удалённых вызовов
Е.3 Согласованность распределённой системы
Е.4 Вызовы удалённых подпрограмм
Е.4.1 Предикат Асинхронно
Е.4.2 Пример использования удалённого доступа к типу, относящемуся к всему классу
Е.5 Подсистема связи разбиений
Ф. Системы информации
Ф.1 Определение атрибута Machine_Radix
Ф.2 Пакет Decimal
Ф.3 Отформатированный вывод для типов Decimal
Ф.3.1 Формирование строки шаблона
Ф.3.2 Генерация отформатированного вывода
Ф.3.3 Пакет Text_IO.Editing
Ф.3.4 Пакет Wide_Text_IO.Editing
Ф.1 Определение атрибута Machine_Radix
Ф.2 Пакет Decimal
Ф.3 Отформатированный вывод для типов Decimal
Ф.3.1 Формирование строки шаблона
Ф.3.2 Генерация отформатированного вывода
Ф.3.3 Пакет Text_IO.Editing
Ф.3.4 Пакет Wide_Text_IO.Editing
Г. Числа
Г.1 Комплекные вычисления
Г.1.1 Комплексные типы
Г.1.2 Комплексные элементарные функции
Г.1.3 Комплекный ввод-вывод
Г.1.4 Пакет Wide_Text_IO.Complex_IO
Г.2 Требования к производительности чисел
Г.2.1 Модель вычислений с плавающей точкой
Г.2.2 Атрибуты модели типов с плавающей точкой
Г.2.3 Модель вычислений с фиксированной точкой
Г.2.4 Требования к точности элементарных функций
Г.2.5 Требования к производительности генерации случайных чисел
Г.2.6 Требования к точности комплексных вычислений
Г.1 Комплекные вычисления
Г.1.1 Комплексные типы
Г.1.2 Комплексные элементарные функции
Г.1.3 Комплекный ввод-вывод
Г.1.4 Пакет Wide_Text_IO.Complex_IO
Г.2 Требования к производительности чисел
Г.2.1 Модель вычислений с плавающей точкой
Г.2.2 Атрибуты модели типов с плавающей точкой
Г.2.3 Модель вычислений с фиксированной точкой
Г.2.4 Требования к точности элементарных функций
Г.2.5 Требования к производительности генерации случайных чисел
Г.2.6 Требования к точности комплексных вычислений
Х. Безопасность и надёжность
Х.1 Предикат Normalize_Scalars
Х.2 Документирование решений реализации
Х.3 Объектный код для проверки
Х.3.1 Предикат Reviewable
Х.3.2 Предикат Inspection_Point
Х.4 Ограничения по безопасности и надёжности
Х.1 Предикат Normalize_Scalars
Х.2 Документирование решений реализации
Х.3 Объектный код для проверки
Х.3.1 Предикат Reviewable
Х.3.2 Предикат Inspection_Point
Х.4 Ограничения по безопасности и надёжности
Й. Устаревающие возможности
Й.1 Переименования блоков библиотеки Ada 83
Й.2 Разрешённые замены символов
Й.3 Подтипы с пониженной точностью
Й.4 Атрибут Constrained
Й.5 ASCII
Й.6 Numeric_Error
Й.7 Клаузы At
Й.7.1 Обработчики прерываний
Й.8 Клаузы Mod
Й.9 Атрибут Storage_Size
Й.1 Переименования блоков библиотеки Ada 83
Й.2 Разрешённые замены символов
Й.3 Подтипы с пониженной точностью
Й.4 Атрибут Constrained
Й.5 ASCII
Й.6 Numeric_Error
Й.7 Клаузы At
Й.7.1 Обработчики прерываний
Й.8 Клаузы Mod
Й.9 Атрибут Storage_Size
Н. Словарь
