CVS difference for ais/ai-00067.txt

Differences between 1.6 and version 1.7
Log of other versions for file ais/ai-00067.txt

--- ais/ai-00067.txt	2000/06/20 04:22:42	1.6
+++ ais/ai-00067.txt	2000/06/21 23:39:07	1.7
@@ -20,19 +20,19 @@
 
 !question
 
-The Real Time Systems annex says in D.7 (of the Max_Tasks and
+The Real Time Systems annex says in D.7(15) (of the Max_Tasks and
 Max_Asynchronous_Select_Nesting restrictions):
 
-15   If the following restrictions are violated, the behavior is
-implementation defined.  If an implementation chooses to detect such a
-violation, Storage_Error should be raised.
+  If the following restrictions are violated, the behavior is
+  implementation defined.  If an implementation chooses to detect such a
+  violation, Storage_Error should be raised.
 
-The Safety and Security annex says in H.4:
+The Safety and Security annex says in H.4(2):
 
-2   The following restrictions, the same as in D.7, apply in this Annex:
-No_Task_Hierarchy, No_Abort_Statement, No_Implicit_Heap_Allocation,
-Max_Task_Entries is 0, Max_Asynchronous_Select_Nesting is 0, and Max_Tasks is
-0.  The last three restrictions are checked prior to program execution.
+  The following restrictions, the same as in D.7, apply in this Annex:
+  No_Task_Hierarchy, No_Abort_Statement, No_Implicit_Heap_Allocation,
+  Max_Task_Entries is 0, Max_Asynchronous_Select_Nesting is 0, and Max_Tasks is
+  0.  The last three restrictions are checked prior to program execution.
 
 Suppose an implementation complies with both annexes.  Is the following
 example legal?  (No.)

Questions? Ask the ACAA Technical Agent