Next: , Previous: A.3, Up: A.3


A.3.1 The Packages Characters, Wide_Characters, and Wide_Wide_Characters

Static Semantics

1
The library package Characters has the following declaration:

2

     package Ada.Characters is
       pragma Pure(Characters);
     end Ada.Characters;

3/2
The library package Wide_Characters has the following declaration:

4/2

     package Ada.Wide_Characters is
       pragma Pure(Wide_Characters);
     end Ada.Wide_Characters;

5/2
The library package Wide_Wide_Characters has the following declaration:

6/2

     package Ada.Wide_Wide_Characters is
       pragma Pure(Wide_Wide_Characters);
     end Ada.Wide_Wide_Characters;
Implementation Advice

7/2
If an implementation chooses to provide implementation−defined operations on Wide_Character or Wide_String (such as case mapping, classification, collating and sorting, etc.) it should do so by providing child units of Wide_Characters. Similarly if it chooses to provide implementation−defined operations on Wide_Wide_Character or Wide_Wide_String it should do so by providing child units of Wide_Wide_Characters.