CVS difference for ai22s/ai22-0058-1.html
--- ai22s/ai22-0058-1.html 2023/01/12 08:53:19 1.1
+++ ai22s/ai22-0058-1.html 2023/01/21 09:16:20 1.2
@@ -1,27 +1,27 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0058-1/01</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0058-1/02</title>
<style type="text/css">
table td,table th{padding:0}
-.c12{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:432pt;border-top-color:#000000;border-bottom-style:solid}
-.c16{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
-.c17{border-spacing:0;border-collapse:collapse;margin-right:auto}
-.c11{margin-left:36pt}
-.c2{height:0pt}
+.c11{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:432pt;border-top-color:#000000;border-bottom-style:solid}
+.c16{margin-left:36pt;border-spacing:0;border-collapse:collapse;margin-right:auto}
+.c21{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c4{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}
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.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.codt{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:"Courier New",monospace; line-height:1.15; text-align:left; background-color:#f0f0f0; font-weight:400; tex
t-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.inds{margin-bottom:0; margin-top:0; margin-left:24pt; 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-decorat
ion:none; vertical-align:baseline; font-style:normal}
SPAN.del{color:#880000}
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}
+SPAN.a17{font-weight:700; font-family:"Courier New",monospace}
+SPAN.a20{font-family:"Courier New",monospace}
</style>
-</head><body class="c16 doc-content"><p class="a0">AI22-0058-1</p>
+</head><body class="c21 doc-content"><p class="a0">AI22-0058-1</p>
<p class="head">!standard C.7.1(4/3)
- 22-01-11
- AI22-0058-1/01</p>
+ 23-01-20
+ AI22-0058-1/02</p>
<p class="head">!standard D.2.6(9/5)</p>
<p class="head">!standard D.2.6(29/2)</p>
<p class="head">!standard D.5.1(4)</p>
@@ -32,6 +32,7 @@
<p class="head">!standard D.14(5/2)</p>
<p class="head">!standard D.14(17/2)</p>
<p class="head">!class Binding Interpretation 22-01-11</p>
+<p class="head">!status ARG Approved 15-0-0 23-01-19</p>
<p class="head">!status work item 22-01-11</p>
<p class="head">!status received 22-01-11</p>
<p class="head">!priority Low</p>
@@ -42,8 +43,8 @@
<p class="text">Preconditions, rather than wording, are used to check Task_Ids in various</p>
<p class="text">Annex D subprograms.</p>
<h2 class="head">!issue</h2>
-<p class="txts">Ada 202y is attempting to use preconditions and postconditions as much as possible.
-The following rule appears in a number of places in Annex D:</p>
+<p class="txts">Ada 2022 attempts to use preconditions and postconditions as much as possible. The
+following rule appears in a number of places in Annex D:</p>
<p class="inds">For all the operations defined in <<some package>>, Tasking_Error is
raised if the task identified by T has terminated. Program_Error is raised if the value of T is
@@ -55,14 +56,18 @@
<h2 class="head">!wording</h2>
<p class="inst">Add:</p>
-<a id="t.31a1d9095f3ffd073386f93eb8358bbdbfb4ff1b"></a><a id="t.0"></a><table class="c11 c17"><tr class="c2"><td class="c12">
-<p class="codt"><b>with</b> Pre => (<b>if</b> Ada.Task_Identification.Is_Terminated (T)<br>
- <b>then</b> <b>raise</b> Tasking_Error);</p>
-</td></tr></table><p class="wrds">to Set_Deadline, Get_Deadline, Set_Relative_Deadline,
+<a id="t.fa23d2fc502e59e9c26cb8ab1f8ff9712fa4fefe"></a><a id="t.0"></a><table class="c16"><tr class="c4"><td class="c11">
+<p class="codt"><b>with</b> Pre => (T /= Null_Task_Id or else raise Program_Error)</p>
+<p class="codt"> and then</p>
+<p class="codt"> (<b>not </b>Is_Terminated (T)<br>
+ or else <b>raise</b> Tasking_Error));</p>
+</td></tr></table><p class="word">to Set_Deadline, Get_Deadline, Set_Relative_Deadline,
Get_Relative_Deadline, Get_Last_Release_Time in D.2.6(9/5); to Set_Priority in D.5.1(4); to
Get_Priority in D.5.1(5); to Hold, Continue, and Is_Held in D.11(3/5); and to Clock in
D.14(5/2).</p>
-
+<p class="inst">Add <span class="a17">use</span><span class="a20"> Ada.Task_Identification;
+</span> on each of the above packages immediately after
+<span class="a17">with</span><span class="a20"> Ada.Task_Identification;</span></p>
<p class="inst">In AARM D.5.1(12.a):</p>
<p class="word">Replace "the above rule saying" with "the
precondition".</p>
@@ -96,8 +101,9 @@
<p class="txts">This AI was promoted from AI12-0316-1 to be reconsidered for post-Ada 2022 work.
The !appendix of the original AI has additional motivation and discussion.</p>
-<p class="txts">This version of the AI was rewritten to use the suggestion from Randy Brukardt of
-February 26, 2019 to simplify the change and overcome objections raised during Meeting #60D.</p>
+<p class="txts">The first version of this AI was rewritten to use the suggestion from Randy
+Brukardt of February 26, 2019 to simplify the change and overcome objections raised during Meeting
+#60D.</p>
<hr><p class="txts"> </p>
Questions? Ask the ACAA Technical Agent