A.3.1 The Packages Characters, Wide_Characters, and Wide_Wide_Characters

Static Semantics

The library package Characters has the following declaration:

2/5

{AI12-0414-1} package Ada.Characters is
with pragma Pure is(Characters);
end Ada.Characters;

3/2

{AI95-00395-01} The library package Wide_Characters has the following declaration:

4/5

{AI12-0414-1} package Ada.Wide_Characters is
with pragma Pure is(Wide_Characters);
end Ada.Wide_Characters;

5/2

{AI95-00395-01} The library package Wide_Wide_Characters has the following declaration:

6/5

{AI12-0414-1} package Ada.Wide_Wide_Characters is
with pragma Pure is(Wide_Wide_Characters);
end Ada.Wide_Wide_Characters;

Implementation Advice

7/3

{AI95-00395-01} {AI05-0185-1} If an implementation chooses to provide implementation-defined operations on Wide_Character or Wide_String (such as 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

{AI95-00395-01} The packages Wide_Characters and Wide_Wide_Characters are new.

Ada 2005 and 2012 Editions sponsored in part by Ada-Europe