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