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.
Questions? Ask the ACAA Technical Agent