CVS difference for ai22s/ai22-0035-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai22s/ai22-0035-1.txt

--- ai22s/ai22-0035-1.txt	2022/01/27 06:52:53	1.1
+++ ai22s/ai22-0035-1.txt	2022/01/27 07:54:39	1.2
@@ -5,17 +5,18 @@
 !priority Low
 !difficulty Easy
 !qualifier Omission
-!subject 
+!subject Add "not null" to some Ada.Strings subprograms
 !summary
 
 [Editor's note: The purpose of this AI is to determine if this is a
 Binding Interpretation (applying to previous versions of the language even
 with a minor incompatibility) or whether it should be an Amendment (only
-applying to the next version of the language. Once determined, it will be
+applying to the next version of the language). Once determined, it will be
 assigned to someone to complete or shepard through the new UCI process,
 as appropriate.]
 
-Add "not null" to various routines in the Ada.Strings hierarchy.
+Add "not null" to various subprograms with Character_Mapping_Function
+parameters in the Ada.Strings hierarchy.
 
 !question
 
@@ -23,20 +24,16 @@
 Character_Mapping_Function will result in a Constraint_Error (specifically, 
 in A.4.3(109)). We could add "not null" to the parameter profiles where 
 Character_Mapping_Function is used and is required to be nonnull, which would
-be clearer.
+be clearer. Should we do this? (Yes.)
 
-.  Changing the type itself to be null
-excluding would be incompatible, but adding "not null" to the various 
-parameters would communicate the information as part of the subprogram
-contract.
-
 !recommendation
 
 (See Summary.)
 
 !wording
 
-*** I did not try to figure where "not null" would need to be added ***
+*** I did not try to figure where "not null" would need to be added;
+    a list of affected paragraphs is needed at a minimum. ***
 
 !discussion
 

Questions? Ask the ACAA Technical Agent