]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/use_case/stats/mkhtml.xsl
ocaml 3.09 transition
[helm.git] / helm / papers / use_case / stats / mkhtml.xsl
index 597d15e412ec1ec6ca136945964612b7b889194a..a61576aecfa3cca7d248d9549faccaf00f59d8e9 100644 (file)
         <tr>
          <th>N</th>
          <th>Size (bytes)</th>
-         <th>Nodes</th>
-         <th>Inner nodes</th>
-         <th>Leaf elements</th>
-         <th>Text nodes</th>
+         <th>Elements</th>
          <th>Max depth</th>
+         <!--
+         <th>Text nodes</th>
+         <th>Total nodes</th>
          <th>Leaf avg</th>
          <th>Max width</th>
          <th>Inner avg width</th>
          <th>Max attributes</th>
          <th>Total attributes</th>
+         -->
          <th>Object</th>
        </tr>
         <xsl:apply-templates select="statistics/stats">
-         <xsl:sort order="descending" data-type="number" select="number(elements/total) + number(text-nodes/total)"/>
+         <xsl:sort order="descending" data-type="number" select="number(elements/total)"/>
        </xsl:apply-templates>
       </table>
     </body>
       <xsl:value-of select="size"/>
     </td>
     <td align="left">
-      <xsl:value-of select="number(elements/total) + number(text-nodes/total)"/>
-    </td>
-    <td align="left">
-      <xsl:value-of select="number(elements/total) - number(elements/leaf)"/>
+      <xsl:value-of select="number(elements/total)"/>
     </td>
     <td align="left">
-      <xsl:value-of select="number(elements/leaf)"/>
+      <xsl:value-of select="depth/max"/>
     </td>
+    <!--
     <td align="left">
       <xsl:value-of select="number(text-nodes/total)"/>
     </td>
     <td align="left">
-      <xsl:value-of select="depth/max"/>
+      <xsl:value-of select="number(elements/total) + number(text-nodes/total)"/>
     </td>
     <td align="left">
       <xsl:value-of select="round(depth/leaf-avg)"/>
@@ -73,8 +72,9 @@
     <td align="left">
       <xsl:value-of select="attributes/total"/>
     </td>
+    -->
     <th align="left">
-      <xsl:value-of select="substring(@for,21)"/>
+      <xsl:value-of select="@for"/>
     </th>
   </tr>
 </xsl:template>