Version 1.1 of ai12s/ai12-0330-1.txt

Unformatted version of ai12s/ai12-0330-1.txt version 1.1
Other versions for file ai12s/ai12-0330-1.txt

!standard N(0)          19-04-05 AI12-0330-1/00
!class Amendment 15-06-03
!status work item 15-06-03
!status received 15-03-20
!priority Low
!difficulty Easy
!subject Add items to the Glossary
!summary
** TBD.
!problem
We've defined a number of new concepts in Ada 2020, among them "parallel constructs", "logical thread of control", "reduction", "default initial condition", and "stable property". At least some of these should be added to the Glossary.
!proposal
(See Summary.)
!wording
** TBD.
!discussion
!ASIS
[Not sure. It seems like some new capabilities might be needed, but I didn't check - Editor.]
!ACATS test
ACATS B- and C-Tests are needed to check that the new capabilities are supported.
!appendix

From: Randy Brukardt
Sent: Friday, March 8, 2019  7:39 PM

>Annex N I would like more items, such as Attribute, Check, Master, 
>Operational Aspect, Representation Aspect, Subunit, Suppress.  But I 
>think I had Annex N to review for Ada 2012 too and my request was 
>turned down then.

Some of those terms might be valuable, but I'd guess it would be even more 
useful to add some terms around parallel constructs, like say, "parallel 
construct" :-), "logical thread of control", and "reduction".

Do we have someone volunteering to propose some additional Glossary entries 
(including the definitions, silly :-)??

P.S. I believe that Jeff is away on "holiday", so we can't talk him into it 
today.

***************************************************************

From: Jeff Cousins
Sent: Thursday, April 4, 2019  8:49 PM

> You're right, of course, but we need Glossary entries for lots of things 
and I didn't get any volunteers when I asked last month.
 
Hereís a shot at the items that I suggested.  No doubt as everyone knows a 
bit about this everyone will comment.
 
Attribute
A characteristic or property of an entity that can be queried, and in some 
cases specified.  (I darenít tackle how this overlaps with aspect!).

Check
A test made during execution that some unusual condition has not occurred.

Master
The execution of a construct that includes the finalisation of local objects 
(after completion but before leaving).

Operational Aspect
Aspects other than Representation Aspects.

Representation Aspect
An aspect that affects how an entity is mapped onto the underlying hardware, 
for example the size or alignment of an object.

Subunit
A body that can be compiled separately from its embracing library unit. (Only 
GNAT doesnít ? ).

Suppress
To turn off a run-time check.

***************************************************************

From: Randy Brukardt
Sent: Thursday, April 4, 2019  8:49 PM

Great, but that doesn't include anything NEW, which seems to be the most 
critical need.

Ed asked for "default initial condition", presumably because all of the other 
assertion contracts already have a glossary entry (and that was obvious in the 
text he was reviewing 

I had suggested at a minimum "parallel construct", "logical thread of 
control", and "reduction". There may be others.

P.S. I need to know where to place the entries as well. Glossary entries are 
actually given in as AARM notes next to the formal definition (scattered about 
the Standard); the tools make the actual annex at the end. Side thought: it's 
a bit annoying that the information about the location of the formal definition 
isn't displayed in the glossary, since that wouldn't be very hard to do, at 
least in non-ISO editions.

***************************************************************

From: Randy Brukardt
Sent: Friday, April 4, 2019  11:02 PM

...
>Hereís a shot at the items that I suggested.  No doubt as everyone 
>knows a bit about this everyone will comment.

So far this message has gotten the same response as the original call for a 
volunteer. I suppose that says something too.
	 
...
>Master
>
>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. :-)

>Operational Aspect
>Aspects other than Representation Aspects.

Not strictly true, there are a few that aren't officially classed as either. 
If they have enough rules (like "Pre"), that doesn't matter. In any event, 
this is rather circular. It should say something about properties, as in 
13.1. Maybe:

An aspect that defines properties of an entity other than representation 
properties (see Representation Aspect).
	 
>Subunit
>A body that can be compiled separately from its embracing library unit.  
>(Only GNAT doesnít ? ).

I'm pretty sure we can't put emojies into the Standard; probably can't refer 
to GNAT either. ;-)

***************************************************************

Questions? Ask the ACAA Technical Agent