CVS difference for 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