CVS difference for ais/ai-00280.txt

Differences between 1.4 and version 1.5
Log of other versions for file 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