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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0051-1.txt

--- ai12s/ai12-0051-1.txt	2012/12/04 07:11:09	1.1
+++ ai12s/ai12-0051-1.txt	2012/12/28 04:48:39	1.2
@@ -1,5 +1,7 @@
-!standard D.3(10/3)                                  12-12-04    AI12-0051-1/01
+!standard D.3(10/3)                                  12-12-27    AI12-0051-1/02
 !class binding interpretation 12-12-04
+!status Amendment 202x 12-12-27
+!status ARG Approved 10-0-0  12-12-06
 !status work item 12-12-04
 !status received 12-09-24
 !priority Low
@@ -7,8 +9,7 @@
 !subject The Priority aspect can be specified with Attach_Handler
 !summary
 
-The Priority aspect can be used in the protected type along with aspects
-Attach_Handler or Interrupt_Handler.
+The Priority aspect can specify the priority of an interrupt handler.
 
 !question
 
@@ -18,7 +19,7 @@
       with Priority => System.Priority'Last;
 
       procedure Handler
-         with Attach_Handler => 12;
+         with Attach_Handler => ...;
 
       entry Wait;
    private
@@ -38,11 +39,11 @@
 
 Modify D.3(10/3):
 
-If an Interrupt_Handler or Attach_Handler aspect pragma (see C.3.1) is specified
-for a protected subprogram of a protected type that does not have the {Priority
-or} Interrupt_Priority aspect specified, the initial priority of protected
-objects of that type is implementation defined, but in the range of the subtype
-System.Interrupt_Priority.
+If an Interrupt_Handler or Attach_Handler aspect (see C.3.1) is specified
+for a protected subprogram of a protected type that does not have {either}
+the {Priority or} Interrupt_Priority aspect specified, the initial priority of
+protected objects of that type is implementation defined, but in the range of
+the subtype System.Interrupt_Priority.
 
 !discussion
 
@@ -53,6 +54,20 @@
 pragma Priority illegal (which would be especially annoying if the
 given priority was in the appropriate range). Liberalizing D.3(10/3) has no
 such compatibility problem, so that is the fix we make.
+
+!corrigendum D.3(10/3)
+
+@drepl
+@xbullet<If an Interrupt_Handler or Attach_Handler aspect (see C.3.1) is specified
+for a protected subprogram of a protected type that does not have the Interrupt_Priority
+aspect specified, the initial priority of protected objects of that type is
+implementation defined, but in the range of the subtype System.Interrupt_Priority.>
+@dby
+@xbullet<If an Interrupt_Handler or Attach_Handler aspect (see C.3.1) is specified
+for a protected subprogram of a protected type that does not have either the Priority or
+Interrupt_Priority aspect specified, the initial priority of protected objects of that
+type is implementation defined, but in the range of the subtype System.Interrupt_Priority.>
+
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent