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
{00395AI95−00395−01} 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
{00395AI95−00395−01} 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
{00395AI95−00395−01} 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.

7.a/2

Implementation Advice: Implementation−defined operations on Wide_Character, Wide_String, Wide_Wide_Character, and Wide_Wide_String should be child units of Wide_Characters or Wide_Wide_Characters.
Extensions to Ada 95

7.b/2

{00395AI95−00395−01} {extensions to Ada 95} The packages Wide_Characters and Wide_Wide_Characters are new.