Справочник Ada 95

A.4.7 Обработка Wide_String

Объекты для обработки строк элементов Wide_Character находятся в пакетах Strings.Wide_Maps, Strings.Wide_Fixed, Strings.Wide_Bounded, Strings.Wide_Unbounded и Strings.Wide_Maps.Wide_Constants. Они обеспечивают те же операции обработки строк, что и соответствующие пакеты для строк элементов Character.

Статическая семантика

Пакет Strings.Wide_Maps имеет следующее объявление.

package Ada.Strings.Wide_Maps is pragma Preelaborate(Wide_Maps);

-- Представление для множества значений Wide_Character: type Wide_Character_Set is private;

Null_Set : constant Wide_Character_Set;

type Wide_Character_Range is record Low : Wide_Character; High : Wide_Character; end record; -- Представляет диапазон Wide_Character Low..High

type Wide_Character_Ranges is array (Positive range <>) of Wide_Character_Range;

function To_Set (Ranges : in Wide_Character_Ranges) return Wide_Character_Set;

function To_Set (Span : in Wide_Character_Range) return Wide_Character_Set;

function To_Ranges (Set : in Wide_Character_Set) return Wide_Character_Ranges;

function "=" (Left, Right : in Wide_Character_Set) return Boolean;

function "not" (Right : in Wide_Character_Set) return Wide_Character_Set; function "and" (Left, Right : in Wide_Character_Set) return Wide_Character_Set; function "or" (Left, Right : in Wide_Character_Set) return Wide_Character_Set; function "xor" (Left, Right : in Wide_Character_Set) return Wide_Character_Set; function "-" (Left, Right : in Wide_Character_Set) return Wide_Character_Set;

function Is_In (Element : in Wide_Character; Set : in Wide_Character_Set) return Boolean;

function Is_Subset (Elements : in Wide_Character_Set; Set : in Wide_Character_Set) return Boolean;

function "<=" (Left : in Wide_Character_Set; Right : in Wide_Character_Set) return Boolean renames Is_Subset;

-- Альтернативное представление для множества значений Wide_Character: subtype Wide_Character_Sequence is Wide_String;

function To_Set (Sequence : in Wide_Character_Sequence) return Wide_Character_Set;

function To_Set (Singleton : in Wide_Character) return Wide_Character_Set;

function To_Sequence (Set : in Wide_Character_Set) return Wide_Character_Sequence;

-- Представление для сопоставления Wide_Character с Wide_Character: type Wide_Character_Mapping is private;

function Value (Map : in Wide_Character_Mapping; Element : in Wide_Character) return Wide_Character;

Identity : constant Wide_Character_Mapping;

function To_Mapping (From, To : in Wide_Character_Sequence) return Wide_Character_Mapping;

function To_Domain (Map : in Wide_Character_Mapping) return Wide_Character_Sequence;

function To_Range (Map : in Wide_Character_Mapping) return Wide_Character_Sequence;

type Wide_Character_Mapping_Function is access function (From : in Wide_Character) return Wide_Character;

private ... -- не определено языком end Ada.Strings.Wide_Maps;

В пункте контекста для каждого из пакетов Strings.Wide_Fixed, Strings.Wide_Bounded и Strings.Wide_Unbounded указан Strings.Wide_Maps вместо Strings.Maps.

Для каждого из пакетов Strings.Fixed, Strings.Bounded, Strings.Unbounded и Strings.Maps.Constants соответствующий пакет широких строк имеет то же содержимое, за исключением того, что

Wide_Space заменяет Space

Wide_Character заменяет Character

Wide_String заменяет String

Wide_Character_Set заменяет Character_Set

Wide_Character_Mapping заменяет Character_Mapping

Wide_Character_Mapping_Function заменяет Character_Mapping_Function

Wide_Maps заменяет Maps

Bounded_Wide_String заменяет Bounded_String

Null_Bounded_Wide_String заменяет Null_Bounded_String

To_Bounded_Wide_String заменяет To_Bounded_String

To_Wide_String заменяет To_String

Unbounded_Wide_String заменяет Unbounded_String

Null_Unbounded_Wide_String заменяет Null_Unbounded_String

Wide_String_Access заменяет String_Access

To_Unbounded_Wide_String заменяет To_Unbounded_String

Следующее дополнительное объявление присутствует в Strings.Wide_Maps.Wide_Constants:

Character_Set : constant Wide_Maps.Wide_Character_Set; --Содержит каждое значение Wide_Character WC такое, что Characters.Is_Character(WC) равно True

ПРИМЕЧАНИЯ

12 Если нулевая Wide_Character_Mapping_Function передается в любую из подпрограмм обработки Wide_String, Constraint_Error распространяется.

13 Каждая константа Wide_Character_Set в пакете Strings.Wide_Maps.Wide_Constants не содержит значений, выходящих за пределы части Character типа Wide_Character. Аналогично, каждая константа Wide_Character_Mapping в этом пакете является отображением тождества, когда применяется к любому элементу, выходящему за пределы части Character типа Wide_Character.