]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web_ebnf.xsl
web site update
[helm.git] / helm / www / lambdadelta / xslt / ld_web_ebnf.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:ld="http://lambdadelta.info/"
6                 xmlns="http://www.w3.org/1999/xhtml"
7 >
8
9 <xsl:template match="ld:ebnf">
10    <span class="emph ebnf">
11       <xsl:apply-templates/>
12    </span>
13 </xsl:template>
14
15 <xsl:template match="ld:prod">
16    <xsl:value-of select="@of"/>
17    <xsl:call-template name="sp"/>
18 </xsl:template>
19
20 <xsl:template match="ld:def">
21    <xsl:text>=</xsl:text>
22    <xsl:call-template name="sp"/>
23 </xsl:template>
24
25 <xsl:template match="ld:str1">
26    <xsl:text>"</xsl:text>
27    <xsl:value-of select="@of"/>
28    <xsl:text>"</xsl:text>
29    <xsl:call-template name="sp"/>
30 </xsl:template>
31
32 <xsl:template match="ld:str2">
33    <xsl:text>'</xsl:text>
34    <xsl:value-of select="@of"/>
35    <xsl:text>'</xsl:text>
36    <xsl:call-template name="sp"/>
37 </xsl:template>
38
39 <xsl:template match="ld:xchr">
40    <xsl:text>#</xsl:text>
41    <xsl:value-of select="@of"/>
42    <xsl:call-template name="sp"/>
43 </xsl:template>
44
45 <xsl:template match="ld:and">
46    <xsl:text>,</xsl:text>
47    <xsl:call-template name="sp"/>
48 </xsl:template>
49
50 <xsl:template match="ld:or">
51    <xsl:text>|</xsl:text>
52    <xsl:call-template name="sp"/>
53 </xsl:template>
54
55 <xsl:template match="ld:etc">
56    <xsl:text>|</xsl:text>
57    <xsl:call-template name="sp"/>   
58    <xsl:text>...</xsl:text>
59    <xsl:call-template name="sp"/>
60    <xsl:text>|</xsl:text>
61    <xsl:call-template name="sp"/>
62 </xsl:template>
63
64 <xsl:template match="ld:but">
65    <xsl:text>-</xsl:text>
66    <xsl:call-template name="sp"/>
67 </xsl:template>
68
69 <xsl:template match="ld:open">
70    <xsl:text>(</xsl:text>
71    <xsl:call-template name="sp"/>
72 </xsl:template>
73
74 <xsl:template match="ld:close">
75    <xsl:text>)</xsl:text>
76    <xsl:call-template name="sp"/>
77 </xsl:template>
78
79 <xsl:template match="ld:star">
80    <xsl:text>*</xsl:text>
81    <xsl:call-template name="sp"/>
82 </xsl:template>
83
84 <xsl:template match="ld:opt">
85    <xsl:text>*</xsl:text>
86    <xsl:call-template name="sp"/>
87    <xsl:text>1</xsl:text>
88    <xsl:call-template name="sp"/>
89 </xsl:template>
90
91 <xsl:template match="ld:plus">
92    <xsl:text>1</xsl:text>
93    <xsl:call-template name="sp"/>
94    <xsl:text>*</xsl:text>
95    <xsl:call-template name="sp"/>
96 </xsl:template>
97
98 <xsl:template match="ld:spec">
99    <xsl:value-of select="@of"/>
100    <xsl:call-template name="sp"/>
101    <xsl:text>*</xsl:text>
102    <xsl:call-template name="sp"/>
103    <xsl:value-of select="@of"/>
104    <xsl:call-template name="sp"/>
105 </xsl:template>
106
107 <xsl:template match="ld:stop">
108    <xsl:text>;</xsl:text>
109    <xsl:call-template name="sp"/>
110 </xsl:template>
111
112 </xsl:stylesheet>