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

Differences between 1.4 and version 1.5
Log of other versions for file ai22s/ai22-0052-1.html

--- ai22s/ai22-0052-1.html	2023/04/04 07:29:57	1.4
+++ ai22s/ai22-0052-1.html	2023/04/07 06:37:00	1.5
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0052-1/03</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0052-1/04</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
@@ -17,11 +17,13 @@
 </head><body class="body"><p class="l3h">AI22-0052-1</p>
 <p class="head">!standard 13.11(17.1/5) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 23-03-17 &nbsp;AI22-0052-1/03</p>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 23-04-03 &nbsp;AI22-0052-1/04</p>
 <p class="head">!standard 13.11(18/5)</p>
 <p class="head">!standard H.7(4/5)</p>
 <p class="head">!standard H.7(7/5)</p>
 <p class="head">!class Binding Interpretation 22-10-27</p>
+<p class="head">!status Corrigendum 1-2022 &nbsp;23-03-30</p>
+<p class="head">!status ARG Approved 12-0-0 &nbsp;23-03-30</p>
 <p class="head">!status work item 22-10-27</p>
 <p class="head">!status received 22-10-27</p>
 <p class="head">!priority Low</p>
@@ -119,24 +121,20 @@
 explicitly state that implementation-created storage pools can be treated as synchronized.</p>
 <h2 class="head">!example</h2>
-<p class="codb">&nbsp; &nbsp; &nbsp; &nbsp; <b>type</b> A <b>is</b> <b>access</b> Integer;<br>
- &nbsp; &nbsp; &nbsp; &nbsp;<b>type</b> B <b>is</b> <b>access</b> Integer;<br>
- &nbsp; &nbsp; &nbsp; &nbsp;<b>for</b> B&#39;Storage_Pool <b>use</b> My_Cool_Storage_Pool;<br>
+<p class="codb"><b>type</b> A <b>is</b> <b>access</b> Integer;<br>
+<b>type</b> B <b>is</b> <b>access</b> Integer;<br>
+<b>for</b> B&#39;Storage_Pool <b>use</b> My_Cool_Storage_Pool;<br>
 &nbsp; &nbsp; <br>
- &nbsp; &nbsp; &nbsp; &nbsp;<b>function</b> New_A (X : Integer) <b>return</b> A<br>
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <b>with</b> Global =&gt; <b>in</b> <b>out</b>
+<b>function</b> New_A (X : Integer) <b>return</b> A<br>
+&nbsp; &nbsp;<b>with</b> Global =&gt; <b>in</b> <b>out</b> <b>synchronized</b>;<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <br>
- &nbsp; &nbsp; &nbsp; &nbsp;<b>function</b> New_B (Y : Integer) <b>return</b> B<br>
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <b>with</b> Global =&gt; <b>in</b> <b>out</b> <b>all</b>;<br>
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; -- &quot;in out synchronized&quot; would not cover
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; -- unless My_Coll_Storage_Pool is a synchronized
+<b>function</b> New_B (Y : Integer) <b>return</b> B<br>
+&nbsp; &nbsp;<b>with</b> Global =&gt; <b>in</b> <b>out</b> <b>all</b>;<br>
+&nbsp; &nbsp;-- &quot;<b>in out synchronized</b>&quot; would not cover B&#39;Storage_Pool<br>
+&nbsp; &nbsp;-- unless My_Cool_Storage_Pool is a synchronized object<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <br>
- &nbsp; &nbsp; &nbsp; &nbsp;<b>function</b> Another_New_B (Z : Integer) <b>return</b> B<br>
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <b>with</b> Global =&gt; <b>in</b> <b>out</b>
+<b>function</b> Another_New_B (Z : Integer) <b>return</b> B<br>
+&nbsp; &nbsp;<b>with</b> Global =&gt; <b>in</b> <b>out</b> B&#39;Storage_Pool;</p>
 <h2 class="head">!ACATS test</h2>
 <p class="text">ACATS B and C-Tests are needed to check that Storage_Pools are included in the
 global as needed (or the code is rejected if not), when No_Hidden_Indirect_Globals is in

Questions? Ask the ACAA Technical Agent