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

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

--- ai22s/ai22-0048-1.html	2022/10/29 04:38:05	1.1
+++ ai22s/ai22-0048-1.html	2023/03/23 07:47:03	1.2
@@ -1,21 +1,21 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0048-1/01</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0048-1/02</title>
 <style type="text/css">
 table td,table th{padding:0}
-.c15{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+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: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.wins{margin-bottom:0; margin-top:0; margin-left:54pt; 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.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.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.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}
+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="a0">AI22-0048-1</p>
+</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;22-10-24
-&nbsp;AI22-0048-1/01</p>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;23-03-23
+&nbsp;AI22-0048-1/02</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>
@@ -23,47 +23,52 @@
 <p class="head">!status received 22-07-19</p>
 <p class="head">!priority Low</p>
 <p class="head">!difficulty Easy</p>
-<p class="head">!subject Time_Zone parameter for Day_of_Week</p>
+<p class="head">!subject Time_Zone parameter for Day_Of_Week</p>
 <h2 class="head">!summary</h2>
-<p class="text">An overloaded Day_of_Week function is added to Ada.Calendar.Formatting.</p>
+<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>
+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="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
 in the local timezone.</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"><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="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"><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="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
 in Ada.Calendar to determine the day of week. As such, we cannot make any assumptions about the
-time zone used by Day_of_Week. The simpler solution of defaulting the Time_Zone as with the other
+time zone used by Day_Of_Week. The simpler solution of defaulting the Time_Zone as with the other
 functions in Ada.Calendar.Formatting would possibly be incompatible with some implementations. By
 using overloaded functions, no implementation will have to change their current implementation of
-Day_of_Week, allowing maximum compatibility.</p>
+Day_Of_Week, allowing maximum compatibility.</p>
 
-<p class="text">We recommend that the ACAA not test the time zone of the default Day_of_Week; we
+<p class="txts">We recommend that the ACAA not test the time zone of the default Day_Of_Week; we
 don&rsquo;t want to force implementations to change what they are doing with this function as it
 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>
+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
+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>
 <h2 class="head">!ACATS test</h2>
 
 <p class="text">An ACATS test should check that a Time_Zone parameter is available for
-Day_of_Week.</p>
+Day_Of_Week.</p>
 <h2 class="head">!appendix</h2>
 <p class="txts">This issue is based on Github Issue #17
 (https://github.com/Ada-Rapporteur-Group/User-Community-Input/issues/17).</p>

Questions? Ask the ACAA Technical Agent