]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/xsl/d-xsl.xsl
Initial revision
[helm.git] / helm / DEVEL / mathml_editor / xsl / d-xsl.xsl
1 <xsl2:stylesheet
2   version="1.0"
3   xmlns:xsl2="http://www.w3.org/1999/XSL/Transform"
4   xmlns:xsl="http://www.w3.org/1999/XSL/TransformAlias"
5   xmlns:tml="http://helm.cs.unibo.it/2002/TML">
6
7 <xsl:namespace-alias stylesheet-prefix="xsl" result-prefix="xsl2"/>
8
9 <xsl2:template match="/">
10   <xsl:stylesheet version="1.0">
11     <xsl:template match="tml:tex">
12       <xsl:apply-templates select="*"/>
13     </xsl:template>
14
15     <xsl:template match="tml:i">
16       <xsl:element name="xxx">
17         <xsl:if test="@id">
18           <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
19         </xsl:if>
20         <xsl:value-of select="@val"/>
21       </xsl:element>
22     </xsl:template>
23
24     <xsl:template match="tml:n">
25       <xsl:element name="xxx">
26         <xsl:if test="@id">
27           <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
28         </xsl:if>
29         <xsl:value-of select="@val"/>
30       </xsl:element>
31     </xsl:template>
32
33     <xsl:template match="tml:o">
34       <xsl:element name="xxx">
35         <xsl:if test="@id">
36           <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
37         </xsl:if>
38         <xsl:value-of select="@val"/>
39       </xsl:element>
40     </xsl:template>
41
42     <xsl:template match="tml:cursor">
43       <xsl:element name="xxx">
44         <xsl:if test="@id">
45           <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
46         </xsl:if>
47         <xsl:value-of select="@val"/>
48       </xsl:element>
49     </xsl:template>
50
51     <xsl:template match="tml:sb[@under='1']">
52       <xsl:element name="xxx">
53         <xsl:if test="@id">
54           <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
55         </xsl:if>
56         <xsl:apply-templates select="*[1]"/>
57         <xsl:apply-templates select="*[2]"/>
58       </xsl:element>
59     </xsl:template>
60
61     <xsl:template match="tml:sb">
62       <xsl:element name="xxx">
63         <xsl:if test="@id">
64           <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
65         </xsl:if>
66         <xsl:apply-templates select="*[1]"/>
67         <xsl:apply-templates select="*[2]"/>
68       </xsl:element>
69     </xsl:template>
70
71     <xsl:template match="tml:sb[@over='1']">
72       <xsl:element name="xxx">
73         <xsl:if test="@id">
74           <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
75         </xsl:if>
76         <xsl:apply-templates select="*[1]"/>
77         <xsl:apply-templates select="*[2]"/>
78       </xsl:element>
79     </xsl:template>
80
81     <xsl:template match="tml:sp">
82       <xsl:element name="xxx">
83         <xsl:if test="@id">
84           <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
85         </xsl:if>
86         <xsl:apply-templates select="*[1]"/>
87         <xsl:apply-templates select="*[2]"/>
88       </xsl:element>
89     </xsl:template>
90
91     <xsl:template match="tml:g[@id]">
92       <xsl:element name="xxx">
93         <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
94         <xsl:apply-templates select="*"/>
95       </xsl:element>
96     </xsl:template>
97
98     <xsl:template match="tml:g">
99       <xsl:element name="xxx">
100         <xsl:apply-templates select="*"/>
101       </xsl:element>
102     </xsl:template>
103
104     <xsl:template match="tml:row">
105       <xsl:apply-templates select="cell"/>
106     </xsl:template>
107
108     <xsl:template match="tml:cell">
109       <xsl:apply-templates select="*"/>
110     </xsl:template>
111     
112     <xsl2:comment>/// CONTROL SEQUENCES ///</xsl2:comment>
113
114     <xsl2:apply-templates/>
115   </xsl:stylesheet>
116 </xsl2:template>
117
118 <xsl2:template match="entry[not(@class) or @class='m']">
119   <xsl:template match="tml:c[@name='{@name}']">
120     <xsl2:comment><xsl2:value-of select="concat(' ',@name,' ')"/></xsl2:comment>
121     <xsl:element name="xxx">
122       <xsl:if test="@id">
123         <xsl:attribute name="xref"><xsl:value-of select="@id"/></xsl:attribute>
124       </xsl:if>
125       <xsl:apply-templates select="*"/>
126     </xsl:element>
127   </xsl:template>
128 </xsl2:template>
129
130 </xsl2:stylesheet>
131