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

Differences between 1.8 and version 1.9
Log of other versions for file ai22s/ai22-0036-1.html

--- ai22s/ai22-0036-1.html	2023/04/28 02:30:03	1.8
+++ ai22s/ai22-0036-1.html	2023/05/09 04:49:38	1.9
@@ -1,7 +1,7 @@
 <html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0036-1/08</title>
 <style type="text/css">
 table td,table th{padding:0}
-.c13{border-spacing:0;border-collapse:collapse;margin-right:auto}
+.c20{border-spacing:0;border-collapse:collapse;margin-right:auto}
 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}
@@ -21,9 +21,9 @@
 SPAN.ins{color:#007700}
 SPAN.del{color:#cc8888}
 SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
-P.sfq{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.1500000000000001; page-break-after:avoid; orphans:2; widow
s:2; text-align:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
+P.gux{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:26pt;font-family:"Arial","Liberation Sans",sans-serif; orphans:2; widows:2; padding-top:0pt; padding-bottom:3pt; line-height:1.1500000000000001; page-break-after:av
oid; text-align:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 </style>
-</head><body class="body"><p class="sfq">AI22-0036-1</p>
+</head><body class="body"><p class="gux">AI22-0036-1</p>
 <p class="head">!standard 8.6(17/3)&nbsp; &nbsp;&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 23-04-27 &nbsp;AI22-0036-1/08</p>
 <p class="head">!standard 13.14(4/1)</p>
@@ -58,7 +58,7 @@
 so it is not inherited), but all such conversions are illegal.</p>
 
 <p class="text">For instance:</p>
-<table class="c13"></table><p class="text">&nbsp;</p>
+<table class="c20"></table><p class="text">&nbsp;</p>
 <p class="codb">&nbsp; <b>type</b> Char <b>is</b> <b>new</b> Character &nbsp;<br>
 &nbsp; &nbsp; &nbsp;<b>with</b> Default_Value =&gt; Char (Ada.Characters.Latin_1.Nul);</p>
 <p class="text">&nbsp;</p>
@@ -273,7 +273,7 @@
 -- Or alternatively...<br>
 <br>
 <b>type</b> Char2 <b>is</b> <b>new</b> Character<br>
-&nbsp; &nbsp; <b>with</b> Default_Value =&gt; Char&#39;First;</p>
+&nbsp; &nbsp; <b>with</b> Default_Value =&gt; Char2&#39;First;</p>
 <h2 class="head">!ACATS test</h2>
 <p class="text">An ACATS C-Test is needed to check that these attributes are allowed for a
 Default_Value aspect specification.</p>

Questions? Ask the ACAA Technical Agent