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

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

--- ai22s/ai22-0038-1.html	2022/06/21 23:58:05	1.2
+++ ai22s/ai22-0038-1.html	2022/06/24 04:08:54	1.3
@@ -1,30 +1,32 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0038-1/03</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0038-1/04</title>
 <style type="text/css">
 table td,table th{padding:0}
-.c8{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c1{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.inst{margin-bottom:0; margin-top:0; margin-left:18pt; margin-right:0; padding-top:9pt; color:#000000; font-size:12pt; padding-bottom:6pt; font-family:"Arial","Liberation Sans",sans-serif;line-height:1.15; orphans:2; widows:2; text-align:left; font-weigh
t:400; text-decoration:none; vertical-align:baseline; font-style:normal}
-P.wrds{margin-bottom:0; margin-top:0; margin-left:36pt; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:12pt; font-family:"Times New Roman","Times",serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:4
00; text-decoration:none; vertical-align:baseline; font-style:normal}
+P.word{margin-bottom:0; margin-top:0; margin-left:36pt; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:3pt; font-family:"Times New Roman","Times",serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:40
0; 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}
+P.from{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:10pt; 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:none}
+P.time{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:9pt; padding-bottom:9pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:4
00; text-decoration:none; vertical-align:baseline; font-style:italic}
+SPAN.name{font-family:"Lucida Calligraphy",cursive; font-style:normal}
 P.a0{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:26pt;font-family:"Arial","Liberation Sans",sans-serif; padding-top:0pt; padding-bottom:3pt; line-height:1.15; page-break-after:avoid; orphans:2; widows:2; text-align
:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 </style>
-</head><body class="c8"><p class="a0">AI22-0038-1</p>
+</head><body class="c1"><p class="a0">AI22-0038-1</p>
 <p class="head">!standard 7.3.2(1/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;22-06-05 &nbsp;AI22-0038-1/03</p>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;22-06-23 &nbsp;AI22-0038-1/04</p>
 <p class="head">!class presentation 22-02-04</p>
+<p class="head">!status Corrigendum 1-2022 22-06-23</p>
+<p class="head">!status ARG Approved 15-0-0 &nbsp;22-06-23</p>
 <p class="head">!status work item 22-02-04</p>
 <p class="head">!status received 21-05-20</p>
 <p class="head">!priority Low</p>
 <p class="head">!difficulty Easy</p>
 <p class="head">!subject Introduction to 7.3.2</p>
 <h2 class="head">!summary</h2>
-
-<p class="txts">An introduction to 7.3.2 is added.</p>
-
+<p class="text">An introduction to 7.3.2 is added.</p>
 <h2 class="head">!question</h2>
-
 <p class="text">[WG 9 comment #148] It would help readers if the intro of 7.3.2 were to </p>
 <p class="text">explain that the aim of the Type_Invariant(&#39;Class) feature is to ensure
 that</p>
@@ -34,39 +36,36 @@
 <p class="text">(where the full type declaration is visible). Therefore, the invariant is </p>
 <p class="txts">checked at the boundary between the defining package and its clients.</p>
 
-<p class="txts">Should an introduction be added? (Yes.)</p>
-
+<p class="text">Should an introduction be added? (Yes.)</p>
 <h2 class="head">!recommendation</h2>
-
-<p class="txts">(See Summary.)</p>
-
+<p class="text">(See Summary.)</p>
 <h2 class="head">!wording</h2>
-
 <p class="inst">Add before 7.3.2(1/5):</p>
-
-<p class="wrds">A type invariant for a given private type is an assertion that is expected to be
+<p class="word">A type invariant for a given private type is an assertion that is expected to be
 true about every object of the type, except when such an object is in the middle of an operation
 that has visibility on the representation of its full type. The type invariant is enforced much
-like a postcondition, when such an object completes default initialization, or upon return from an
-externally callable subprogram that might update the object, and has visibility on the full type.
-</p>
-
-<p class="head">!discussion</p>
-
-<p class="txts">Most subclauses have some sort of introduction, it&#39;s unusual that this one does
+like a postcondition, including when such an object completes default initialization, or upon
+return from an externally callable subprogram that might update the object and has visibility on
+the full type. </p>
+<h2 class="head">!discussion</h2>
+<p class="text">Most subclauses have some sort of introduction, it&#39;s unusual that this one does
 not.</p>
-
-<p class="head">!corrigendum 7.3.2(1/5)</p>
-
-
-<p class="head">!ACATS test</p>
-
-<p class="txts">No tests are needed for presentation changes.</p>
-
-<p class="head">!appendix</p>
-
-<p class="text">From: Niklas Holsti</p>
-<p class="txts">WG 9 Review issue #148 - May 20, 2021</p>
+<h2 class="head">!corrigendum 7.3.2(1/5)</h2>
+<p class="text">@dinsb</p>
+<p class="text">For a private type, private extension, or interface, the following language-defined
+assertion aspects may be specified with an @fa{aspect_specification} (see 13.1.1):</p>
+<p class="text">@dinst</p>
+<p class="text">A type invariant for a given private type is an assertion that is expected to be
+true about every object of the type, except when such an object is in the middle of an operation
+that has visibility on the representation of its full type. The type invariant is enforced much
+like a postcondition, including when such an object completes default initialization, or upon
+return from an externally callable subprogram that might update the object and has visibility on
+the full type. </p>
+<h2 class="head">!ACATS test</h2>
+<p class="text">No tests are needed for presentation changes.</p>
+<h2 class="head">!appendix</h2>
+<p class="from">From:<span class="name"> Niklas Holsti</span></p>
+<p class="time">WG 9 Review issue #148 - May 20, 2021</p>
 
 <p class="text">[Comment on 7.3.2.]</p>
 <p class="text">It might help readers if the intro were to explain that the aim of the </p>
@@ -82,8 +81,8 @@
 
 <p class="txts">****************************************************************</p>
 
-<p class="text">From: Randy Brukardt</p>
-<p class="txts">WG 9 Review issue #148 - May 21, 2021</p>
+<p class="from">From:<span class="name"> Randy Brukardt</span></p>
+<p class="time">WG 9 Review issue #148 - May 21, 2021</p>
 
 <p class="text">This makes sense, but since the existing text (of which there is none!) is</p>
 <p class="text">neither new nor wrong, this is out of bounds for this review. As such, it will</p>

Questions? Ask the ACAA Technical Agent