Руководство по Ada (Ada 2022)
Приложение A
(нормативное)
Предопределённая среда языка
Это приложение содержит спецификации библиотек, которые должны предоставляться каждой реализацией. Существуют три корневые библиотечные единицы: Ada, Interfaces и System; другие библиотечные единицы являются дочерними по отношению к ним:
Стандарт — A.1
Ada — A.2
Утверждения — 11.4.2
Asynchronous_Task_Control — D.11
Календарь — 9.6
Арифметика — 9.6.1
Форматирование — 9.6.1
Временные зоны — 9.6.1
Символы — A.3.1
Преобразования — A.3.4
Обработка — A.3.2
Latin_1 — A.3.3
Строка команд — A.15
Complex_Text_IO — G.1.3
Контейнеры — A.18.1
Ограниченные двусвязные списки
— A.18.20
Ограниченные хешированные карты — A.18.21
Ограниченные хешированные множества — A.18.23
Ограниченные неопределённые держатели — A.18.32
Ограниченные многопутевые деревья — A.18.25
Ограниченные упорядоченные карты — A.18.22
Ограниченные упорядоченные множества — A.18.24
Ограниченные приоритетные очереди — A.18.31
Ограниченные синхронизированные очереди
— A.18.29
Ограниченные векторы — A.18.19
Двусвязные списки — A.18.3
Generic_Array_Sort — A.18.26
Generic_Constrained_Array_Sort
— A.18.26
Generic_Sort — A.18.26
Hashed_Maps — A.18.5
Hashed_Sets — A.18.8
Неопределённые двусвязные списки
— A.18.12
Неопределённые хешированные карты — A.18.13
Неопределённые хешированные множества — A.18.15
Ada — A.2
Утверждения — 11.4.2
Asynchronous_Task_Control — D.11
Календарь — 9.6
Арифметика — 9.6.1
Форматирование — 9.6.1
Временные зоны — 9.6.1
Символы — A.3.1
Преобразования — A.3.4
Обработка — A.3.2
Latin_1 — A.3.3
Строка команд — A.15
Complex_Text_IO — G.1.3
Контейнеры — A.18.1
Ограниченные двусвязные списки
— A.18.20
Ограниченные хешированные карты — A.18.21
Ограниченные хешированные множества — A.18.23
Ограниченные неопределённые держатели — A.18.32
Ограниченные многопутевые деревья — A.18.25
Ограниченные упорядоченные карты — A.18.22
Ограниченные упорядоченные множества — A.18.24
Ограниченные приоритетные очереди — A.18.31
Ограниченные синхронизированные очереди
— A.18.29
Ограниченные векторы — A.18.19
Двусвязные списки — A.18.3
Generic_Array_Sort — A.18.26
Generic_Constrained_Array_Sort
— A.18.26
Generic_Sort — A.18.26
Hashed_Maps — A.18.5
Hashed_Sets — A.18.8
Неопределённые двусвязные списки
— A.18.12
Неопределённые хешированные карты — A.18.13
Неопределённые хешированные множества — A.18.15
Стандарт (...продолжение)
Ada (...продолжение)
Контейнеры (...продолжение)
Неопределённые держатели — A.18.18
Неопределённые многопутевые деревья — A.18.17
Неопределённые упорядоченные карты — A.18.14
Неопределённые упорядоченные множества — A.18.16
Неопределённые векторы — A.18.11
Многопутевые деревья — A.18.10
Упорядоченные карты — A.18.6
Упорядоченные множества — A.18.9
Синхронизированные интерфейсы очереди
— A.18.27
Неограниченные приоритетные очереди
— A.18.30
Неограниченные синхронизированные очереди
— A.18.28
Векторы — A.18.2
Десятичные — F.2
Direct_IO — A.8.4
Каталоги — A.16
Иерархические имена файлов — A.16.1
Информация — A.16
Диспетчеризация — D.2.1
EDF — D.2.6
Непрерывная — D.2.4
Круговой цикл — D.2.5
Динамические приоритеты — D.5.1
Переменные среды — A.17
Исключение — 11.4.1
Время выполнения — D.14
Бюджеты группы — D.14.2
Прерывания — D.14.3
Таймеры — D.14.1
Заключительная обработка — 7.6
Float_Text_IO — A.10.9
Float_Wide_Text_IO — A.11
Float_Wide_Wide_Text_IO — A.11
Ada (...продолжение)
Контейнеры (...продолжение)
Неопределённые держатели — A.18.18
Неопределённые многопутевые деревья — A.18.17
Неопределённые упорядоченные карты — A.18.14
Неопределённые упорядоченные множества — A.18.16
Неопределённые векторы — A.18.11
Многопутевые деревья — A.18.10
Упорядоченные карты — A.18.6
Упорядоченные множества — A.18.9
Синхронизированные интерфейсы очереди
— A.18.27
Неограниченные приоритетные очереди
— A.18.30
Неограниченные синхронизированные очереди
— A.18.28
Векторы — A.18.2
Десятичные — F.2
Direct_IO — A.8.4
Каталоги — A.16
Иерархические имена файлов — A.16.1
Информация — A.16
Диспетчеризация — D.2.1
EDF — D.2.6
Непрерывная — D.2.4
Круговой цикл — D.2.5
Динамические приоритеты — D.5.1
Переменные среды — A.17
Исключение — 11.4.1
Время выполнения — D.14
Бюджеты группы — D.14.2
Прерывания — D.14.3
Таймеры — D.14.1
Заключительная обработка — 7.6
Float_Text_IO — A.10.9
Float_Wide_Text_IO — A.11
Float_Wide_Wide_Text_IO — A.11
Стандарт (...продолжение)
Ada (...продолжение)
Integer_Text_IO — A.10.8
Integer_Wide_Text_IO — A.11
Integer_Wide_Wide_Text_IO — A.11
Прерывания — C.3.2
Имена — C.3.2
IO_Exceptions — A.13
Iterator_Interfaces — 5.5.1
Локали — A.19 Числа — A.5
Большие числа — A.5.5
Большие целые — A.5.6
Большие вещественные — A.5.7
Комплексные массивы — G.3.2
Комплексные элементарные функции — G.1.2
Комплексные типы — G.1.1
Дискретная случайность — A.5.2
Элементарные функции — A.5.1
Float_Random — A.5.2
Generic_Complex_Arrays — G.3.2
Generic_Complex_Elementary_Functions
— G.1.2
Generic_Complex_Types — G.1.1
Generic_Elementary_Functions — A.5.1
Generic_Real_Arrays — G.3.1
Real_Arrays — G.3.1
Реальное время — D.8
События тайминга — D.15
Последовательный ввод-вывод — A.8.1
Ввод-вывод памяти — A.9
Потоки — 13.13.1
Потоки памяти — 13.13.1
Ограниченные FIFO-потоки — 13.13.1
FIFO-потоки — 13.13.1
Stream_IO — A.12.1
Строки — A.4.1
Ограниченные — A.4.4
Equal_Case_Insensitive — A.4.10
Хеш — A.4.9
Hash_Case_Insensitive — A.4.9
Less_Case_Insensitive — A.4.10
Equal_Case_Insensitive — A.4.10
Fixed — A.4.3
Equal_Case_Insensitive — A.4.10
Хеш — A.4.9
Hash_Case_Insensitive — A.4.9
Less_Case_Insensitive — A.4.10
Ada (...продолжение)
Integer_Text_IO — A.10.8
Integer_Wide_Text_IO — A.11
Integer_Wide_Wide_Text_IO — A.11
Прерывания — C.3.2
Имена — C.3.2
IO_Exceptions — A.13
Iterator_Interfaces — 5.5.1
Локали — A.19 Числа — A.5
Большие числа — A.5.5
Большие целые — A.5.6
Большие вещественные — A.5.7
Комплексные массивы — G.3.2
Комплексные элементарные функции — G.1.2
Комплексные типы — G.1.1
Дискретная случайность — A.5.2
Элементарные функции — A.5.1
Float_Random — A.5.2
Generic_Complex_Arrays — G.3.2
Generic_Complex_Elementary_Functions
— G.1.2
Generic_Complex_Types — G.1.1
Generic_Elementary_Functions — A.5.1
Generic_Real_Arrays — G.3.1
Real_Arrays — G.3.1
Реальное время — D.8
События тайминга — D.15
Последовательный ввод-вывод — A.8.1
Ввод-вывод памяти — A.9
Потоки — 13.13.1
Потоки памяти — 13.13.1
Ограниченные FIFO-потоки — 13.13.1
FIFO-потоки — 13.13.1
Stream_IO — A.12.1
Строки — A.4.1
Ограниченные — A.4.4
Equal_Case_Insensitive — A.4.10
Хеш — A.4.9
Hash_Case_Insensitive — A.4.9
Less_Case_Insensitive — A.4.10
Equal_Case_Insensitive — A.4.10
Fixed — A.4.3
Equal_Case_Insensitive — A.4.10
Хеш — A.4.9
Hash_Case_Insensitive — A.4.9
Less_Case_Insensitive — A.4.10
Стандарт (...продолжение)
Ada (...продолжение)
Строки (...продолжение)
Хеш — A.4.9
Hash_Case_Insensitive — A.4.9
Less_Case_Insensitive — A.4.10
Карты — A.4.2
Постоянные — A.4.6
Text_Buffers — A.4.12
Ограниченные — A.4.12
Неограниченные — A.4.12
Неограниченные — A.4.5
Equal_Case_Insensitive — A.4.10
Хеш — A.4.9
Hash_Case_Insensitive — A.4.9
Less_Case_Insensitive — A.4.10
UTF_Encoding — A.4.11
Преобразования — A.4.11
Строки — A.4.11
Wide_Strings — A.4.11
Wide_Wide_Strings — A.4.11
Wide_Bounded — A.4.7
Wide_Equal_Case_Insensitive
— A.4.7
Wide_Hash — A.4.7
Wide_Hash_Case_Insensitive — A.4.7
Wide_Equal_Case_Insensitive — A.4.7
Wide_Fixed — A.4.7
Wide_Equal_Case_Insensitive
— A.4.7
Wide_Hash — A.4.7
Wide_Hash_Case_Insensitive — A.4.7
Wide_Hash — A.4.7
Wide_Hash_Case_Insensitive — A.4.7
Wide_Maps — A.4.7
Wide_Constants — A.4.7
Wide_Unbounded — A.4.7
Wide_Equal_Case_Insensitive
— A.4.7
Wide_Hash — A.4.7
Wide_Hash_Case_Insensitive — A.4.7
Wide_Wide_Bounded — A.4.8
Wide_Wide_Equal_Case_Insensitive
— A.4.8
Wide_Wide_Hash — A.4.8
Wide_Wide_Hash_Case_Insensitive
— A.4.8
END_OF_DOCUMENT_MARKER Ada (...продолжение)
Строки (...продолжение)
Хеш — A.4.9
Hash_Case_Insensitive — A.4.9
Less_Case_Insensitive — A.4.10
Карты — A.4.2
Постоянные — A.4.6
Text_Buffers — A.4.12
Ограниченные — A.4.12
Неограниченные — A.4.12
Неограниченные — A.4.5
Equal_Case_Insensitive — A.4.10
Хеш — A.4.9
Hash_Case_Insensitive — A.4.9
Less_Case_Insensitive — A.4.10
UTF_Encoding — A.4.11
Преобразования — A.4.11
Строки — A.4.11
Wide_Strings — A.4.11
Wide_Wide_Strings — A.4.11
Wide_Bounded — A.4.7
Wide_Equal_Case_Insensitive
— A.4.7
Wide_Hash — A.4.7
Wide_Hash_Case_Insensitive — A.4.7
Wide_Equal_Case_Insensitive — A.4.7
Wide_Fixed — A.4.7
Wide_Equal_Case_Insensitive
— A.4.7
Wide_Hash — A.4.7
Wide_Hash_Case_Insensitive — A.4.7
Wide_Hash — A.4.7
Wide_Hash_Case_Insensitive — A.4.7
Wide_Maps — A.4.7
Wide_Constants — A.4.7
Wide_Unbounded — A.4.7
Wide_Equal_Case_Insensitive
— A.4.7
Wide_Hash — A.4.7
Wide_Hash_Case_Insensitive — A.4.7
Wide_Wide_Bounded — A.4.8
Wide_Wide_Equal_Case_Insensitive
— A.4.8
Wide_Wide_Hash — A.4.8
Wide_Wide_Hash_Case_Insensitive
— A.4.8
Стандарт (...продолжение)
Ada (...продолжение)
Строки (...продолжение)
Wide_Wide_Equal_Case_Insensitive
— A.4.8
Wide_Wide_Fixed — A.4.8
Wide_Wide_Equal_Case_Insensitive
— A.4.8
Wide_Wide_Hash — A.4.8
Wide_Wide_Hash_Case_Insensitive
— A.4.8
Wide_Wide_Hash — A.4.8
Wide_Wide_Hash_Case_Insensitive
— A.4.8
Wide_Wide_Maps — A.4.8
Wide_Wide_Constants — A.4.8
Wide_Wide_Unbounded — A.4.8
Wide_Wide_Equal_Case_Insensitive
— A.4.8
Wide_Wide_Hash — A.4.8
Wide_Wide_Hash_Case_Insensitive
— A.4.8
Synchronous_Barriers — D.10.1
Synchronous_Task_Control — D.10
EDF — D.10
Теги — 3.9
Generic_Dispatching_Constructor — 3.9
Task_Attributes — C.7.2
Task_Identification — C.7.1
Task_Termination — C.7.3
Text_IO — A.10.1
Bounded_IO — A.10.11
Complex_IO — G.1.3
Редактирование — F.3.3
Text_Streams — A.12.2
Unbounded_IO — A.10.12
Unchecked_Conversion — 13.9
Unchecked_Deallocate_Subpool — 13.11.5
Unchecked_Deallocation — 13.11.2
Wide_Characters — A.3.1
Обработка — A.3.5
Wide_Command_Line — A.15.1
Wide_Directories — A.16.2
Wide_Environment_Variables — A.17.1
Ada (...продолжение)
Строки (...продолжение)
Wide_Wide_Equal_Case_Insensitive
— A.4.8
Wide_Wide_Fixed — A.4.8
Wide_Wide_Equal_Case_Insensitive
— A.4.8
Wide_Wide_Hash — A.4.8
Wide_Wide_Hash_Case_Insensitive
— A.4.8
Wide_Wide_Hash — A.4.8
Wide_Wide_Hash_Case_Insensitive
— A.4.8
Wide_Wide_Maps — A.4.8
Wide_Wide_Constants — A.4.8
Wide_Wide_Unbounded — A.4.8
Wide_Wide_Equal_Case_Insensitive
— A.4.8
Wide_Wide_Hash — A.4.8
Wide_Wide_Hash_Case_Insensitive
— A.4.8
Synchronous_Barriers — D.10.1
Synchronous_Task_Control — D.10
EDF — D.10
Теги — 3.9
Generic_Dispatching_Constructor — 3.9
Task_Attributes — C.7.2
Task_Identification — C.7.1
Task_Termination — C.7.3
Text_IO — A.10.1
Bounded_IO — A.10.11
Complex_IO — G.1.3
Редактирование — F.3.3
Text_Streams — A.12.2
Unbounded_IO — A.10.12
Unchecked_Conversion — 13.9
Unchecked_Deallocate_Subpool — 13.11.5
Unchecked_Deallocation — 13.11.2
Wide_Characters — A.3.1
Обработка — A.3.5
Wide_Command_Line — A.15.1
Wide_Directories — A.16.2
Wide_Environment_Variables — A.17.1
Стандарт (...продолжение)
Ada (...продолжение)
Wide_Text_IO — A.11
Complex_IO — G.1.4
Редактирование — F.3.4
Text_Streams — A.12.3
Wide_Bounded_IO — A.11
Wide_Unbounded_IO — A.11 Wide_Wide_Characters — A.3.1
Обработка — A.3.6
Wide_Wide_Command_Line — A.15.1
Wide_Wide_Directories — A.16.2
Wide_Wide_Environment_Variables —
A.17.1
Wide_Wide_Text_IO — A.11
Complex_IO — G.1.5
Редактирование — F.3.5
Text_Streams — A.12.4
Wide_Wide_Bounded_IO — A.11
Wide_Wide_Unbounded_IO — A.11
Ada (...продолжение)
Wide_Text_IO — A.11
Complex_IO — G.1.4
Редактирование — F.3.4
Text_Streams — A.12.3
Wide_Bounded_IO — A.11
Wide_Unbounded_IO — A.11 Wide_Wide_Characters — A.3.1
Обработка — A.3.6
Wide_Wide_Command_Line — A.15.1
Wide_Wide_Directories — A.16.2
Wide_Wide_Environment_Variables —
A.17.1
Wide_Wide_Text_IO — A.11
Complex_IO — G.1.5
Редактирование — F.3.5
Text_Streams — A.12.4
Wide_Wide_Bounded_IO — A.11
Wide_Wide_Unbounded_IO — A.11
Система — 13.7
Преобразования_адреса_в_доступ — 13.7.2
Атомарные_операции — C.6.1
Обмен — C.6.2
Целочисленная_арифметика — C.6.4
Модулярная_арифметика — C.6.5
Тестирование_и_установка — C.6.3
Машинный_код — 13.8
Многопроцессорные_системы — D.16
Домены_диспетчеризации — D.16.1
RPC — E.5
Элементы_хранения — 13.7.1
Пулы_хранения — 13.11
Подпулы — 13.11.4
Преобразования_адреса_в_доступ — 13.7.2
Атомарные_операции — C.6.1
Обмен — C.6.2
Целочисленная_арифметика — C.6.4
Модулярная_арифметика — C.6.5
Тестирование_и_установка — C.6.3
Машинный_код — 13.8
Многопроцессорные_системы — D.16
Домены_диспетчеризации — D.16.1
RPC — E.5
Элементы_хранения — 13.7.1
Пулы_хранения — 13.11
Подпулы — 13.11.4
Требования к реализации
Реализация должна гарантировать, что одновременные вызовы любых двух (возможно, одного и того же) определённых языком подпрограмм выполняются как указано, при условии, что все пары объектов (один из каждого вызова), которые обозначаются параметрами, которые могут передаваться по ссылке, или обозначаются параметрами типа доступа, не пересекаются.
Для определения того, должны ли одновременные вызовы подпрограмм ввода-вывода текста выполняться как указано выше, при вызове подпрограммы в Text_IO или её потомках, которая неявно работает с одним из файлов ввода-вывода по умолчанию, подпрограмма считается имеющей параметр Current_Input или Current_Output (соответственно).
Если объявлен потомок определённого языком помеченного типа, реализация должна гарантировать, что каждая унаследованная определённая языком подпрограмма ведёт себя так, как описано в настоящем Справочном руководстве. В частности, переопределение подпрограммы, определённой языком, не должно изменять эффект любой унаследованной подпрограммы, определённой языком.
Разрешения реализации
Реализация может ограничить замену единиц компиляции, определённых языком. Реализация может ограничить потомков единиц библиотеки языка (кроме Стандартной).
