Справочник по Ada (Ada 2022)
A.3.1 Пакеты Characters, Wide_Characters и Wide_Wide_Characters
Статическая семантика
Библиотечный пакет Characters имеет следующее объявление:
package Ada.Characters
with Pure is
end Ada.Characters;
with Pure is
end Ada.Characters;
Библиотечный пакет Wide_Characters имеет следующее объявление:
package Ada.Wide_Characters
with Pure is
end Ada.Wide_Characters;
with Pure is
end Ada.Wide_Characters;
Библиотечный пакет Wide_Wide_Characters имеет следующее объявление:
package Ada.Wide_Wide_Characters
with Pure is
end Ada.Wide_Wide_Characters;
with Pure is
end Ada.Wide_Wide_Characters;
Рекомендации по реализации
Если реализация выбирает предоставление определённых реализацией операций над Wide_Character или Wide_String (например, сортировки и сравнения), она должна сделать это, предоставив дочерние модули Wide_Characters. Аналогично, если она выбирает предоставление определённых реализацией операций над Wide_Wide_Character или Wide_Wide_String, она должна сделать это, предоставив дочерние модули Wide_Wide_Characters.
