CVS difference for ais/ai-00280.txt

--- ais/ai-00280.txt	2004/11/25 00:03:32	1.9
+++ ais/ai-00280.txt	2005/06/16 23:47:21	1.10
@@ -1,4 +1,4 @@
-!standard   9.04 (20)                                  04-11-04  AI95-00280/05
+!standard   9.04 (20)                                  05-05-16  AI95-00280/06
 !standard   4.08 (11)
 !standard   7.06.01 (11)
 !standard  11.05 (20)
@@ -189,18 +189,18 @@
 If the created object contains any tasks, they are activated (see 9.2).
 Finally, an access value that designates the created object is returned.
 @dby
-If the object created by the @fa<allocator> has a controlled or protected part,
-and the finalization of the collection of the type of the @fa<allocator> (see
-7.6.1) has started, Program_Error is raised.
+If the object to be created by an @fa<allocator> has a controlled or protected
+part, and the finalization of the collection of the type of the @fa<allocator>
+(see 7.6.1) has started, Program_Error is raised.
 
 If the created object contains any tasks, and the master of the type
-of the @fa<allocator> has finished waiting for dependent tasks (see 9.3),
-Program_Error is raised.
+of the @fa<allocator> is completed, and all of the dependent tasks of the
+master are terminated (see 9.3), then Program_Error is raised.
 
 If the created object contains any tasks, they are activated (see 9.2).
 Finally, an access value that designates the created object is returned.
 
-@s8<@i<Bounded (Run-Time) Errors>>
+@i<@s8<Bounded (Run-Time) Errors>>
 
 It is a bounded error if the finalization of the collection of the type
 (see 7.6.1) of the @fa<allocator> has started. If the error is detected,
@@ -234,7 +234,8 @@
 Program_Error is raised at the place of the corresponding
 @fa<entry_call_statement>.
 @dinst
-@s8<@i<Bounded (Run-Time) Errors>>@hr
+@i<@s8<Bounded (Run-Time) Errors>>
+
 It is a bounded error to call an entry or subprogram of a protected object
 after that object is finalized. If the error is detected, Program_Error
 is raised. Otherwise, the call proceeds normally, which may leave a task queued
@@ -251,9 +252,9 @@
 @xhang<@xterm<Accessibility_Check>
 Check the accessibility level of an entity or view.>
 @xhang<@xterm<Allocation_Check>
-For an @fa<allocator>, check that the master of any tasks has not yet finished
-waiting for dependents, and that the finalization of the collection has not
-started.>
+For an @fa<allocator>, check that the master of any tasks created by the
+@fa<allocator> has not yet finished waiting for dependents, and that the
+finalization of the collection has not started.>
 
 !corrigendum 11.05(21)
 !comment This item is out of order, thus it has been moved.