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

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0320-1.txt

--- ai12s/ai12-0320-1.txt	2019/03/09 05:06:10	1.3
+++ ai12s/ai12-0320-1.txt	2019/03/12 00:32:55	1.4
@@ -1,4 +1,4 @@
-!standard 4.10(3.1/5)                                    19-03-08  AI12-0320-1/02
+!standard 4.10(3.1/5)                                    19-03-11  AI12-0320-1/03
 !standard 4.10(6/5)
 !standard 5.5.3(11/5)
 !standard C.1(2)
@@ -7,6 +7,7 @@
 !standard E.2.1(7.1/4)
 !class binding interpretation 19-03-06
 !status Amendment 1-2012 19-03-06
+!status ARG Approved 10-0-0  19-03-11
 !status work item 19-03-06
 !status received 19-03-05
 !priority Low
@@ -148,7 +149,7 @@
 
 Modify C.3.2(24/3):
 
-{The implementation shall document, if}[If] the Ceiling_Locking policy (see D.3) 
+{The implementation shall document, when}[If] the Ceiling_Locking policy (see D.3) 
 is in effect, [the implementation shall document ]the default ceiling priority 
 assigned to a protected object that contains a protected procedure that specifies 
 either the Attach_Handler or Interrupt_Handler aspects, but does not specify the 
@@ -206,7 +207,7 @@
 either the Attach_Handler or Interrupt_Handler aspects, but does not specify the 
 Interrupt_Priority aspect.
 @dby
-The implementation shall document, if the Ceiling_Locking policy (see D.3) 
+The implementation shall document, when the Ceiling_Locking policy (see D.3) 
 is in effect, the default ceiling priority 
 assigned to a protected object that contains a protected procedure that specifies 
 either the Attach_Handler or Interrupt_Handler aspects, but does not specify the 

Questions? Ask the ACAA Technical Agent