CVS difference for ais/ai-00360.txt

--- ais/ai-00360.txt	2003/10/29 00:39:14	1.1
+++ ais/ai-00360.txt	2003/11/19 21:50:55	1.2
@@ -1,17 +1,17 @@
-!standard 07.06(09)                                    03-10-08  AI95-00360/01
+!standard 07.06(09)                                    03-11-04  AI95-00360/02
 !standard D.07(04)
 !class binding interpretation 03-10-08
 !status work item 03-10-08
 !status received 03-10-08
 !priority Medium
 !difficulty Easy
-!subject Quasi-controlled types
+!subject Types that need finalization
 
 !summary
 
-Some types are defined to be *quasi-controlled*. The restriction
+Some types are defined to *need finalization*. The restriction
 No_Nested_Finalization is defined in terms of quasi-controlled types. A number
-of language-defined types are defined to be *quasi-controlled*.
+of language-defined types are defined to need finalization.
 
 !question
 
@@ -31,65 +31,64 @@
 
 Insert after 7.6(9):
 
-A type is said to be *quasi-controlled* if:
+A type is said to *need finalization* if:
 
 o  it is a controlled type; or
 
-o  it has quasi-controlled subcomponents; or
+o  it has subcomponents that need finalization; or
 
-o  it has an access discriminant whose designated subtype is quasi-controlled;
-   or
+o  it has an access discriminant whose designated subtype needs finalization; or
 
 o  it is one of a number of language-defined types that are explicitly defined
-   to be quasi-controlled.
+   to need finalization.
 
 
 Insert after A.4.5(72):
 
-The type Unbounded_String is quasi-controlled.
+The type Unbounded_String needs finalization.
 
 
 Insert after A.8.1(16):
 
-The type File_Type is quasi-controlled in every instantiation of Sequential_IO.
+The type File_Type needs finalization in every instantiation of Sequential_IO.
 
 
 Insert after A.8.4(19):
 
-The type File_Type is quasi-controlled in every instantiation of Direct_IO.
+The type File_Type needs finalization in every instantiation of Direct_IO.
 
 
 Insert after A.10.1(85):
 
-The type File_Type is quasi-controlled.
+The type File_Type needs finalization.
 
 
 Insert after A.12.1(27):
 
-The type File_Type is quasi-controlled.
+The type File_Type needs finalization.
 
 
 Replace D.7(4) by:
 
 No_Nested_Finalization
 
-Objects of a quasi-controlled type and access types that designate a
-quasi-controlled type shall be declared only at library level.
+Objects of a type that needs finalization and access types that designate a type
+that needs finalization shall be declared only at library level.
 
 
 Add in the Static Semantics of D.15 (AI 297):
 
-The type Timing_Event is quasi-controlled.
+The type Timing_Event needs finalization.
 
 
 Add in the Static Semantics of D.14 (AI 207):
 
-The type Timer is quasi-controlled.
+The type Timer needs finalization.
 
 
 Add in the Static Semantics of AI 354:
 
-The type Group_Timer is quasi-controlled.
+The type Group_Timer needs finalization.
 
 
 !discussion