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
Questions? Ask the ACAA Technical Agent