CVS difference for ais/ai-00442.txt
--- ais/ai-00442.txt 2005/10/31 05:14:32 1.1
+++ ais/ai-00442.txt 2005/12/15 02:44:22 1.2
@@ -1,4 +1,4 @@
-!standard 3.2 (02) 05-10-25 AI95-00442/01
+!standard 3.2 (02) 05-11-22 AI95-00442/02
!standard 3.2 (10)
!standard 3.2 (11)
!standard 3.2 (13)
@@ -15,7 +15,7 @@
!standard 12.5.5 (01)
!class amendment 05-10-25
!status Amendment 200Y 05-10-25
-!comment This AI is not yet approved, but is included in the Amendment.
+!status ARG Approved 5-0-3 05-11-19
!status work item 05-10-25
!status received 05-10-24
!priority High
@@ -81,20 +81,20 @@
Change 3.2(13) to:
There are other categories, such as "numeric" and "discriminated",
- which represent other classification dimensions, but do not fit
+ which represent other categorization dimensions, but do not fit
into the above strictly hierarchical picture.
-Add to the end of 3.4(1):
+Add a new paragraph after 3.4(1):
- ... A *class* of types is a set of types that is closed under
+ A *class* of types is a set of types that is closed under
derivation; that is, if the parent or a progenitor type of a
derived type belongs to a class, then so does the derived type.
By saying that a particular group of types forms a class,
- we are saying that all derivatives of such a type inherit
- the characteristics that define that class. The
+ we are saying that all derivatives of a type in the set inherit
+ the characteristics that define that set. The
more general term *category of types* is used for a set of types
whose defining characteristics are not necessarily inherited by
- derivatives; limited, abstract, and interface are all
+ derivatives; for example, limited, abstract, and interface are all
categories of types, but not classes of types.
Change 3.4(8) to:
@@ -183,24 +183,27 @@
@drepl
Types are grouped into @i<classes> of types, reflecting the similarity of their
-values and primitive operations. There exist several language-defined
-@i<classes> of types (see NOTES below). Elementary types are those whose values
-are logically indivisible; composite types are
-those whose values are composed of component values.
-@dby
-Types are grouped into @i<categories> of types.There exist several language-defined
-@i<categories> of types (see NOTES below), relecting the similarity of their
+values and primitive operations. There exist several
+@i<language-defined classes> of types (see NOTES below).
+@i<Elementary> types are those whose values
+are logically indivisible; @i<composite> types are
+those whose values are composed of @i<component> values.
+@dby
+Types are grouped into @i<categories> of types. There exist several
+@i<language-defined categories> of types (see NOTES below),
+relecting the similarity of their
values and primitive operations. Most categories of types form @i<classes> of
-types. Elementary types are those whose values
-are logically indivisible; composite types are
-those whose values are composed of component values.
+types. @i<Elementary> types are those whose values
+are logically indivisible; @i<composite> types are
+those whose values are composed of @i<component> values.
!corrigendum 3.2(10)
@drepl
@xindent<@s9<2 Any set of types that is closed under derivation (see 3.4) can be
called a "class" of types. However, only certain classes are used in the
-description of the rules of the language - generally those that have their own
+description of the rules of the language @emdash
+generally those that have their own
particular set of primitive operations (see 3.2.3), or that correspond to a set
of types that are matched by a given kind of generic formal type (see 12.5).
The following are examples of "interesting" @i<language-defined classes>:
@@ -214,7 +217,8 @@
@xindent<@s9<2 Any set of types can be called a "category" of types, and any
set of types that is closed under derivation (see 3.4) can be
called a "class" of types. However, only certain categories and classes are
-used in the description of the rules of the language - generally those that
+used in the description of the rules of the language @emdash
+generally those that
have their own particular set of primitive operations (see 3.2.3), or that
correspond to a set of types that are matched by a given kind of generic formal
type (see 12.5). The following are examples of "interesting"
@@ -242,7 +246,7 @@
picture.>>
@dby
@xindent<@s9<There are other categories, such as "numeric" and "discriminated",
-which represent other classification dimensions, but do not fit
+which represent other categorization dimensions, but do not fit
into the above strictly hierarchical picture.>>
!corrigendum 3.4(1)
@@ -259,11 +263,11 @@
derivation; that is, if the parent or a progenitor type of a
derived type belongs to a class, then so does the derived type.
By saying that a particular group of types forms a class,
-we are saying that all derivatives of such a type inherit
-the characteristics that define that class. The
+we are saying that all derivatives of a type in the set inherit
+the characteristics that define that set. The
more general term @i<category of types> is used for a set of types
whose defining characteristics are not necessarily inherited by
-derivatives; limited, abstract, and interface are all
+derivatives; for example, limited, abstract, and interface are all
categories of types, but not classes of types.
!corrigendum 3.4(8)
@@ -377,7 +381,7 @@
@i<Type Definition>@ @tab@i<Determined Category>@hr@hr
@b<limited private>@ @tabthe category of all types@hr
@b<private>@ @tabthe category of all nonlimited types@hr
-@b<tagged limited private>@ @tabthe category of tagged types@hr
+@b<tagged limited private>@ @tabthe category of all tagged types@hr
@b<tagged private>@ @tabthe category of all nonlimited tagged types
!corrigendum 12.5.1(24)
Questions? Ask the ACAA Technical Agent