Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
 
Ada Reference ManualLegal Information
Contents   Index   References   Search   Previous   Next 

A.4.8 Wide_Wide_String Handling

1/3
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

2/2
The library package Strings.Wide_Wide_Maps has the following declaration.
3/2
package Ada.Strings.Wide_Wide_Maps is
   pragma Preelaborate(Wide_Wide_Maps);
4/2
   -- Representation for a set of Wide_Wide_Character values:
   type Wide_Wide_Character_Set is private;
   pragma Preelaborable_Initialization(Wide_Wide_Character_Set);
5/2
   Null_Set : constant Wide_Wide_Character_Set;
6/2
   type Wide_Wide_Character_Range is
      record
         Low  : Wide_Wide_Character;
         High : Wide_Wide_Character;
      end record;
   -- Represents Wide_Wide_Character range Low..High
7/2
   type Wide_Wide_Character_Ranges is array (Positive range <>)
         of Wide_Wide_Character_Range;
8/2
   function To_Set (Ranges : in Wide_Wide_Character_Ranges)
         return Wide_Wide_Character_Set;
9/2
   function To_Set (Span : in Wide_Wide_Character_Range)
         return Wide_Wide_Character_Set;
10/2
   function To_Ranges (Set : in Wide_Wide_Character_Set)
         return Wide_Wide_Character_Ranges;
11/2
   function "=" (Left, Right : in Wide_Wide_Character_Set) return Boolean;
12/2
   function "not" (Right : in Wide_Wide_Character_Set)
         return Wide_Wide_Character_Set;
   function "and" (Left, Right : in Wide_Wide_Character_Set)
         return Wide_Wide_Character_Set;
   function "or" (Left, Right : in Wide_Wide_Character_Set)
         return Wide_Wide_Character_Set;
   function "xor" (Left, Right : in Wide_Wide_Character_Set)
         return Wide_Wide_Character_Set;
   function "-" (Left, Right : in Wide_Wide_Character_Set)
         return Wide_Wide_Character_Set;
13/2
   function Is_In (Element : in Wide_Wide_Character;
                   Set     : in Wide_Wide_Character_Set)
         return Boolean;
14/2
   function Is_Subset (Elements : in Wide_Wide_Character_Set;
                       Set      : in Wide_Wide_Character_Set)
         return Boolean;
15/2
   function "<=" (Left  : in Wide_Wide_Character_Set;
                  Right : in Wide_Wide_Character_Set)
         return Boolean renames Is_Subset;
16/2
   -- Alternative representation for a set of Wide_Wide_Character values:
   subtype Wide_Wide_Character_Sequence is Wide_Wide_String;
17/2
   function To_Set (Sequence : in Wide_Wide_Character_Sequence)
         return Wide_Wide_Character_Set;
18/2
   function To_Set (Singleton : in Wide_Wide_Character)
         return Wide_Wide_Character_Set;
19/2
   function To_Sequence (Set : in Wide_Wide_Character_Set)
         return Wide_Wide_Character_Sequence;
20/2
   -- Representation for a Wide_Wide_Character to Wide_Wide_Character
   -- mapping:
   type Wide_Wide_Character_Mapping is private;
   pragma Preelaborable_Initialization(Wide_Wide_Character_Mapping);
21/2
   function Value (Map     : in Wide_Wide_Character_Mapping;
                   Element : in Wide_Wide_Character)
         return Wide_Wide_Character;
22/2
   Identity : constant Wide_Wide_Character_Mapping;
23/2
   function To_Mapping (From, To : in Wide_Wide_Character_Sequence)
         return Wide_Wide_Character_Mapping;
24/2
   function To_Domain (Map : in Wide_Wide_Character_Mapping)
         return Wide_Wide_Character_Sequence;
25/2
   function To_Range (Map : in Wide_Wide_Character_Mapping)
         return Wide_Wide_Character_Sequence;
26/2
   type Wide_Wide_Character_Mapping_Function is
         access function (From : in Wide_Wide_Character)
         return Wide_Wide_Character;
27/2
private
   ... -- not specified by the language
end Ada.Strings.Wide_Wide_Maps;
28/2
 The context clause for each of the packages Strings.Wide_Wide_Fixed, Strings.Wide_Wide_Bounded, and Strings.Wide_Wide_Unbounded identifies Strings.Wide_Wide_Maps instead of Strings.Maps.
28.1/3
   Types Wide_Wide_Character_Set and Wide_Wide_Character_Mapping need finalization.
29/3
 For each of the packages Strings.Fixed, Strings.Bounded, Strings.Unbounded, and Strings.Maps.Constants, and for library functions Strings.Hash, Strings.Fixed.Hash, Strings.Bounded.Hash, Strings.Unbounded.Hash, Strings.Hash_Case_Insensitive, Strings.Fixed.Hash_Case_Insensitive, Strings.Bounded.Hash_Case_Insensitive, Strings.Unbounded.Hash_Case_Insensitive, Strings.Equal_Case_Insensitive, Strings.Fixed.Equal_Case_Insensitive, Strings.Bounded.Equal_Case_Insensitive, and Strings.Unbounded.Equal_Case_Insensitive, the corresponding wide wide string package or function has the same contents except that
30/2
Wide_Wide_Space replaces Space
31/2
Wide_Wide_Character replaces Character
32/2
Wide_Wide_String replaces String
33/2
Wide_Wide_Character_Set replaces Character_Set
34/2
Wide_Wide_Character_Mapping replaces Character_Mapping
35/2
Wide_Wide_Character_Mapping_Function replaces Character_Mapping_Function
36/2
Wide_Wide_Maps replaces Maps
37/2
Bounded_Wide_Wide_String replaces Bounded_String
38/2
Null_Bounded_Wide_Wide_String replaces Null_Bounded_String
39/2
To_Bounded_Wide_Wide_String replaces To_Bounded_String
40/2
To_Wide_Wide_String replaces To_String
41/2
Set_Bounded_Wide_Wide_String replaces Set_Bounded_String
42/2
Unbounded_Wide_Wide_String replaces Unbounded_String
43/2
Null_Unbounded_Wide_Wide_String replaces Null_Unbounded_String
44/2
Wide_Wide_String_Access replaces String_Access
45/2
To_Unbounded_Wide_Wide_String replaces To_Unbounded_String
46/2
Set_Unbounded_Wide_Wide_String replaces Set_Unbounded_String
47/2
 The following additional declarations are present in Strings.Wide_Wide_Maps.Wide_Wide_Constants:
48/2
Character_Set : constant Wide_Wide_Maps.Wide_Wide_Character_Set;
-- Contains each Wide_Wide_Character value WWC such that
-- Characters.Conversions.Is_Character(WWC) is True
Wide_Character_Set : constant Wide_Wide_Maps.Wide_Wide_Character_Set;
-- Contains each Wide_Wide_Character value WWC such that
-- Characters.Conversions.Is_Wide_Character(WWC) is True
49/2
 Each Wide_Wide_Character_Set constant in the package Strings.Wide_Wide_Maps.Wide_Wide_Constants contains no values outside the Character portion of Wide_Wide_Character. Similarly, each Wide_Wide_Character_Mapping constant in this package is the identity mapping when applied to any element outside the Character portion of Wide_Wide_Character.
50/2
 Pragma Pure is replaced by pragma Preelaborate in Strings.Wide_Wide_Maps.Wide_Wide_Constants.
NOTES
51/2
17  If a null Wide_Wide_Character_Mapping_Function is passed to any of the Wide_Wide_String handling subprograms, Constraint_Error is propagated. 

Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe