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

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

--- ai12s/ai12-0330-1.txt	2019/04/06 05:07:25	1.1
+++ ai12s/ai12-0330-1.txt	2019/04/10 00:06:13	1.2
@@ -118,7 +118,7 @@
 ***************************************************************
 
 From: Randy Brukardt
-Sent: Friday, April 4, 2019  11:02 PM
+Sent: Friday, April 5, 2019  11:02 PM
 
 ...
 >Heres a shot at the items that I suggested.  No doubt as everyone 
@@ -153,5 +153,91 @@
 
 I'm pretty sure we can't put emojies into the Standard; probably can't refer 
 to GNAT either. ;-)
+
+***************************************************************
+
+From: Jeff Cousins
+Sent: Saturday, April 6, 2019  3:49 AM
+
+>>The execution of a construct that includes the finalisation of local objects 
+>>(after completion but before leaving).
+
+>We just had a long discussion of 's' vs. 'z' in "finalization". Hope we don't 
+have another one. :-)
+ 
+Id deliberately typed z in deference to my American colleagues, but the 
+spell-checker must have auto-corrected it.
+
+***************************************************************
+
+From: Jeff Cousins
+Sent: Saturday, April 6, 2019  12:04 PM
+
+> Great, but that doesn't include anything NEW, which seems to be the 
+> most critical need.
+ 
+I actually see the newer terms as being less important as they're for the more 
+advanced users, whereas some of the older terms are building blocks for how 
+Ada views the world, and should have been in the glossary years ago.
+
+I would prefer the authors of the relevant AIs to state their intended 
+meaning rather than me potentially second-guessing them, but I've had a go at 
+a few of them.
+
+> Glossary entries are actually given in as AARM notes next to the formal 
+> definition 
+ 
+Im hoping that the glossary terms are more user-friendly than the sometimes 
+convoluted words of the formal definition.
+
+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).
 
 ***************************************************************

Questions? Ask the ACAA Technical Agent