CVS difference for ais/ai-00067.txt

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

--- ais/ai-00067.txt	1999/09/16 20:40:29	1.4
+++ ais/ai-00067.txt	2000/04/14 01:45:06	1.5
@@ -1,4 +1,4 @@
-!standard D.7      (15)                               99-09-15  AI95-00067/04
+!standard D.7      (15)                               00-04-11  AI95-00067/05
 !standard D.7      (17-19)
 !class binding interpretation 95-07-27
 !status Corrigendum 2000 99-07-28
@@ -29,10 +29,10 @@
 
 The Safety and Security annex says in H.4:
 
-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.
+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.
 
 Suppose an implementation complies with both annexes.  Is the following
 example legal?  (No.)
@@ -141,8 +141,8 @@
 @xhang<@xterm<Max_Storage_At_Blocking>
 Specifies the maximum portion (in storage elements) of a task's Storage_Size
 that can be retained by a blocked task. If an implementation chooses to detect
-such a violation, Storage_Error should be raised; otherwise, the behavior is
-implementation defined.>
+a violation of this restriction, Storage_Error should be raised; otherwise,
+the behavior is implementation defined.>
 
 !corrigendum D.07(18)
 
@@ -155,8 +155,9 @@
 Specifies the maximum dynamic nesting of @fa<asynchronous_select>s. A value of
 zero prevents the use of any @fa<asynchronous_select> and, if a program
 contains an @fa<asynchronous_select>, it is illegal. If an implementation
-chooses to detect such a violation for values other than zero, Storage_Error
-should be raised; otherwise, the behavior is implementation defined.>
+chooses to detect a violation of this restriction for values other than zero,
+Storage_Error should be raised; otherwise, the behavior is implementation
+defined.>
 
 !corrigendum D.07(19)
 
@@ -169,9 +170,9 @@
 Specifies the maximum number of task creations that may be executed over the
 lifetime of a partition, not counting the creation of the environment task. A
 value of zero prevents any task creation and, if a program contains a task
-creation, it is illegal. If an implementation chooses to detect such a
-violation for values other than zero, Storage_Error should be raised; otherwise,
-the behavior is implementation defined.>
+creation, it is illegal. If an implementation chooses to detect a violation
+of this restriction for values other than zero, Storage_Error should be raised;
+otherwise, the behavior is implementation defined.>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent