A.4.8 Wide_Wide_String Handling
{
AI95-00285-01}
{
AI95-00395-01}
{
AI05-0286-1}
Facilities for handling strings of Wide_Wide_Character elements are found
in the packages Strings.Wide_Wide_Maps, Strings.Wide_Wide_Fixed, Strings.Wide_Wide_Bounded,
Strings.Wide_Wide_Unbounded, and Strings.Wide_Wide_Maps.Wide_Wide_Constants,
and in the library functions Strings.Wide_Wide_Hash, Strings.Wide_Wide_Fixed.Wide_Wide_Hash,
Strings.Wide_Wide_Bounded.Wide_Wide_Hash, Strings.Wide_Wide_Unbounded.Wide_Wide_Hash,
Strings.Wide_Wide_Hash_Case_Insensitive, Strings.Wide_Wide_Fixed.Wide_Wide_Hash_Case_Insensitive,
Strings.Wide_Wide_Bounded.Wide_Wide_Hash_Case_Insensitive, Strings.Wide_Wide_Unbounded.Wide_Wide_Hash_Case_Insensitive,
Strings.Wide_Wide_Equal_Case_Insensitive, Strings.Wide_Wide_Fixed.Wide_Wide_Equal_Case_Insensitive,
Strings.Wide_Wide_Bounded.Wide_Wide_Equal_Case_Insensitive, and Strings.Wide_Wide_Unbounded.Wide_Wide_Equal_Case_Insensitive.
They provide the same string-handling operations as the corresponding
packages and functions for strings of Character elements.
Static Semantics
{
AI95-00285-01}
The library package Strings.Wide_Wide_Maps has the following declaration.
package Ada.Strings.Wide_Wide_Maps
is
pragma Preelaborate(Wide_Wide_Maps);
--
Representation for a set of Wide_Wide_Character values:
type Wide_Wide_Character_Set
is private;
pragma Preelaborable_Initialization(Wide_Wide_Character_Set);
Null_Set :
constant Wide_Wide_Character_Set;
type Wide_Wide_Character_Range
is
record
Low : Wide_Wide_Character;
High : Wide_Wide_Character;
end record;
--
Represents Wide_Wide_Character range Low..High
type Wide_Wide_Character_Ranges
is array (Positive
range <>)
of Wide_Wide_Character_Range;
function To_Set (Ranges :
in Wide_Wide_Character_Ranges)
return Wide_Wide_Character_Set;
function To_Set (Span :
in Wide_Wide_Character_Range)
return Wide_Wide_Character_Set;
function To_Ranges (Set :
in Wide_Wide_Character_Set)
return Wide_Wide_Character_Ranges;
function "=" (Left, Right : in Wide_Wide_Character_Set) return Boolean;
function "not" (Rig