CVS difference for ais/ai-00137.txt

Differences between 1.10 and version 1.11
Log of other versions for file ais/ai-00137.txt

--- ais/ai-00137.txt	2000/07/13 04:31:28	1.10
+++ ais/ai-00137.txt	2000/08/01 05:39:33	1.11
@@ -1,4 +1,4 @@
-!standard 13.01    (10-11)                            00-07-07  AI95-00137/06
+!standard 13.01    (10-11)                            00-07-31  AI95-00137/07
 !class binding interpretation 96-05-07
 !status Corrigendum 2000 99-07-28
 !status WG9 approved 96-12-07
@@ -8,7 +8,7 @@
 !priority High
 !difficulty Medium
 !qualifier Error
-!subject Attribute definition clause for Stream Attributes
+!subject Attribute definition clause for stream attributes
 
 !summary
 
@@ -47,7 +47,7 @@
 !discussion
 
 The intent of 13.1(10) is to forbid two types from having different
-representation in certain cases.  However, the stream-oriented
+representation in certain cases. However, the stream-oriented
 attributes, although they are formally defined to be "representation
 attributes", do not actually affect the representation of the type.
 Therefore, there is no need for 13.1(10) to apply to these attributes.
@@ -56,8 +56,9 @@
 
 The definition of stream attributes as "representation attributes" has
 proven to be a continuing problem. Several issues have made it necessary
-to exempt stream attributes from the rules for representation attributes,
-enough that it is clear that they are not representation attributes. Therefore,
+to exempt stream attributes from the rules for representation attributes;
+indeed the number of such exemptions makes it clear that it is confusing to
+classify them as representation attributes. Therefore,
 we have taken the major step of defining a new kind of attribute, the
 "operational attributes", and redefining stream attributes to be of this kind.
 
@@ -65,7 +66,7 @@
 unchanged, so that these rules do not apply to operational items. None
 of these rules are necessary for these attributes. We've also left 3.8(11)
 unchanged, as an operational item cannot occur here. Changes to 13.1(15) and
-13.1(18) are found in the related 8652/0040 (AI-00108).
+13.1(18) are found in 8652/0040 (AI-00108).
 
 !corrigendum  3.08(05)
 
@@ -133,8 +134,8 @@
 This section describes features for querying and controlling aspects of
 representation and for interfacing to hardware.
 @dby
-This section describes features for querying and controlling aspects of
-entities and for interfacing to hardware.
+This section describes features for querying and controlling certain aspects
+of entities and for interfacing to hardware.
 
 !corrigendum 13.01(00)
 
@@ -146,8 +147,8 @@
 !corrigendum 13.01(01)
 
 @drepl
-There are three kinds of @i<representation items>: @fa<representation_clauses>,
-@fa<component_clauses>, and @i<representation pragmas>. Representation items
+There are three kinds of @i<representation items>: @fa<representation_clause>s,
+@fa<component_clause>s, and @i<representation pragmas>. Representation items
 specify how the types and other entities of the language are to be mapped onto
 the underlying machine. They can be provided to give more efficient
 representation or to interface with features that are outside the domain of
@@ -212,8 +213,8 @@
 an @fa<attribute_designator>, then it shall resolve to denote an
 implementation-defined component (see 13.5.1) or a class-wide type implicitly
 declared immediately within the same @fa<declarative_region> as the
-representation item.  A @fa<local_name> that is a
-@fa<@i<library_unit>_name> (only permitted in a representation pragma) shall
+representation item. A @fa<local_name> that is a
+@i<library_unit_>@fa<name> (only permitted in a representation pragma) shall
 resolve to denote the @fa<library_item> that immediately precedes (except for
 other pragmas) the representation pragma.
 @dby
@@ -225,7 +226,7 @@
 implementation-defined component (see 13.5.1) or a class-wide type implicitly
 declared immediately within the same @fa<declarative_region> as the
 item. A @fa<local_name> that is a
-@fa<@i<library_unit>_name> (only permitted in a representation pragma) shall
+@i<library_unit_>@fa<name> (only permitted in a representation pragma) shall
 resolve to denote the @fa<library_item> that immediately precedes (except for
 other pragmas) the representation pragma.
 
@@ -259,9 +260,9 @@
 A representation item @i<directly specifies> an @i<aspect of representation> of
 the entity denoted by the @fa<local_name>, except in the case of a type-related
 representation item, whose @fa<local_name> shall denote a first subtype, and
-which directly specifies an aspect of the subtype's type.  A representation
+which directly specifies an aspect of the subtype's type. A representation
 item that names a subtype is either @i<subtype-specific> (Size and Alignment
-clauses) or @i<type-related> (all others).  Subtype-specific aspects may differ
+clauses) or @i<type-related> (all others). Subtype-specific aspects may differ
 for different subtypes of the same type.
 @dinst
 An operational item @i<directly specifies> an @i<operational aspect> of the
@@ -366,18 +367,20 @@
 !corrigendum 13.04(11)
 
 @drepl
+@xindent<NOTES@hr
 11 Unchecked_Conversion may be used to query the internal codes used
 for an enumeration type. The attributes of the type, such as Succ,
 Pred, and Pos, are unaffected by the @fa<representation_clause>. For
-example, Pos always returns the position number, not the internal
-integer code that might have been specified in a @fa<representation_clause>.
+example, Pos always returns the position number, @i<not> the internal
+integer code that might have been specified in a @fa<representation_clause>.>
 @dby
+@xindent<NOTES@hr
 11 Unchecked_Conversion may be used to query the internal codes used
 for an enumeration type. The attributes of the type, such as Succ,
 Pred, and Pos, are unaffected by the @fa<enumeration_representation_clause>. For
-example, Pos always returns the position number, not the internal
+example, Pos always returns the position number, @i<not> the internal
 integer code that might have been specified in an
-@fa<enumeration_representation_clause>.
+@fa<enumeration_representation_clause>.>
 
 !corrigendum 13.11(12)
 

Questions? Ask the ACAA Technical Agent