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

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

--- ai22s/ai22-0052-1.html	2022/10/29 04:38:05	1.1
+++ ai22s/ai22-0052-1.html	2023/03/18 06:05:33	1.2
@@ -1,25 +1,22 @@
 <html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0052-1/01</title>
 <style type="text/css">
 table td,table th{padding:0}
-.c26{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}
-.c23{border-spacing:0;border-collapse:collapse;margin-right:auto}
-.c15{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
-.c17{height:0pt}
+BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
 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}
 UL.wbl{margin-bottom:0; margin-top:0; margin-left:42pt; 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; list-style: disc outside}
-P.wind{margin-bottom:0; margin-top:0; margin-left:54pt; 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.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.wind{margin-bottom:0; margin-top:0; margin-left:60pt; 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.codb{margin-bottom:0; margin-top:0; margin-left:12pt; margin-right:0; padding-left:4pt; padding-top:4pt; color:#000000; font-size:10pt; padding-bottom:4pt; font-family:"Courier New",monospace; line-height:1.15; text-align:left; background-color:#f0f0f0;
 font-weight:400; text-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}
-SPAN.ins{color:#005500}
-SPAN.del{color:#880000}
+SPAN.ins{color:#007700}
+SPAN.del{color:#cc8888}
 SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
-P.a2{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}
+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}
 </style>
-</head><body class="c15 doc-content"><p class="a2">AI22-0052-1</p>
+</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; 22-10-27 &nbsp;AI22-0052-1/01</p>
 <p class="head">!standard H.4(23.2/5)</p>
@@ -76,16 +73,17 @@
 <ul class="wbl"><li>Read (or return a readable reference to) a variable that is reachable via a
 sequence of zero or more dereferences of access-to-object values from a global that is not within
 the applicable global variable set, unless the initial dereference is of a part of a formal
-parameter or global that is visibly of an access-to-object type<span class="del">[.]</span>{;</li>
-<li>Evaluate an allocator, invoke an instance of Unchecked_Deallocation, or evaluate the
-Storage_Size attribute, for an access type that is a formal access type, or whose storage pool is
-not a standard storage pool, unless the storage pool object of the access type is within the
-applicable global variable set for mode <b>in out </b>for allocation or deallocation, or mode
-<b>in</b> or <b>in out</b> for the attribute reference;</li>
-<li>Evaluate an allocator for an access type with a standard storage pool, if the result is
-assigned to a part of a formal parameter, function result, or global that is visibly of an access
-type, unless the applicable global variable set for mode <b>in out</b> includes all synchronized
-objects, or the storage pool object itself.} &nbsp;</li>
+parameter or global that is visibly of an access-to-object
+type<span class="del">[.]</span><span class="ins">{;</span></li>
+<li><span class="ins">Evaluate an allocator, invoke an instance of Unchecked_Deallocation, or
+evaluate the Storage_Size attribute, for an access type that is a formal access type, or whose
+storage pool is not a standard storage pool, unless the storage pool object of the access type is
+within the applicable global variable set for mode <b>in out </b>for allocation or deallocation, or
+mode <b>in</b> or <b>in out</b> for the attribute reference;</span></li>
+<li><span class="ins">Evaluate an allocator for an access type with a standard storage pool, if the
+result is assigned to a part of a formal parameter, function result, or global that is visibly of
+an access type, unless the applicable global variable set for mode <b>in out</b> includes all
+synchronized objects, or the storage pool object itself.}</span> &nbsp;</li>
 </ul>
 <p class="inst">Add after H.7(4/5):</p>
 <p class="word">An <span class="ntrm">object_name</span> used as a
@@ -120,26 +118,25 @@
 particular values of the internal access values.</p>
 <h2 class="head">!example</h2>
 
-<a id="t.a66b437f67af241691c5990b97164b5bbe86772d"></a><a id="t.0"></a><table class="c23"><tr class="c17"><td class="c26">
-<p class="codt">&nbsp; &nbsp; &nbsp; &nbsp; <b>type</b> A <b>is</b> <b>access</b> Integer;<br>
+<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>
- &nbsp; &nbsp;<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>
+&nbsp; &nbsp; &nbsp; &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; &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; <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
 B&#39;Storage_Pool<br>
- &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;-- since it is (presumably) not a standard storage
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; -- since it is (presumably) not a standard storage
 pool<br>
- &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;<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>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <b>with</b> Global =&gt; <b>in</b> <b>out</b>
 B&#39;Storage_Pool;</p>
-</td></tr></table><h2 class="head">!ACATS test</h2>
+<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).</p>
 <h2 class="head">!appendix</h2>

Questions? Ask the ACAA Technical Agent