]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/use_case/stats/mkhtml.xsl
- split compound fields
[helm.git] / helm / papers / use_case / stats / mkhtml.xsl
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <xsl:stylesheet version="1.0"
4                  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
5                  xmlns:html="http://www.w3.org/1999/xhtml"
6                  xmlns:xlink="http://www.w3.org/1999/xlink"
7                  xmlns:m="http://www.w3.org/1998/Math/MathML"
8                  xmlns:box="http://helm.cs.unibo.it/2003/BoxML"
9 >
10
11 <xsl:template match="/">
12   <html>
13     <body>
14       <table border="1">
15         <tr>
16           <th>N</th>
17           <th>Size (bytes)</th>
18           <th>Nodes</th>
19           <th>Inner nodes</th>
20           <th>Leaf elements</th>
21           <th>Text nodes</th>
22           <th>Max depth</th>
23           <th>Leaf avg</th>
24           <th>Max width</th>
25           <th>Inner avg width</th>
26           <th>Max attributes</th>
27           <th>Total attributes</th>
28           <th>Object</th>
29         </tr>
30         <xsl:apply-templates select="statistics/stats">
31           <xsl:sort order="descending" data-type="number" select="number(elements/total) + number(text-nodes/total)"/>
32         </xsl:apply-templates>
33       </table>
34     </body>
35   </html>  
36 </xsl:template>
37
38 <xsl:template match="stats">
39   <tr>
40     <td align="left">
41       <xsl:value-of select="position()"/>
42     </td>
43     <td align="left">
44       <xsl:value-of select="size"/>
45     </td>
46     <td align="left">
47       <xsl:value-of select="number(elements/total) + number(text-nodes/total)"/>
48     </td>
49     <td align="left">
50       <xsl:value-of select="number(elements/total) - number(elements/leaf)"/>
51     </td>
52     <td align="left">
53       <xsl:value-of select="number(elements/leaf)"/>
54     </td>
55     <td align="left">
56       <xsl:value-of select="number(text-nodes/total)"/>
57     </td>
58     <td align="left">
59       <xsl:value-of select="depth/max"/>
60     </td>
61     <td align="left">
62       <xsl:value-of select="round(depth/leaf-avg)"/>
63     </td>
64     <td align="left">
65       <xsl:value-of select="width/max"/>
66     </td>
67     <td align="left">
68       <xsl:value-of select="round(width/inner-avg)"/>
69     </td>
70     <td align="left">
71       <xsl:value-of select="attributes/max"/>
72     </td>
73     <td align="left">
74       <xsl:value-of select="attributes/total"/>
75     </td>
76     <th align="left">
77       <xsl:value-of select="substring(@for,21)"/>
78     </th>
79   </tr>
80 </xsl:template>
81
82 </xsl:stylesheet>
83