CVS difference for arm/source/rm_term.mss

Differences between 1.1 and version 1.2
Log of other versions for file arm/source/rm_term.mss

--- arm/source/rm_term.mss	2022/05/14 04:06:53	1.1
+++ arm/source/rm_term.mss	2022/06/21 06:08:04	1.2
@@ -1,8 +1,8 @@
 @Part(RM_Term, Root="ada.mss")
-@Comment{$Date: 2022/05/14 04:06:53 $}
+@Comment{$Date: 2022/06/21 06:08:04 $}
 @Comment{$Source: e:\\cvsroot/ARM/Source/rm_term.mss,v $}
-@Comment{$Revision: 1.1 $}
+@Comment{$Revision: 1.2 $}
 @Comment{The RM version of "Terms and Definitions". Note that the ISO version 
 only shares generated content, so we don't try to share any part of this
@@ -41,13 +41,33 @@
 Mathematics, Second Edition> can be accessed on
 The ISBN number of the book is ISBN 1584883472.]}
+@ChgAdded{Version=[5],Text=[The definitions found in this subclause are
+short, descriptive definitions. These are most useful for comprehension when
+an exact meaning is not needed. More formal, detailed definitions are found in
+the body of the @IntlStdTitle; these are needed to determine the exact
+application of rules to constructs and entities.]}
+@ChgAdded{Version=[5],Text=[To see the difference, consider
+@ldquote@;aliased view@rdquote. The descriptive definition is
+@ldquote@;a view of an object that can be designated by an access value@rdquote.
+The formal definition is a lengthy paragraph in @RefSecNum{Access Types} that
+defines 10 separate constructs as aliased views. In order to reason about
+a language rule that requires an aliased view in a particular context, one
+needs to look at the list of constructs in order to determine if the object
+in hand is actually an aliased view. The descriptive definition is no help
+in this case.]}
-Each term defined in
-@Chg{Version=[5],New=[this subclause],Old=[@RefSecNum{Glossary}]}
-is marked like this.
+Each term defined in @RefSecNum{Glossary} is marked like this.
+@ChgAdded{Version=[5],Text=[Each term defined in this subclause is marked
+like this in the body of the AARM near its detailed formal definition.]}
@@ -91,19 +111,25 @@
 tests was previously known as the Ada Compiler Validation Capability (ACVC).],Old=[]}
+@Comment{The automatically generated terms and definitions (used to be the Glossary) follow.}
-@Comment{The automatically generated terms and definitions (used to be the Glossary) go here}.
+@LabeledAddedSubClause{Version=[5],Name=[Types, Objects, and their Properties]}
-@Comment{The following is temporary: it is just the old Glossary unchanged.}
-@ChgAdded{Version=[5],Text=[Following are informal descriptions 
-of some of the terms used in this @IntlStdTitle.
-The index provides references to more formal definitions
-of all of the terms used in this @IntlStdTitle.]}
+@LabeledAddedSubClause{Version=[5],Name=[Subprograms and their Properties]}
+@LabeledAddedSubClause{Version=[5],Name=[Other Syntactic constructs]}
+@LabeledAddedSubClause{Version=[5],Name=[Runtime Actions]}
+@LabeledAddedSubClause{Version=[5],Name=[Exceptional Situations]}
-@Comment{@GlossaryList}@Comment{This changes the index and does not work anyway.}
-@Comment{End temporary part}.
\ No newline at end of file

Questions? Ask the ACAA Technical Agent