A.3.1 The Packages Characters, Wide_Characters, and Wide_Wide_Characters The Package 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
{
AI95-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
{
AI95-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
{
AI95-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
{
AI95-00395-01}
{extensions to Ada 95} The
packages Wide_Characters and Wide_Wide_Characters are new.
Sponsored by Ada-Europe