]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web_ebnf.xsl
EBNF definition of OSN begins ...
[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:text>&lt;</xsl:text>
17    <xsl:value-of select="@of"/>
18    <xsl:text>&gt;</xsl:text>
19    <xsl:call-template name="sp"/>
20 </xsl:template>
21
22 <xsl:template match="ld:def">
23    <xsl:text>=</xsl:text>
24    <xsl:call-template name="sp"/>
25 </xsl:template>
26
27 <xsl:template match="ld:str">
28    <xsl:text>"</xsl:text>
29    <xsl:value-of select="@of"/>
30    <xsl:text>"</xsl:text>
31    <xsl:call-template name="sp"/>
32 </xsl:template>
33
34 <xsl:template match="ld:chr">
35    <xsl:text>'</xsl:text>
36    <xsl:value-of select="@of"/>
37    <xsl:text>'</xsl:text>
38    <xsl:call-template name="sp"/>
39 </xsl:template>
40
41 <xsl:template match="ld:or">
42    <xsl:text>|</xsl:text>
43    <xsl:call-template name="sp"/>
44 </xsl:template>
45
46 <xsl:template match="ld:etc">
47    <xsl:text>...</xsl:text>
48    <xsl:call-template name="sp"/>
49 </xsl:template>
50
51 <xsl:template match="ld:open">
52    <xsl:text>(</xsl:text>
53    <xsl:call-template name="sp"/>
54 </xsl:template>
55
56 <xsl:template match="ld:close">
57    <xsl:text>)</xsl:text>
58    <xsl:call-template name="sp"/>
59 </xsl:template>
60
61 <xsl:template match="ld:star">
62    <xsl:text>*</xsl:text>
63    <xsl:call-template name="sp"/>
64 </xsl:template>
65
66 <xsl:template match="ld:plus">
67    <xsl:text>+</xsl:text>
68    <xsl:call-template name="sp"/>
69 </xsl:template>
70
71 <xsl:template match="ld:stop">
72    <xsl:text>;</xsl:text>
73    <xsl:call-template name="sp"/>
74 </xsl:template>
75
76 </xsl:stylesheet>