CVS difference for ais/ai-00280.txt
--- ais/ai-00280.txt 2003/03/04 04:56:22 1.4
+++ ais/ai-00280.txt 2004/02/21 04:15:09 1.5
@@ -242,8 +242,13 @@
!ACATS test
Create a C-Test to check that either Program_Error is raised or that the
-calls proceed normally. (We check this to insure that this case does not
-cause erroneous behavior.)
+calls proceed normally for protected objects. (We check this to insure that
+this case does not cause erroneous behavior.)
+
+Create a C-Test to check that Program_Error is raised if an allocator is
+evaluated after the finalization of the collection has started, and the
+object has a controlled or protected part. (We check this to insure that the
+implementation does not leave unfinalized objects around).
!appendix
Questions? Ask the ACAA Technical Agent