CVS difference for ai22s/ai22-0033-1.html

Differences between 1.1 and version 1.2
Log of other versions for file ai22s/ai22-0033-1.html

--- ai22s/ai22-0033-1.html	2023/03/23 07:47:03	1.1
+++ ai22s/ai22-0033-1.html	2023/05/27 07:11:57	1.2
@@ -1,9 +1,10 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0033-1/01</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0033-1/02</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
 P.head{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:14pt; padding-bottom:0pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:
400; text-decoration:none; vertical-align:baseline; font-style:normal}
 H2.head{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:12pt; color:#000000; font-size:14pt; padding-bottom:6pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; page-break-after:avoid; orphans:2; widows:2; tex
t-align:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
+P.btxt{margin-bottom:6pt; margin-top:6pt; margin-left:6pt; margin-right:6pt; padding-top:4pt; color:#000000; font-size:11pt; padding-bottom:4pt; padding-left:4pt; color:#000000; padding-right:4pt; border:1px solid black; font-family:"Arial","Liberation Sa
ns",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 P.text{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:0pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration:
none; vertical-align:baseline; font-style:normal}
 P.txts{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:11pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration
:none; vertical-align:baseline; font-style:normal}
 UL.blts{margin-bottom:0; margin-top:0; margin-left:12pt; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:12pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15;text-align:left; font-weight:400; text-decorat
ion:none; vertical-align:baseline; font-style:normal; list-style: disc outside}
@@ -12,7 +13,7 @@
 </head><body class="body"><p class="l3h">AI22-0033-1</p>
 <p class="head">!standard 1.3.1(6/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-03-23 &nbsp;AI22-0033-1/01</p>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-05-26 &nbsp;AI22-0033-1/02</p>
 <p class="head">!standard 1.3.3(1/5)</p>
 <p class="head">!class presentation 23-03-23</p>
 <p class="head">!status work item 23-03-23</p>
@@ -28,7 +29,59 @@
 <h2 class="head">!recommendation</h2>
 <p class="text">(See Summary.)</p>
 <h2 class="head">!wording</h2>
-<p class="text">** TBD. We&#39;ll need a volunteer to take this.</p>
+<p class="text">Add after 1.3.1(6/5):</p>
+<p class="txts">allocator. creator of an access value that designates an object.</p>
+<p class="text">Add after 1.3.1(21/5):</p>
+<p class="txts">denotes. &nbsp;indicates the name (of an entity).</p>
+<p class="txts">derivation class. &nbsp;set of a root type and all types derived from it.</p>
+<p class="text">Add after 1.3.1(73/5):</p>
+<p class="text">statically denotes.</p>
+<p class="txts">[I think finding a plain English summary of the formal definition in 4.9(14-17) is
+beyond me.]</p>
+<p class="text">statically names.</p>
+<p class="txts">[I think finding a plain English summary of the formal definition in
+4.9(17.1/5-17.5/5) is beyond me. &nbsp;AI12-0368&#39;s difference between name and denote is too
+subtle for me! - the first defintion of &quot;denote&quot; that I found said &quot;gives the name
+<p class="text">Add after 1.3.2(1/5):</p>
+<p class="txts">homograph. &nbsp;declaration with the same name and a type conformant parameter
+(and result) profile.</p>
+<p class="txts">overloaded subprogram. &nbsp;subprogram with a multiply defined name, but which
+definition is applicable being distinguishable by the parameter (and result) profiles.</p>
+<p class="text">Add after 1.3.3(1/5):</p>
+<p class="txts">child unit. &nbsp;library unit (logically) occurring within the declarative region
+of its parent library unit.</p>
+<p class="text">Add after 1.3.3(15/5):</p>
+<p class="txts">instantiation. &nbsp;creation of an actual package or subsystem from a (template)
+generic unit.</p>
+<p class="text">Add after 1.3.3(23/5):</p>
+<p class="txts">operative constituent. name or expression used in the evaluation of another name or
+<p class="text">Add after 1.3.3(36/5):</p>
+<p class="text">subsystem. root library unit, together with its descendants.</p>
+<p class="txts">[10.1(3) uses the rather clumsy &quot;children and grandchildren and so on&quot;,
+maybe considering that the term &quot;descendants&quot; is only applicable to types. &nbsp;But
+10.1.1(11 &amp; 12) is quite happy talking about library units having descendants.]</p>
+<p class="text">Add before 1.3.5(1/5):</p>
+<p class="txts">bounded error. &nbsp;error that causes behavior that is unpredictable but within
+certain bounds, and is not generally predictable.</p>
+<p class="text">Add after 1.3.5(1/5):</p>
+<p class="txts">erroneous execution. &nbsp;totally unpredictable behavior, caused by an error that
+is not generally detectable.</p>
 <h2 class="head">!discussion</h2>
 <p class="txts">We consider the Terms and Definitions section the place to define short,
 descriptive definitions. The lengthy, formal definitions are placed in the body of the Reference
@@ -65,7 +118,8 @@
-<p class="txts">Other important terms that probably ought to be defined include:</p>
+<p class="txts">Other important terms that probably ought to be defined
+include:<sup><a href="#cmnt1" name="cmnt_ref1">[a]</a></sup><sup><a href="#cmnt2" name="cmnt_ref2">[b]</a></sup></p>
 <ul class="blts"><li>child unit</li>
 <li>operative constituent</li>
@@ -88,8 +142,10 @@
 <p class="text">If the &quot;other constructs&quot; category gets too large, it might make sense to
 splitting it into a &quot;units&quot; and &quot;other constructs&quot; categories.</p>
 <h2 class="head">!ACATS test</h2>
-<p class="text">This is purely additional informative material, not tests are needed.</p>
+<p class="text">This is purely additional informative material, so no tests are needed.</p>
 <h2 class="head">!appendix</h2>
+<p class="btxt"><a href="#cmnt_ref1" name="cmnt1">[a]</a>Root type of a class-wide type</p>
+<p class="btxt"><a href="#cmnt_ref2" name="cmnt2">[b]</a>subtype predicate?</p>

Questions? Ask the ACAA Technical Agent