CVS difference for ai22s/ai22-0035-2.html
--- ai22s/ai22-0035-2.html 2022/06/17 06:13:50 1.1
+++ ai22s/ai22-0035-2.html 2022/06/17 06:39:28 1.2
@@ -2,9 +2,9 @@
<style type="text/css">
table td,table th{padding:0}
.c9{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}
-.c8{border-spacing:0;border-collapse:collapse;margin-right:auto}
-.c16{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
-.c10{height:0pt}
+.c10{border-spacing:0;border-collapse:collapse;margin-right:auto}
+.c14{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.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}
@@ -16,10 +16,11 @@
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="c16"><p class="a0">AI22-0035-2</p>
+</head><body class="c14"><p class="a0">AI22-0035-2</p>
<p class="head">!standard A.4.2(25)
22-04-25 AI22-0035-2/01</p>
<p class="head">!class binding interpretation 22-01-26</p>
+<p class="head">!status No Action 13-0-0 22-05-05</p>
<p class="head">!status work item 22-01-26</p>
<p class="head">!status received 22-01-26</p>
<p class="head">!priority Low</p>
@@ -42,12 +43,12 @@
<h2 class="head">!wording</h2>
<p class="inst">In A.4.2(25), modify:</p>
-<a id="t.826a8f9ebc2b075513a86f7554f5230da12eb472"></a><a id="t.0"></a><table class="c8"><tbody><tr class="c10"><td class="c9">
+<a id="t.826a8f9ebc2b075513a86f7554f5230da12eb472"></a><a id="t.0"></a><table class="c10"><tr class="c12"><td class="c9">
<p class="codt"> <b>type</b> Character_Mapping_Function <b>is</b>{ <b>not</b>
<b>null</b>}<br>
<b>access</b> <b>function</b> (From : <b>in</b> Character) <b>return</b>
Character;</p>
-</td></tr></tbody></table><p class="text"> </p>
+</td></tr></table><p class="text"> </p>
<h2 class="head">!discussion</h2>
<p class="txts">Adding "not null" directly to the type definition is the simpler fix, as
every language-defined use of Character_Mapping_Function requires the value to be nonnull.
@@ -55,14 +56,14 @@
different type if they want to allow a null value. This might justify making this an
amendment, or adding a subtype that allows null explicitly, such as:</p>
-<a id="t.88264c32987976644b6a8667ceff562b61553352"></a><a id="t.1"></a><table class="c8"><tbody><tr class="c10"><td class="c9">
+<a id="t.88264c32987976644b6a8667ceff562b61553352"></a><a id="t.1"></a><table class="c10"><tr class="c12"><td class="c9">
<p class="codt"> <b>type</b> {Optional_}Character_Mapping_Function <b>is</b><br>
<b>access</b> <b>function</b> (From : <b>in</b> Character)
<b>return</b> Character;<br>
<br>
{ <b>subtype</b> Character_Mapping_Function <b>is</b> <b>not</b> null<br>
Optional_Character_Mapping_Function;}</p>
-</td></tr></tbody></table><h2 class="head">!ACATS test</h2>
+</td></tr></table><h2 class="head">!ACATS test</h2>
<p class="txts">No additional ACATS tests should be necessary. </p>
<h2 class="head">!appendix</h2>
Questions? Ask the ACAA Technical Agent