Справочник по Аде 2005
A.4.6 Обработка строк, множества и отображения
В языке определённый пакет Strings.Maps.Constants объявляет константы Character_Set и Character_Mapping, соответствующие функциям классификации и преобразования в пакете Characters.Handling.
Статическая семантика
Библиотечный пакет Strings.Maps.Constants имеет следующее объявление:
package Ada.Strings.Maps.Constants is
pragma Pure(Constants);
pragma Pure(Constants);
Control_Set : constant Character_Set;
Graphic_Set : constant Character_Set;
Letter_Set : constant Character_Set;
Lower_Set : constant Character_Set;
Upper_Set : constant Character_Set;
Basic_Set : constant Character_Set;
Decimal_Digit_Set : constant Character_Set;
Hexadecimal_Digit_Set : constant Character_Set;
Alphanumeric_Set : constant Character_Set;
Special_Set : constant Character_Set;
ISO_646_Set : constant Character_Set;
Graphic_Set : constant Character_Set;
Letter_Set : constant Character_Set;
Lower_Set : constant Character_Set;
Upper_Set : constant Character_Set;
Basic_Set : constant Character_Set;
Decimal_Digit_Set : constant Character_Set;
Hexadecimal_Digit_Set : constant Character_Set;
Alphanumeric_Set : constant Character_Set;
Special_Set : constant Character_Set;
ISO_646_Set : constant Character_Set;
Lower_Case_Map : constant Character_Mapping;
--Преобразование в строчные буквы для букв, в противном случае — тождественное преобразование
Upper_Case_Map : constant Character_Mapping;
--Преобразование в заглавные буквы для букв, в противном случае — тождественное преобразование
Basic_Map : constant Character_Mapping;
--Преобразование в базовые буквы для букв, в противном случае — тождественное преобразование
--Преобразование в строчные буквы для букв, в противном случае — тождественное преобразование
Upper_Case_Map : constant Character_Mapping;
--Преобразование в заглавные буквы для букв, в противном случае — тождественное преобразование
Basic_Map : constant Character_Mapping;
--Преобразование в базовые буквы для букв, в противном случае — тождественное преобразование
private
... -- не определено языком
end Ada.Strings.Maps.Constants;
... -- не определено языком
end Ada.Strings.Maps.Constants;
Каждая из этих констант представляет соответствующее именованное множество символов или отображение символов в Characters.Handling (см. A.3.2).