CVS difference for ai12s/ai12-0447-1.txt

--- ai12s/ai12-0447-1.txt	2023/01/21 07:32:43	1.5
+++ ai12s/ai12-0447-1.txt	2023/03/08 10:00:53	1.6
@@ -1,4 +1,4 @@
-!standard 3.9(29)                                       22-12-16  AI12-0447-1/02
+!standard 3.9(29)                                       23-03-01  AI12-0447-1/03
 !standard 3.9.1(8)
 !standard 3.9.1(9)
 !standard 3.9.3(12)
@@ -273,8 +273,8 @@
 
 Modify D.3(20):
 
-NOTE 3   {As described in C.3.1, a check is made whenever an interrupt
-is handled by one of the protected procedures of a protected object that
+NOTE 3   {As described in C.3.1, whenever an interrupt is handled by one of 
+the protected procedures of a protected object, a check is made that
 its}[The] ceiling priority {is}[of a protected object has to be] in the 
 Interrupt_Priority range[ if one of its procedures is to be used as an
 interrupt handler (see C.3)].
@@ -641,9 +641,9 @@
 in the  Interrupt_Priority range if one of its procedures is to be used as an
 interrupt handler (see C.3).>>
 @dby
-@xindent<@s9<NOTE 3 @  As described in C.3.1, a check is made whenever
-an interrupt is handled by one of the protected procedures of a protected
-object that its ceiling priority is in the Interrupt_Priority range.>>
+@xindent<@s9<NOTE 3 @  As described in C.3.1, whenever an interrupt is handled
+by one of the protected procedures of a protected object, a check is made that
+its ceiling priority is in the Interrupt_Priority range.>>
 
 !corrigendum D.5.1(18/3)
 
@@ -698,5 +698,25 @@
 These are just notes, no tests are needed.
 
 !appendix
+
+From: The Editor
+Posted: March 1, 2023
+
+It was suggested that the wording of D.3(20) is confusing. The wording
+originally was proposed as:
+
+   NOTE 3  As described in C.3.1, a check is made whenever
+   an interrupt is handled by one of the protected procedures of a protected
+   object that its ceiling priority is in the Interrupt_Priority range.
+
+The description of the check is split in half by the "whenever" part.
+This would be better worded with the check described all at once.
+
+   NOTE 3  As described in C.3.1, whenever an interrupt is handled by one of
+   the protected procedures of a protected object, a check is made that its 
+   ceiling priority is in the Interrupt_Priority range.
+
+This change has been handled as an editorial review change, as no change in
+meaning is intended.
 
 ****************************************************************