CVS difference for ai22s/ai22-0046-1.html
--- ai22s/ai22-0046-1.html 2022/06/24 04:08:54 1.2
+++ ai22s/ai22-0046-1.html 2022/10/25 00:07:50 1.3
@@ -1,12 +1,12 @@
<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0046-1/02</title>
<style type="text/css">
table td,table th{padding:0}
-.c6{border-right-style:solid;padding:5pt 5pt 5pt 5pt;border-bottom-color:#000000;border-top-width:0pt;border-right-width:0pt;border-left-color:#000000;vertical-align:top;border-right-color:#000000;border-left-width:0pt;border-top-style:solid;background-co
lor:#f0f0f0;border-left-style:solid;border-bottom-width:0pt;width:468pt;border-top-color:#000000;border-bottom-style:solid}
-.c20{text-decoration-skip-ink:none;-webkit-text-decoration-skip:none;color:#1155cc;text-decoration:underline}
-.c15{border-spacing:0;border-collapse:collapse;margin-right:auto}
+.c14{border-right-style:solid;padding:5pt 5pt 5pt 5pt;border-bottom-color:#000000;border-top-width:0pt;border-right-width:0pt;border-left-color:#000000;vertical-align:top;border-right-color:#000000;border-left-width:0pt;border-top-style:solid;background-c
olor:#f0f0f0;border-left-style:solid;border-bottom-width:0pt;width:468pt;border-top-color:#000000;border-bottom-style:solid}
+.c19{text-decoration-skip-ink:none;-webkit-text-decoration-skip:none;color:#1155cc;text-decoration:underline}
+.c9{border-spacing:0;border-collapse:collapse;margin-right:auto}
.c21{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
-.c13{color:inherit;text-decoration:inherit}
-.c22{height:0pt}
+.c23{color:inherit;text-decoration:inherit}
+.c12{height:0pt}
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}
@@ -21,12 +21,13 @@
SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
P.a3{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="c21"><p class="a3">AI22-0046-1</p>
+</head><body class="c21 doc-content"><p class="a3">AI22-0046-1</p>
<p class="head">!standard 4.9(17.3/5)
22-06-23
AI22-0046-1/02</p>
<p class="head">!class binding interpretation 22-03-25</p>
<p class="head">!status Corrigendum 1-2022 22-06-23</p>
+<p class="head">!status WG9 Approved 22-10-18</p>
<p class="head">!status ARG Approved 15-0-0 22-06-23</p>
<p class="head">!status work item 22-03-25</p>
<p class="head">!status received 22-03-25</p>
@@ -47,12 +48,12 @@
<p class="txts">Specifically, in:</p>
-<a id="t.cd89f776226a0fcd55b50015bd47566ec4845605"></a><a id="t.0"></a><table class="c15"><tr class="c22"><td class="c6">
+<a id="t.cd89f776226a0fcd55b50015bd47566ec4845605"></a><a id="t.0"></a><table class="c9"><tr class="c12"><td class="c14">
<p class="codt">A := @ + 1;</p>
</td></tr></table><p class="text"> </p>
<p class="txts">@ statically denotes the object A. However, in:</p>
-<a id="t.c3694f0b0c94c7c3850fd8b86628137d38b36a41"></a><a id="t.1"></a><table class="c15"><tr class="c22"><td class="c6">
+<a id="t.c3694f0b0c94c7c3850fd8b86628137d38b36a41"></a><a id="t.1"></a><table class="c9"><tr class="c12"><td class="c14">
<p class="codt">A.B := @ + 1;</p>
</td></tr></table><p class="text"> </p>
<p class="txts">@ does not statically name an object, even if A statically denotes an object, and B
@@ -93,10 +94,10 @@
introduction of yet another term.</p>
<h2 class="head">!discussion</h2>
<p class="text">A similar problem occurs for renames. So, for instance, if we have:</p>
-<a id="t.84c43fe1445352ad2e4082338c11ccbbe6720690"></a><a id="t.2"></a><table class="c15"><tr class="c22"><td class="c6">
+<a id="t.84c43fe1445352ad2e4082338c11ccbbe6720690"></a><a id="t.2"></a><table class="c9"><tr class="c12"><td class="c14">
<p class="codt">C : renames A.B;</p>
</td></tr></table><p class="text">C does not statically name an object. While if we had:</p>
-<a id="t.57357ffc8409795b65fccc462c4a40fe827a97ea"></a><a id="t.3"></a><table class="c15"><tr class="c22"><td class="c6">
+<a id="t.57357ffc8409795b65fccc462c4a40fe827a97ea"></a><a id="t.3"></a><table class="c9"><tr class="c12"><td class="c14">
<p class="codt">D : renames A;</p>
</td></tr></table><p class="txts">then D.B <i>does</i> statically name an object.</p>
@@ -165,7 +166,7 @@
<h2 class="head">!appendix</h2>
<p class="txts">This AI in partially in response to ARG Github Issue #6
-(<span class="c20"><a class="c13" href="https://github.com/Ada-Rapporteur-Group/User-Community-Input/issues/6">https://github.com/Ada-Rapporteur-Group/User-Community-Input/issues/6</a></span>).</p>
+(<span class="c19"><a class="c23" href="https://github.com/Ada-Rapporteur-Group/User-Community-Input/issues/6">https://github.com/Ada-Rapporteur-Group/User-Community-Input/issues/6</a></span>).</p>
<p class="text">*********************************************************</p>
</body></html>
Questions? Ask the ACAA Technical Agent