CVS difference for ais/ai-00115.txt

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

--- ais/ai-00115.txt	1998/09/30 00:17:19	1.1
+++ ais/ai-00115.txt	1999/07/21 03:10:57	1.2
@@ -1,4 +1,4 @@
-!standard 03.09.01 (03)                               96-07-23  AI95-00115/00
+!standard 03.09.01 (03)                               99-05-28  AI95-00115/01
 !standard 07.06(04)
 !standard A(00)
 !class confirmation 96-04-04
@@ -10,18 +10,18 @@
 !difficulty Medium
 !subject Controlled types in language-defined generic packages
 
-!summary 96-04-04
+!summary
 
 A language-defined generic package may be instantiated at any nesting
 depth.
 
-!question 96-04-04
+!question
 
 May an implementation declare a controlled type in its implementation of
 a language-defined generic package?  (No.)  For example, may
 Ada.Sequential_IO.File_Type be a controlled type?  (No.)
 
-!response 96-04-04
+!response
 
 A language-defined generic package may be instantiated at any nesting
 depth.  This follows from the fact that the RM does not say otherwise.
@@ -42,8 +42,14 @@
 wrong.  It should instead call for Generator to have a component of a
 controlled type, declared in a (non-generic) package.
 
-!appendix 96-04-04
+!ACATS test
 
+Create C-Tests to check that all language defined generic units
+can be instantiated at other than the library level. Check for existing
+examples.
+
+!appendix
+
 !section 3.9.1(03)
 !subject Controlled types in language-defined generic packages
 !reference RM95-3.9.1(3)
@@ -277,12 +283,12 @@
 Robert Eachus wrote:
 
 > I agree with most of what Keith says, but:
-> 
+>
 > > Note, however, that implementations are advised to implement
 > > Ada.Numerics.Discrete_Random.Generator as a controlled type.
-> 
+>
 >  is misleading.   The RM says:
-> 
+>
 > "Any storage associated with an object of type Generator should be
 > reclaimed on exit from the scope of the object."
 

Questions? Ask the ACAA Technical Agent