CVS difference for ais/ai-20302.txt
--- ais/ai-20302.txt 2004/05/29 00:38:41 1.6
+++ ais/ai-20302.txt 2004/07/27 23:01:10 1.7
@@ -1,5 +1,6 @@
-!standard A.17 04-05-13 AI95-00302-03/04
+!standard A.17 04-06-29 AI95-00302-03/05
!class amendment 04-01-14
+!comment Date is provisional.
!status work item 04-01-14
!status received 04-01-14
@@ -563,6 +564,8 @@
+The type Vector needs finalization (see 7.6).
Empty_Vector represents the empty vector container. It has a length of 0. If an
object of type Vector is not otherwise initialized, it will be initialized to
the same value as Empty_Vector.
@@ -1443,6 +1446,8 @@
+The type List needs finalization (see 7.6).
Empty_List represents the empty list. If an object of type List is not
otherwise initialized, it will be initialized to the same value as
@@ -1973,6 +1978,7 @@
designate nodes, but also can be thought of as designating an element (the
element contained in the node) for consistency with the other containers.
+The type Map needs finalization (see 7.6).
The expected implementation for a Map uses a hash table which is grown when
@@ -2510,6 +2516,8 @@
... -- not specified by the language
+The type Set needs finalization (see 7.6).
Functions "<" and "=" on Element_Type values are expected to return the same
result value each time they are called with a particular pair of element
Questions? Ask the ACAA Technical Agent