A.3.1 The Packages Characters, Wide_Characters, and Wide_Wide_CharactersThe 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/3
{
AI95-00395-01}
{
AI05-0185-1}
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}
The packages Wide_Characters
and Wide_Wide_Characters are new.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe
