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

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

--- ai22s/ai22-0052-1.html	2023/04/07 06:37:00	1.5
+++ ai22s/ai22-0052-1.html	2023/04/22 06:19:57	1.6
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0052-1/04</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0052-1/05</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,7 +17,7 @@
 </style>
 </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-04-03 &nbsp;AI22-0052-1/04</p>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 23-04-21 &nbsp;AI22-0052-1/05</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>
@@ -38,7 +38,7 @@
 <p class="text">Standard storage pools are considered synchronized for the purposes of Global
 aspects.</p>
 <h2 class="head">!issue</h2>
-<p class="txts">Global aspects for an entity include the effect of all calls inside of that entity,
+<p class="txts">Global aspects for an entity include the effect of all calls inside that entity,
 including any implicit calls. This means that the implicit calls on the storage pool of an access
 type are included for any allocation or deallocation operations.</p>
 
@@ -83,7 +83,8 @@
 storage space of P is exhausted (additional memory is not allocated). The type of P, and the
 primitive Allocate, Deallocate, and Storage_Size subprograms of P are
 nonblocking.<span class="ins">{ Concurrent invocations of these subprograms do not conflict with
-one another (see 9.10) when applied to P, and P is considered a synchronized object.}</span></p>
+one another (see 9.10) when applied to P, and P is considered to be a synchronized
+object.}</span></p>
 <p class="word"><span class="del">[Editor&rsquo;s note: The concurrent invocation wording is
 missing from this implementation-defined pool; note that this is <i>not</i> a standard storage
 pool, but we want similar rules to apply to it as do standard storage pools.]</span></p>
@@ -93,7 +94,7 @@
 with attribute designator Storage_Pool. [Redundant: The attribute prefix may denote a formal
 access-to-object type.]</p>
 <p class="inst">&nbsp;Modify H.7(7/5):</p>
-<p class="word">The Global aspect for a subtype identifies the global variables that might be
+<p class="word">The Global aspect for a subtype identifies the global variables that can be
 referenced during default initialization, adjustment as part of assignment, finalization of an
 object of the subtype, or conversion to the subtype, including the evaluation of any assertion
 expressions that apply. {For a formal access-to-object subtype, or an access-to-object subtype
@@ -113,7 +114,7 @@
 case. But this global specification would be illegal, since the implicit call on Allocate needs to
 be covered by the global specification, and the standard storage pool object is a global
 synchronized object. It either has to be named with a Storage_Pool attribute, or a more general
-specification like <b>in out synchronized</b> needs to be used. &nbsp;</p>
+specification such as <b>in out synchronized</b> needs to be used. &nbsp;</p>
 
 <p class="text">Note that AI22-0059-1 addresses a related issue, more formally defining the meaning
 of &ldquo;Concurrent invocations of these subprograms do not conflict with one another (see

Questions? Ask the ACAA Technical Agent