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