CVS difference for ais/ai-00394.txt

--- ais/ai-00394.txt	2005/11/16 06:51:15	1.6
+++ ais/ai-00394.txt	2005/12/15 02:44:17	1.7
@@ -1,4 +1,4 @@
-!standard D.07(09)                                    05-11-15  AI95-00394/05
+!standard D.07(09)                                    05-12-05  AI95-00394/06
 !standard D.07(10)
 !standard D.07(15)
 !standard D.13.1(01)
@@ -8,6 +8,7 @@
 !standard H.4(16)
 !standard H.4(23)
 !standard J.13(1)
+!standard 13.12(7)
 !class amendment 05-01-20
 !status Amendment 200Y 05-02-25
 !status ARG Approved 9-0-1  05-02-13
@@ -106,15 +107,22 @@
 
 An implementation of this Annex shall support:
 o  the restrictions defined in this subclause; and
-o  the following uses of restriction_parameter_identifier No_Dependence defined in
-   13.12.1: No_Dependence => Ada.Unchecked_Deallocation and
-   No_Dependence => Ada.Unchecked_Conversion; and
 o  the following restrictions defined in D.7: No_Task_Hierarchy,
    No_Abort_Statement, No_Implicit_Heap_Allocation; and
+o  the pragma Profile(Ravenscar); and
 o  the following uses of restriction_parameter_identifiers defined in D.7,
-   which are checked prior to program execution: Max_Task_Entries => 0,
-   Max_Asynchronous_Select_Nesting => 0, and Max_Tasks => 0; and
-o  the pragma Profile(Ravenscar).
+   which are checked prior to program execution:
+   *  Max_Task_Entries => 0,
+   *  Max_Asynchronous_Select_Nesting => 0, and
+   *  Max_Tasks => 0.
+
+Add the following after H.4(27):
+
+NOTES
+10  Uses of restriction_parameter_identifier No_Dependence defined in 13.12.1:
+No_Dependence => Ada.Unchecked_Deallocation and No_Dependence =>
+Ada.Unchecked_Conversion may be appropriate for high-integrity systems. Other
+uses of No_Dependence can also be appropriate for high-integrity systems.
 
 Add the following new static restriction_identifier after D.7(10):
 
@@ -171,6 +179,7 @@
                 No_Dependence => Ada.Execution_Time.Timers,
                 No_Dependence => Ada.Task_Attributes);
 
+"restrictions" in 13.12(7) should be in the times font.
 
 !discussion
 
@@ -185,6 +194,13 @@
 force is to ensure that any fall-back handler is executed at least once. Given
 that no tasks are meant to terminate this would seem to be sufficient.
 
+!corrigendum 13.12(7)
+
+@drepl
+The set of @fa<restrictions> is implementation defined.
+@dby
+The set of restrictions is implementation defined.
+
 !corrigendum D.7(10)
 !comment The AI-305 changes are made in the conflict text only.
 @drepl
@@ -296,22 +312,32 @@
 @dinst
 An implementation of this Annex shall support:
 @xbullet<the restrictions defined in this subclause; and>
-@xbullet<the following uses of @i<restriction_parameter_>@fa<identifier> No_Dependence defined in
-13.12.1: No_Dependence =@> Ada.Unchecked_Deallocation and No_Dependence =@>
-Ada.Unchecked_Conversion; and>
 @xbullet<the following restrictions defined in D.7: No_Task_Hierarchy,
 No_Abort_Statement, No_Implicit_Heap_Allocation; and>
+@xbullet<the @b<pragma> Profile(Ravenscar); and>
 @xbullet<the following uses of @i<restriction_parameter_>@fa<identifier>s
 defined in D.7, which are
-checked prior to program execution: Max_Task_Entries =@> 0,
-Max_Asynchronous_Select_Nesting =@> 0, and Max_Tasks =@> 0; and>
-@xbullet<the @b<pragma> Profile(Ravenscar).>
+checked prior to program execution:>
+@xinbull<Max_Task_Entries =@> 0,>
+@xinbull<Max_Asynchronous_Select_Nesting =@> 0, and>
+@xinbull<Max_Tasks =@> 0.>
+
+!corrigendum H.4(27)
 
+@dinsa
+
+@xindent<@s9<NOTES@hr
+10 Uses of @i<restriction_parameter_>@fa<identifier> No_Dependence defined in
+13.12.1:
+No_Dependence =@> Ada.Unchecked_Deallocation and No_Dependence =@>
+Ada.Unchecked_Conversion may be appropriate for high-integrity systems. Other
+uses of No_Dependence can also be appropriate for high-integrity systems.>>
+
 !corrigendum J.13(1)
 
 @dinsc
 
-The following @fa<restrictions> involve dependence on specific language-defined
+The following restrictions involve dependence on specific language-defined
 units. The more general restriction No_Dependence (see 13.12.1) should be
 used for this purpose.