Справочник Ada 2005
Приложение А
(нормативное)
Предопределенная языковая среда
Это приложение содержит спецификации библиотек, которые должны предоставляться каждой реализацией. Есть три корневых библиотечных модуля: Ada, Interfaces и System; другие библиотечные модули являются их дочерними:
Стандарт — А.1
Ada — А.2
Утверждения — 11.4.2
Asynchronous_Task_Control — D.11
Календарь — 9.6
Арифметика — 9.6.1
Форматирование — 9.6.1
Временные зоны — 9.6.1
Символы — А.3.1
Преобразования — А.3.4
Обработка — А.3.2
Latin_1 — А.3.3
Командная строка — А.15
Complex_Text_IO — G.1.3
Контейнеры — А.18.1
Двусвязные списки — А.18.3
Generic_Array_Sort — А.18.16
Generic_Constrained_Array_Sort
— А.18.16
Хеш-таблицы — А.18.5
Хеш-множества — А.18.8
Неопределённые двусвязные списки
— А.18.11
Неопределённые хеш-таблицы — А.18.12
Неопределённые хеш-множества — А.18.14
Неопределённые упорядоченные отображения — А.18.13
Неопределённые упорядоченные множества — А.18.15
Неопределённые векторы — А.18.10
Упорядоченные отображения — А.18.6
Упорядоченные множества — А.18.9
Векторы — А.18.2
Десятичные числа — F.2
Direct_IO — А.8.4
Каталоги — А.16
Информация — А.16
Диспечирование — D.2.1
EDF — D.2.6
Round_Robin — D.2.5
Dynamic_Priorities — D.5
Ada — А.2
Утверждения — 11.4.2
Asynchronous_Task_Control — D.11
Календарь — 9.6
Арифметика — 9.6.1
Форматирование — 9.6.1
Временные зоны — 9.6.1
Символы — А.3.1
Преобразования — А.3.4
Обработка — А.3.2
Latin_1 — А.3.3
Командная строка — А.15
Complex_Text_IO — G.1.3
Контейнеры — А.18.1
Двусвязные списки — А.18.3
Generic_Array_Sort — А.18.16
Generic_Constrained_Array_Sort
— А.18.16
Хеш-таблицы — А.18.5
Хеш-множества — А.18.8
Неопределённые двусвязные списки
— А.18.11
Неопределённые хеш-таблицы — А.18.12
Неопределённые хеш-множества — А.18.14
Неопределённые упорядоченные отображения — А.18.13
Неопределённые упорядоченные множества — А.18.15
Неопределённые векторы — А.18.10
Упорядоченные отображения — А.18.6
Упорядоченные множества — А.18.9
Векторы — А.18.2
Десятичные числа — F.2
Direct_IO — А.8.4
Каталоги — А.16
Информация — А.16
Диспечирование — D.2.1
EDF — D.2.6
Round_Robin — D.2.5
Dynamic_Priorities — D.5
Стандарт (...продолжение)
Ada (...продолжение)
Переменные_окружения — А.17
Исключения — 11.4.1
Execution_Time — D.14
Group_Budgets — D.14.2
Таймеры — D.14.1
Закрытие — 7.6
Float_Text_IO — А.10.9
Float_Wide_Text_IO — А.11
Float_Wide_Wide_Text_IO — А.11
Integer_Text_IO — А.10.8
Integer_Wide_Text_IO — А.11
Integer_Wide_Wide_Text_IO — А.11
Прерывания — С.3.2
Имена — С.3.2
IO_Exceptions — А.13
Числа — А.5
Complex_Arrays — G.3.2
Complex_Elementary_Functions — G.1.2
Complex_Types — G.1.1
Discrete_Random — А.5.2
Elementary_Functions — А.5.1
Float_Random — А.5.2
Generic_Complex_Arrays — G.3.2
Generic_Complex_Elementary_Functions
— G.1.2
Generic_Complex_Types — G.1.1
Generic_Elementary_Functions — А.5.1
Generic_Real_Arrays — G.3.1
Real_Arrays — G.3.1
Реальное_время — D.8
Timing_Events — D.15
Sequential_IO — А.8.1
Storage_IO — А.9
Streams — 13.13.1
Stream_IO — А.12.1
Ada (...продолжение)
Переменные_окружения — А.17
Исключения — 11.4.1
Execution_Time — D.14
Group_Budgets — D.14.2
Таймеры — D.14.1
Закрытие — 7.6
Float_Text_IO — А.10.9
Float_Wide_Text_IO — А.11
Float_Wide_Wide_Text_IO — А.11
Integer_Text_IO — А.10.8
Integer_Wide_Text_IO — А.11
Integer_Wide_Wide_Text_IO — А.11
Прерывания — С.3.2
Имена — С.3.2
IO_Exceptions — А.13
Числа — А.5
Complex_Arrays — G.3.2
Complex_Elementary_Functions — G.1.2
Complex_Types — G.1.1
Discrete_Random — А.5.2
Elementary_Functions — А.5.1
Float_Random — А.5.2
Generic_Complex_Arrays — G.3.2
Generic_Complex_Elementary_Functions
— G.1.2
Generic_Complex_Types — G.1.1
Generic_Elementary_Functions — А.5.1
Generic_Real_Arrays — G.3.1
Real_Arrays — G.3.1
Реальное_время — D.8
Timing_Events — D.15
Sequential_IO — А.8.1
Storage_IO — А.9
Streams — 13.13.1
Stream_IO — А.12.1
Стандарт (...продолжение)
Ada (...продолжение)
Строки — А.4.1
Bounded — А.4.4
Hash — А.4.9
Fixed — А.4.3
Hash — А.4.9
Hash — А.4.9
Maps — А.4.2
Constants — А.4.6
Unbounded — А.4.5
Hash — А.4.9
Wide_Bounded — А.4.7
Wide_Hash — А.4.7
Wide_Fixed — А.4.7
Wide_Hash — А.4.7
Wide_Hash — А.4.7
Wide_Maps — А.4.7
Wide_Constants — А.4.7
Wide_Unbounded — А.4.7
Wide_Hash — А.4.7
Wide_Wide_Bounded — А.4.8
Wide_Wide_Hash — А.4.8
Wide_Wide_Fixed — А.4.8
Wide_Wide_Hash — А.4.8
Wide_Wide_Hash — А.4.8
Wide_Wide_Maps — А.4.8
Wide_Wide_Constants — А.4.8
Wide_Wide_Unbounded — А.4.8
Wide_Wide_Hash — А.4.8
Synchronous_Task_Control — D.10
Теги — 3.9
Generic_Dispatching_Constructor — 3.9
Task_Attributes — С.7.2
Task_Identification — С.7.1
Task_Termination — С.7.3
Ada (...продолжение)
Строки — А.4.1
Bounded — А.4.4
Hash — А.4.9
Fixed — А.4.3
Hash — А.4.9
Hash — А.4.9
Maps — А.4.2
Constants — А.4.6
Unbounded — А.4.5
Hash — А.4.9
Wide_Bounded — А.4.7
Wide_Hash — А.4.7
Wide_Fixed — А.4.7
Wide_Hash — А.4.7
Wide_Hash — А.4.7
Wide_Maps — А.4.7
Wide_Constants — А.4.7
Wide_Unbounded — А.4.7
Wide_Hash — А.4.7
Wide_Wide_Bounded — А.4.8
Wide_Wide_Hash — А.4.8
Wide_Wide_Fixed — А.4.8
Wide_Wide_Hash — А.4.8
Wide_Wide_Hash — А.4.8
Wide_Wide_Maps — А.4.8
Wide_Wide_Constants — А.4.8
Wide_Wide_Unbounded — А.4.8
Wide_Wide_Hash — А.4.8
Synchronous_Task_Control — D.10
Теги — 3.9
Generic_Dispatching_Constructor — 3.9
Task_Attributes — С.7.2
Task_Identification — С.7.1
Task_Termination — С.7.3
Стандарт (...продолжение)
Ada (...продолжение)
Text_IO — А.10.1
Bounded_IO — А.10.11
Complex_IO — G.1.3
Редактирование — F.3.3
Text_Streams — А.12.2
Unbounded_IO — А.10.12
Unchecked_Conversion — 13.9
Unchecked_Deallocation — 13.11.2
Wide_Characters — А.3.1
Wide_Text_IO — А.11
Complex_IO — G.1.4
Редактирование — F.3.4
Text_Streams — А.12.3
Wide_Bounded_IO — А.11
Wide_Unbounded_IO — А.11
Wide_Wide_Characters — А.3.1
Wide_Wide_Text_IO — А.11
Complex_IO — G.1.5
Редактирование — F.3.5
Text_Streams — А.12.4
Wide_Wide_Bounded_IO — А.11
Wide_Wide_Unbounded_IO — А.11
Ada (...продолжение)
Text_IO — А.10.1
Bounded_IO — А.10.11
Complex_IO — G.1.3
Редактирование — F.3.3
Text_Streams — А.12.2
Unbounded_IO — А.10.12
Unchecked_Conversion — 13.9
Unchecked_Deallocation — 13.11.2
Wide_Characters — А.3.1
Wide_Text_IO — А.11
Complex_IO — G.1.4
Редактирование — F.3.4
Text_Streams — А.12.3
Wide_Bounded_IO — А.11
Wide_Unbounded_IO — А.11
Wide_Wide_Characters — А.3.1
Wide_Wide_Text_IO — А.11
Complex_IO — G.1.5
Редактирование — F.3.5
Text_Streams — А.12.4
Wide_Wide_Bounded_IO — А.11
Wide_Wide_Unbounded_IO — А.11
System — 13.7
Address_To_Access_Conversions — 13.7.2
Machine_Code — 13.8
RPC — E.5
Storage_Elements — 13.7.1
Storage_Pools — 13.11
Address_To_Access_Conversions — 13.7.2
Machine_Code — 13.8
RPC — E.5
Storage_Elements — 13.7.1
Storage_Pools — 13.11
Требования к реализации
Реализация должна гарантировать, что каждая определённая языком подпрограмма является рекурсивной в том смысле, что одновременные вызовы одной и той же подпрограммы выполняются как указано, при условии, что все параметры, которые могут передаваться по ссылке, обозначают непересекающиеся объекты.
Разрешения для реализации
Реализация может ограничить замену определённых языком модулей компиляции. Реализация может ограничить дочерние элементы определённых языком библиотечных модулей (кроме Standard).
