CVS difference for ais/ai-00445.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00445.txt

--- ais/ai-00445.txt	2006/01/10 22:17:53	1.1
+++ ais/ai-00445.txt	2006/02/21 04:21:56	1.2
@@ -1,4 +1,4 @@
-!standard D.5.2(1)                                      06-01-10  AI95-00445/01
+!standard D.5.2(1)                                      06-01-18  AI95-00445/02
 !class Amendment 06-01-10
 !status Amendment 200Y 06-01-10
 !comment This will be included in draft 16 of the Amendment.
@@ -33,11 +33,11 @@
 
 Add a new paragraph to the dynamic semantics of D.5.2 as defined by AI-327:
 
-If the locking policy Ceiling_Locking is in effect then for protected
-objects with either an Attach_Handler or Interrupt_Handler pragma applying
-to one of its procedures, a check is made that the value to be assigned to
-'Priority is in the range System.Interrupt_Priority. If the check fails,
-Program_Error is raised.
+If the locking policy Ceiling_Locking (see D.3) is in effect, then for a
+protected object P with either an Attach_Handler or Interrupt_Handler pragma
+applying to one of its procedures, a check is made that the value to be
+assigned to P'Priority is in the range System.Interrupt_Priority. If the
+check fails, Program_Error is raised.
 
 !corrigendum D.5.2(01)
 !comment Dummy paragraph to force a conflict. The real change is recorded in

Questions? Ask the ACAA Technical Agent