CVS difference for ai12s/ai12-0260-1.txt
--- ai12s/ai12-0260-1.txt 2018/03/02 06:46:46 1.4
+++ ai12s/ai12-0260-1.txt 2018/03/09 03:05:49 1.5
@@ -1,9 +1,12 @@
-!standard A.3.5(8/3) 18-03-01 AI12-0260-1/03
+!standard 1.2(8/3) 18-03-06 AI12-0260-1/04
+!standard A.3.5(8/3)
!standard A.3.5(20/3)
!standard A.3.5(21/3)
-!standard A.3.5(32/3)
-!standard A.3.5(59/3)
+!standard A.3.5(33/3)
+!standard A.3.5(61/3)
!class Amendment 18-02-27
+!status Amendment 1-2012 18-03-05
+!status ARG Approved 12-0-0 18-03-05
!status work item 18-02-27
!status received 15-03-20
!priority Low
@@ -15,7 +18,7 @@
!problem
-The functions Is_Basic and To_Basic were purposedly omitted for
+The functions Is_Basic and To_Basic were purposely omitted for
Wide_Character (and Wide_String) in Ada 95. However, with the
widespread use of ISO 10646, many programs use Wide_Character
when dealing with languages requiring accented letters. Proper
@@ -37,16 +40,16 @@
to do that too.]
Add after A.3.5(8/3):
- function Is_Basic (Item : in Wide_Character) return Boolean;
+ function Is_Basic (Item : Wide_Character) return Boolean;
Add after A.3.5 (20/3):
- function To_Basic (Item : in Wide_Character) return Wide_Character;
+ function To_Basic (Item : Wide_Character) return Wide_Character;
Add after A.3.5 (21/3):
- function To_Basic (Item : in Wide_String) return Wide_String;
+ function To_Basic (Item : Wide_String) return Wide_String;
-Add after A.3.5 (32/3)
- function Is_Basic (Item : in Wide_Character) return Boolean;
+Add after A.3.5 (33/3)
+ function Is_Basic (Item : Wide_Character) return Boolean;
Returns True if the Wide_Character designated by Item has no
Decomposition Mapping in the code charts of ISO/IEC 10646:2017;
@@ -57,10 +60,10 @@
Machine-readable (and normative!) versions of this can be found as
Character Decomposition Mapping, described in file
http://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt, field
- 5 (which is the 6th field, Unicode counts from zero).
+ 5 (which is the 6th item, Unicode counts from zero).
-Add after A.3.5 (59/3):
- function To_Basic (Item : in Wide_Character) return Wide_Character;
+Add after A.3.5 (61/3):
+ function To_Basic (Item : Wide_Character) return Wide_Character;
Returns the Wide_Character whose code point is given by the first
value of its Decomposition Mapping in the code charts of ISO/IEC
@@ -78,6 +81,71 @@
Note that these additions automatically apply to
Wide_Wide_Characters.Handling.
+
+!corrigendum 1.2(9/3)
+
+@drepl
+ISO/IEC 10646:2011, @i<Information technology @emdash Universal Multiple-Octet
+Coded Character Set (UCS)>.
+@dby
+ISO/IEC 10646:2017, @i<Information technology @emdash Universal Coded
+Character Set (UCS)>.
+
+!corrigendum A.3.5(8/3)
+
+@dinsa
+@xcode< @b<function> Is_Upper (Item : Wide_Character) @b<return> Boolean;>
+@dinst
+@xcode< @b<function> Is_Basic (Item : Wide_Character) @b<return> Boolean;>
+
+!corrigendum A.3.5(20/3)
+
+@dinsa
+@xcode< @b<function> To_Lower (Item : Wide_Character) @b<return> Wide_Character;
+ @b<function> To_Upper (Item : Wide_Character) @b<return> Wide_Character;>
+@dinst
+@xcode< @b<function> To_Basic (Item : Wide_Character) @b<return> Wide_Character;>
+
+!corrigendum A.3.5(21/3)
+
+@dinsa
+@xcode< @b<function> To_Lower (Item : Wide_String) @b<return> Wide_String;
+ @b<function> To_Upper (Item : Wide_String) @b<return> Wide_String;>
+@dinst
+@xcode< @b<function> To_Basic (Item : Wide_String) @b<return> Wide_String;>
+
+!corrigendum A.3.5(33/3)
+
+@dinsa
+@xindent<Returns True if the Wide_Character designated by Item is categorized
+as @fa<letter_uppercase>; otherwise returns False.>
+@dinss
+@xcode<@b<function> Is_Basic (Item : Wide_Character) @b<return> Boolean;>
+@xindent<Returns True if the Wide_Character designated by Item has no
+Decomposition Mapping in the code charts of ISO/IEC 10646:2017;
+otherwise returns False.>
+
+!corrigendum A.3.5(61/3)
+
+@dinsa
+@xindent<Returns the result of applying the To_Upper conversion to each
+Wide_Character element of the Wide_String designated by Item. The result is
+the null Wide_String if the value of the formal parameter is the null
+Wide_String. The lower bound of the result Wide_String is 1.>
+@dinss
+@xcode<@b<function> To_Basic (Item : Wide_Character) @b<return> Wide_Character;>
+
+@xindent<Returns the Wide_Character whose code point is given by the first
+value of its Decomposition Mapping in the code charts of ISO/IEC
+10646:2017 if any; returns Item otherwise.>
+
+@xcode<@b<function> To_Basic (Item : Wide_String) @b<return> Wide_String;>
+
+@xindent<Returns the result of applying the To_Basic conversion to each
+Wide_Character element of the Wide_String designated by Item. The
+result is the null Wide_String if the value of the formal parameter
+is the null Wide_String. The lower bound of the result Wide_String is 1.>
+
!ASIS
Questions? Ask the ACAA Technical Agent