]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/use_case/stats/serialize_into_text.xsl
ocaml 3.09 transition
[helm.git] / helm / papers / use_case / stats / serialize_into_text.xsl
1 <?xml version="1.0"?>
2
3 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
4
5 <xsl:output method="text"/>
6
7 <xsl:template match="/">
8   <xsl:apply-templates select="//stats"/>
9 </xsl:template>
10
11 <xsl:template match="stats">
12   <!--<xsl:value-of select="number(elements/total) + number(text-nodes/total)"/>-->
13   <xsl:value-of select="number(elements/total)"/>
14   <xsl:text> </xsl:text>
15   <xsl:value-of select="number(depth/max)"/>
16   <xsl:text>
17 </xsl:text>
18 </xsl:template>
19
20 </xsl:stylesheet>
21