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

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

--- ai22s/ai22-0065-1.html	2023/03/22 08:44:41	1.1
+++ ai22s/ai22-0065-1.html	2023/05/27 07:11:57	1.2
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0065-1/00</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0065-1/01</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
@@ -7,11 +7,15 @@
 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.l3h{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-alig
n:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
+P.yox{margin-bottom:0; margin-top:0; margin-left:-3pt; margin-right:-22pt;color:#000000;font-size:7.5pt;font-family:"Arial","Liberation Sans",sans-serif; padding-top:2pt; padding-bottom:0pt; line-height:1.15; orphans:2; widows:2; text-align:left; font-wei
ght:400; text-decoration:none; vertical-align:baseline; font-style:normal}
+P.z5n{margin-bottom:0; margin-top:0; margin-left:20pt; margin-right:0;color:#000000;font-size:11pt;font-family:"Times New Roman","Times",serif; padding-top:0pt; padding-bottom:7pt; line-height:1.330909090909091; orphans:2; widows:2; text-align:left; font-
weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
+P.s2p{margin-bottom:0; margin-top:0; margin-left:65pt; margin-right:0;color:#000000;font-size:9.5pt;font-family:"Times New Roman","Times",serif; padding-top:0pt; padding-bottom:6pt; line-height:1.232842105263158; orphans:2; widows:2; text-align:left; font
-weight:400}
+SPAN.ehd{text-decoration:none; vertical-align:baseline;font-style:normal}
 </style>
 </head><body class="body"><p class="l3h">AI22-0065-1</p>
 <p class="head">!standard C(1) &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-22 &nbsp;AI22-0065-1/00</p>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-05-19 &nbsp;AI22-0065-1/01</p>
 <p class="head">!standard D(1)</p>
 <p class="head">!class binding interpretation 23-03-22</p>
 <p class="head">!status work item 23-03-22</p>
@@ -63,14 +67,39 @@
 more than one priority to be supported)</p>
 <p class="txts">D.7 Task restrictions (so long as no runtime effect is required)</p>
 
-<p class="text">G.1 Complex packages (so long as any accurracy requirements remain optional)</p>
-<p class="text">G.3 Vector and matrix packages (so long as any accurracy requirements remain
+<p class="text">G.1 Complex packages (so long as any accuracy requirements remain optional)</p>
+<p class="txts">G.3 Vector and matrix packages (so long as any accuracy requirements remain
 optional)</p>
+
+<p class="text">The most relevant paragraphs are the following, from RM 1.1.3(16/5-17/3):</p>
+<p class="yox">16/5</p>
+<p class="z5n">An implementation that conforms to this Reference Manual shall support each
+capability required by the core language as specified. In addition, an implementation that conforms
+to this Reference Manual may conform to one or more Specialized Needs Annexes (or to none).
+Conformance to a Specialized Needs Annex means that each capability required by the Annex shall be
+provided as specified. </p>
+<p class="yox">16.a</p>
+<p class="s2p"><b>Discussion: </b><span class="ehd">The last sentence defines what it means to say
+that an implementation conforms to a Specialized Needs Annex, namely, only by supporting all
+capabilities required by the Annex. </span></p>
+<p class="yox">17/3</p>
+<p class="z5n">An implementation conforming to this Reference Manual may provide additional
+aspects, attributes, library units, and pragmas. However, it shall not provide any aspect,
+attribute, library unit, or pragma having the same name as an aspect, attribute, library unit, or
+pragma (respectively) specified in a Specialized Needs Annex unless the provided construct is
+either as specified in the Specialized Needs Annex or is more limited in capability than that
+required by the Annex. A program that attempts to use an unsupported capability of an Annex shall
+either be identified by the implementation before run time or shall raise an exception at run time.
+</p>
+<p class="text">One possible fix is to remove any mention of optionality in RM 1.1.3, and instead
+use Implementation Permissions in each annex to permit certain packages or capabilities to be
+omitted, or provided in partial form. &nbsp;The conformance certificate would indicate which
+packages or capabilities are fully supported.</p>
 <h2 class="head">!ACATS test</h2>
-<p class="text">Changing the status of Specialized Needed Annexes do not directly change any ACATS
-tests (ACATS tests can test optional requirements by the definition in ISO/IEC 18009.) However,
-anything required of Ada implementations by the rewrite of the annexes may require existing tests
-to change their pass/fail criteria.</p>
+<p class="text">Changing the status of Specialized Needed Annexes does not directly change any
+ACATS tests (ACATS tests can test optional requirements by the definition in ISO/IEC 18009).
+However, anything required of Ada implementations by the rewrite of the annexes may require
+existing tests to change their pass/fail criteria.</p>
 <h2 class="head">!appendix</h2>
 
 

Questions? Ask the ACAA Technical Agent