Справочник по Ada 95
Приложение A
(нормативное)
Предварительно заданная среда языка
Это приложение содержит спецификации библиотек, которые должны предоставляться каждой реализацией. Существует три корневых библиотечных модуля: Ada, Interfaces и System; другие библиотечные модули являются потомками этих модулей:
Стандарт -- A.1
Ada -- A.2
Asynchronous_Task_Control -- D.11
Календарь -- 9.6
Символы -- A.3.1
Обработка -- A.3.2
Latin_1 -- A.3.3
Командная строка -- A.15
Десятичный -- F.2
Direct_IO -- A.8.4
Dynamic_Priorities -- D.5
Исключения -- 11.4.1
Заключительная обработка -- 7.6
Float_Text_IO -- A.10.9
Float_Wide_Text_IO -- A.11
Integer_Text_IO -- A.10.8
Integer_Wide_Text_IO -- A.11
Прерывания -- C.3.2
Имена -- C.3.2
IO_Exceptions -- A.13
Числа -- A.5
Complex_Elementary_Functions -- G.1.2
Complex_Types -- G.1.1
Discrete_Random -- A.5.2
Elementary_Functions -- A.5.1
Float_Random -- A.5.2
Generic_Complex_Elementary_Functions
-- G.1.2
Generic_Complex_Types -- G.1.1
Generic_Elementary_Functions -- A.5.1
Реальное время -- D.8
Sequential_IO -- A.8.1
Storage_IO -- A.9
Потоки -- 13.13.1
Stream_IO -- A.12.1
Ada -- A.2
Asynchronous_Task_Control -- D.11
Календарь -- 9.6
Символы -- A.3.1
Обработка -- A.3.2
Latin_1 -- A.3.3
Командная строка -- A.15
Десятичный -- F.2
Direct_IO -- A.8.4
Dynamic_Priorities -- D.5
Исключения -- 11.4.1
Заключительная обработка -- 7.6
Float_Text_IO -- A.10.9
Float_Wide_Text_IO -- A.11
Integer_Text_IO -- A.10.8
Integer_Wide_Text_IO -- A.11
Прерывания -- C.3.2
Имена -- C.3.2
IO_Exceptions -- A.13
Числа -- A.5
Complex_Elementary_Functions -- G.1.2
Complex_Types -- G.1.1
Discrete_Random -- A.5.2
Elementary_Functions -- A.5.1
Float_Random -- A.5.2
Generic_Complex_Elementary_Functions
-- G.1.2
Generic_Complex_Types -- G.1.1
Generic_Elementary_Functions -- A.5.1
Реальное время -- D.8
Sequential_IO -- A.8.1
Storage_IO -- A.9
Потоки -- 13.13.1
Stream_IO -- A.12.1
Стандарт (...продолжение)
Ada (...продолжение)
Строки -- A.4.1
Ограниченные -- A.4.4
Фиксированные -- A.4.3
Карты -- A.4.2
Константы -- A.4.6
Неограниченные -- A.4.5
Wide_Bounded -- A.4.7
Wide_Fixed -- A.4.7
Wide_Maps -- A.4.7
Wide_Constants -- A.4.7
Wide_Unbounded -- A.4.7
Synchronous_Task_Control -- D.10
Теги -- 3.9
Task_Attributes -- C.7.2
Task_Identification -- C.7.1
Text_IO -- A.10.1
Complex_IO -- G.1.3
Редактирование -- F.3.3
Text_Streams -- A.12.2
Unchecked_Conversion -- 13.9
Unchecked_Deallocation -- 13.11.2
Wide_Text_IO -- A.11
Complex_IO -- G.1.3
Редактирование -- F.3.4
Text_Streams -- A.12.3
Ada (...продолжение)
Строки -- A.4.1
Ограниченные -- A.4.4
Фиксированные -- A.4.3
Карты -- A.4.2
Константы -- A.4.6
Неограниченные -- A.4.5
Wide_Bounded -- A.4.7
Wide_Fixed -- A.4.7
Wide_Maps -- A.4.7
Wide_Constants -- A.4.7
Wide_Unbounded -- A.4.7
Synchronous_Task_Control -- D.10
Теги -- 3.9
Task_Attributes -- C.7.2
Task_Identification -- C.7.1
Text_IO -- A.10.1
Complex_IO -- G.1.3
Редактирование -- F.3.3
Text_Streams -- A.12.2
Unchecked_Conversion -- 13.9
Unchecked_Deallocation -- 13.11.2
Wide_Text_IO -- A.11
Complex_IO -- G.1.3
Редактирование -- F.3.4
Text_Streams -- A.12.3
System -- 13.7
Address_To_Access_Conversions -- 13.7.2
Машинный код -- 13.8
RPC -- E.5
Storage_Elements -- 13.7.1
Storage_Pools -- 13.11
Address_To_Access_Conversions -- 13.7.2
Машинный код -- 13.8
RPC -- E.5
Storage_Elements -- 13.7.1
Storage_Pools -- 13.11
Требования к реализации
Реализация должна гарантировать, что каждая подпрограмма, определенная языком, является реентерабельной в том смысле, что одновременные вызовы одной и той же подпрограммы выполняются в соответствии со спецификацией, при условии, что все параметры, которые могут передаваться по ссылке, обозначают неперекрывающиеся объекты.
Разрешения на реализацию
Реализация может ограничить замену единиц компиляции, определенных языком. Реализация может ограничить потомков языковых библиотек (кроме Standard).
