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

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

--- ai22s/ai22-0048-1.html	2023/04/07 06:37:00	1.3
+++ ai22s/ai22-0048-1.html	2023/04/28 02:30:03	1.4
@@ -1,21 +1,21 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0048-1/02</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0048-1/03</title>
 <style type="text/css">
 table td,table th{padding:0}
 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}
 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.wins{margin-bottom:0; margin-top:0; margin-left:60pt; 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.cbi2{margin-bottom:0; margin-top:0; margin-left:60pt; 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}
 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="body"><p class="l3h">AI22-0048-1</p>
 <p class="head">!standard 9.6.1(18/2) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;23-03-23
-&nbsp;AI22-0048-1/02</p>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;23-04-27
+&nbsp;AI22-0048-1/03</p>
 <p class="head">!standard 9.6.1(51/2)</p>
 <p class="head">!standard 9.6.1(52/2)</p>
 <p class="head">!class Amendment 22-10-24</p>
@@ -29,26 +29,28 @@
 <h2 class="head">!summary</h2>
 <p class="text">An overloaded Day_Of_Week function is added to Ada.Calendar.Formatting.</p>
 <h2 class="head">!issue</h2>
-<p class="txts">Ada.Calendar.Formatting.Day_Of_Week does not account for the Time_Zone... unlike
+<p class="txts">Ada.Calendar.Formatting.Day_Of_Week does not account for the Time_Zone, unlike
 every other formatting function in the same package, including the Day function.</p>
 
 <p class="text">The Ada Reference Manual does not clearly state which Time_Zone is used by
 Day_Of_Week.</p>
 <h2 class="head">!recommendation</h2>
-
-<p class="text">There should be a version of Day_Of_Week with a Time_Zone parameter. The parameter
-should not be defaulted, though, so that the original Day_Of_Week can still provide the Day_of_Week
+<p class="txts">There should be a version of Day_Of_Week with a Time_Zone parameter. The parameter
+should not be defaulted, though, so that the original Day_Of_Week can still provide the Day_Of_Week
 in the local timezone.</p>
+
+<p class="text">Spell Day_Of_Week with a capital &lsquo;O&rsquo; (including the existing
+function).</p>
 <h2 class="head">!wording</h2>
 <p class="inst">Add after&nbsp;9.6.1(18/2):</p>
-<p class="word"><b>function</b> Day_Of_Week (Date : Time;</p>
-<p class="word">&nbsp; &nbsp;Time_Zone : Time_Zones.Time_Offset) <b>return</b> Day_Name;</p>
+<p class="cbi2"><b>function</b> Day_Of_Week (Date : Time;<br>
+&nbsp; &nbsp;Time_Zone : Time_Zones.Time_Offset) <b>return</b> Day_Name;</p>
 <p class="inst">Add after&nbsp;9.6.1(52/2):</p>
 <p class="wins">AARM Ramification: The Year, Month, and Day here are the ones defined in
 Ada.Calendar; therefore, this function uses the local timezone.</p>
 
-<p class="word"><b>function</b> Day_Of_Week (Date : Time;</p>
-<p class="word">&nbsp; &nbsp;Time_Zone : Time_Zones.Time_Offset) <b>return</b> Day_Name;</p>
+<p class="cbi2"><b>function</b> Day_Of_Week (Date : Time;<br>
+&nbsp; &nbsp;Time_Zone : Time_Zones.Time_Offset) <b>return</b> Day_Name;</p>
 <p class="wind">Returns the day of week for Time in the given Time_Zone.</p>
 <h2 class="head">!discussion</h2>
 <p class="txts">The intent of the original wording was to use the Year, Month, and Day as defined
@@ -63,10 +65,16 @@
 was rather vaguely defined. Anyone that needs results that are portable between implementations
 should use the new version of Day_Of_Week giving the intended time zone.</p>
 
-<p class="text">As a point of reference, as of 22-March-2023, the GNAT implementation of
+<p class="txts">As a point of reference, as of 22-March-2023, the GNAT implementation of
 Day_Of_Week uses the local time zone, so it would indeed be incompatible to simply add a default
 Time_Zone of 0 to this function. So this further reinforces the decision to add an overloading,
 rather than add a defaulted parameter to the existing function.</p>
+
+<p class="text">The spelling of Day_Of_Week is changed to match the incorrect but simpler spelling
+used for identifiers elsewhere in the Reference Manual. (One never capitalizes &ldquo;of&rdquo;
+unless it is starting a sentence; this has been a major peeve of the Project Editor for many years
+and something that he finds extremely unnatural.) This is done both for the existing function and
+for the newly added function.</p>
 <h2 class="head">!ACATS test</h2>
 
 <p class="text">An ACATS test should check that a Time_Zone parameter is available for

Questions? Ask the ACAA Technical Agent