CVS difference for ais/ai-00062.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00062.txt

--- ais/ai-00062.txt	1998/09/30 00:17:12	1.1
+++ ais/ai-00062.txt	1999/07/21 03:10:57	1.2
@@ -1,29 +1,30 @@
-!standard 03.04    (31)                               96-07-23  AI95-00062/03
+!standard 03.04    (31)                               99-07-20  AI95-00062/04
 !class binding interpretation 95-07-06
+!status Corrigendum 2000 99-07-20
 !status WG9 approved 95-06-14
 !status ARG approved 9-0-1  95-11-01
 !status received 95-07-06
 !subject Derived access types share the same pool
 
-!summary 95-07-06
+!summary
 
 A derived access type shares its parent's storage pool.
 
-!question 95-07-06
+!question
 
 NOTE 3.4(31) says, "If the parent type is an access type, then the
 parent and the derived type share the same storage pool..."
 This is clearly what we want, but I can't seem to prove it from
 the real rules (i.e. non-NOTES).
 
-!recommendation 95-07-06
+!recommendation
 
 A derived access type shares its parent's storage pool.
 
-!wording 95-07-06
+!wording
 
 
-!discussion 96-07-23
+!discussion
 
 NOTE 3.4(31) makes the intent clear.
 
@@ -48,7 +49,34 @@
 
 Note that no such upward incompatibility is documented in the AARM.
 
-!appendix 95-07-06
+!corrigendum 3.10(7)
+
+@drepl
+There are two kinds of access types, @i<access-to-object types>, whose values
+designate objects, and @i<access-to-subprogram> types, whose values designate
+subprograms. Associated with an access-to-object type is a @i<storage pool>;
+several access types may share the same storage pool. A storage pool is an area
+of storage used to hold dynamically allocated objects (called @i<pool elements>)
+created by allocators; storage pools are described further in 13.11, "Storage
+Management".
+@dby
+There are two kinds of access types, @i<access-to-object> types, whose values
+designate objects, and @i<access-to-subprogram> types, whose values designate
+subprograms. Associated with an access-to-object type is a @i<storage pool>;
+several access types may share the same storage pool. A derived access type
+shares the storage pool of its parent type. A storage pool is an area of
+storage used to hold dynamically allocated objects (called @i<pool elements>)
+created by allocators; storage pools are described further in 13.11, "Storage
+Management".
+
+
+!ACATS test
+
+Create a C-Test that checks that an item of the derived type can be allocated,
+converted to the parent type, and deallocated. Check that an item of the
+parent type can be allocated, converted to the derived type, and deallocated.
+
+!appendix
 
 !section 3.4(31)
 !subject Derived access types should share the same pool

Questions? Ask the ACAA Technical Agent