CVS difference for ai05s/ai05-0013-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai05s/ai05-0013-1.txt

--- ai05s/ai05-0013-1.txt	2007/09/13 02:20:42	1.6
+++ ai05s/ai05-0013-1.txt	2007/10/26 01:37:57	1.7
@@ -1,4 +1,4 @@
-!standard 7.6(9.4/2)                                 07-05-29    AI05-0013-1/05
+!standard 7.6(9.4/2)                                 07-10-25    AI05-0013-1/06
 !standard D.7(4/2)
 !class binding interpretation 06-04-10
 !status work item 06-05-29
@@ -50,13 +50,62 @@
 
 Delete 7.6(9.4/2).
 
-Replace D.7(4/2) with:
+Replace D.7(3-10/2) with:
 
+No_Task_Hierarchy
+   All (nonenvironment) tasks shall depend directly on the environment task
+   of the partition.
+
+No_Nested_Finalization
    Objects of a type that needs finalization (see 7.6) shall be declared
-   only at library level. There are no allocators for an access type whose
-   designated type needs finalization if the access type does not have
+   only at library level. There shall be no allocators for an access type
+   whose designated type needs finalization if the access type does not have
    library-level accessibility.
 
+No_Abort_Statements
+   There shall be no abort_statements, and there shall be no calls on 
+   Task_Identification.Abort_Task.
+
+No_Terminate_Alternatives
+   There shall be no selective_accepts with terminate_alternatives.
+
+No_Task_Allocators
+   There shall be no allocators for task types or types containing task
+   subcomponents.
+
+No_Implicit_Heap_Allocations
+   There shall be no operations that implicitly require heap storage allocation
+   to be performed by the implementation. It is implementation defined which 
+   operations implicitly require heap storage allocation.
+
+No_Dynamic_Priorities
+   There shall be no semantic dependences on the package Dynamic_Priorities,
+   and no occurrences of the attribute Priority.
+
+No_Dynamic_Attachment
+   There shall be no call to any of the operations defined in package Interrupts
+   (Is_Reserved, Is_Attached, Current_Handler, Attach_Handler, Exchange_Handler,
+   Detach_Handler, and Reference).
+
+Replace D.7(10.3/2-10.7/2) with:
+
+No_Protected_Type_Allocators
+   There shall be no allocators for protected types or types containing protected
+   type subcomponents.
+
+No_Relative_Delay
+   There shall be no delay_relative_statements.
+
+No_Requeue_Statements
+   There shall be no requeue_statements.
+
+No_Select_Statements
+   There shall be no select_statements.
+
+No_Specific_Termination_Handlers
+   There shall be no calls to the Set_Specific_Handler and Specific_Handler 
+   subprograms in Task_Termination.
+
 !discussion
 
 Directly attempting to fix problem (2) leads into a rat-hole of bad or
@@ -73,6 +122,13 @@
 allocator. This is needed to take coextensions into account; the accessibility
 level is determined by an extensive set of rules and we certainly don't want to
 duplicate those.
+
+During editorial review it was noted that the wording of D.7 is weird
+because it uses sometimes "shall" and sometimes "is".  This is 
+inconsistent, and furthermore the meaning of "is" is unclear because we 
+don't know if it's describing a rule that the user must adhere to, or the 
+semantics of the language, or what (D.7(3) is especially bad).  So we are 
+fixing the entire section.
 
 !corrigendum 7.6(9.4/2)
 

Questions? Ask the ACAA Technical Agent