CVS difference for ai12s/ai12-0330-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0330-1.txt

--- ai12s/ai12-0330-1.txt	2019/05/07 23:18:30	1.3
+++ ai12s/ai12-0330-1.txt	2019/05/08 23:44:49	1.4
@@ -338,3 +338,117 @@
 is a constructed entity).
 
 ***************************************************************
+
+From: Jeff Cousins
+Sent: Wednesday, May 7, 2019  5:49 AM
+
+This was my list of where terms are defined:
+
+Attribute
+A characteristic or property of an entity that can be queried, and in some 
+cases specified.
+(First defined in 4.1.4).
+
+Check
+A test made during execution that some unusual condition has not occurred.
+(These are mentioned all over the place, but the place to talk about them 
+in general rather than specific checks looks to be 11 Exceptions).
+
+Default Initial Condition
+A condition that must hold true after the default initialization of an object. 
+(Defined in 7.3.3 (2.a/5).
+
+Logical Thread of Control
+To paraphrase Wikipedia:
+The smallest sequence of programmed instructions that can be scheduled 
+independently.
+(This is the successor to Task as the lowest level concurrent entity for most 
+purposes, but Task wasn't defined in the Glossary either.
+
+If we are going to define it, presumably it should go in 9 - 5.1 says see 9 
+for a definition, but there isn't (yet) a definition there).
+
+Master
+The execution of a construct that includes the finalization of local objects 
+(after completion but before leaving).
+(Defined in 7.6.1).
+
+Operational Aspect
+An aspect that defines properties of an entity other than representation 
+properties (see Representation Aspect).
+(Defined in 13.1).
+
+Parallel Construct
+A parallel construct is a construct that introduces additional logical threads 
+of control without creating a new task. Parallel loops and parallel block 
+statements are examples of parallel constructs.
+(Defined in 5.1).
+
+Reduction Expression
+A reduction expression maps or transforms a collection of values into a new 
+set of values, and then summarizes the values produced by applying an 
+operation to reduce the set to a single value result.
+(Defined in 4.5.10).
+
+Representation Aspect
+An aspect that affects how an entity is mapped onto the underlying hardware, 
+for example the size or alignment of an object.
+(Defined in 13.1).
+
+Subunit
+A body that can be compiled separately from its embracing library unit.
+(Defined in 10.1.3).
+
+Suppress
+To turn off a run-time check.
+(Defined in 10.5).
+
+***************************************************************
+
+From: Tucker Taft
+Sent: Wednesday, May 7, 2019  8:19 AM
+
+> ...
+>> We might want to verify that most of these terms also appear in the 
+>> index.
+>> At the moment, "logical thread of control" is not in the index.
+> 
+> It's not in the index because it is never defined in the Standard. 
+> It's used a lot, but there is nothing resembling a definition in 
+> either Chapter 5 or 9. So what would the index entry point to??
+
+I think it can still be useful to index all *uses* of a term, even if it isn't 
+felt necessary to have an Ada-specific definition of the term in the RM.
+
+> In general, it is helpful if one points out where each of these 
+> glossary items is defined (each entry appears in the AARM at that 
+> point, the actual glossary is a constructed entity.
+
+Sorry, I didn't know about that requirement.  I presume you figured that out.
+If not, it looks like Jeff might have done the work.
+
+***************************************************************
+
+From: Randy Brukardt
+Sent: Wednesday, May 7, 2019  2:13 PM
+
+> > It's not in the index because it is never defined in the Standard. 
+> > It's used a lot, but there is nothing resembling a definition in 
+> > either Chapter 5 or 9. So what would the index entry point to??
+> 
+> I think it can still be useful to index all *uses* of a term, even if 
+> it isn't felt necessary to have an Ada-specific definition of the term 
+> in the RM.
+
+The index, in general, does not index uses of a term. There are a few special
+cases where that is done (generally where the property is important to 
+users/implementers, like "implementation-defined" or "inconsistent"). And even 
+in those cases, there is an actual definition that is indexed first.
+
+There is no definition of any sort (even informal) in the RM; this glossary 
+entry is the first attempt at it. I suppose the glossary entry will get 
+indexed (I think that happens automatically), so perhaps that is good enough 
+(unless someone wants to take another swing at revising the intro to 
+Chapter 9).
+
+***************************************************************

Questions? Ask the ACAA Technical Agent