]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_ebnf.xsl
- advances in the site generation architecture
[helm.git] / helm / www / lambdadelta / xslt / ld_web_ebnf.xsl
index 5599defa6fcd2e12d21220d19a5b53b45657f700..5378a111ebf19bb190525160d26155ca528d65f3 100644 (file)
@@ -13,9 +13,7 @@
 </xsl:template>
 
 <xsl:template match="ld:prod">
-   <xsl:text>&lt;</xsl:text>
    <xsl:value-of select="@of"/>
-   <xsl:text>&gt;</xsl:text>
    <xsl:call-template name="sp"/>
 </xsl:template>
 
    <xsl:call-template name="sp"/>
 </xsl:template>
 
-<xsl:template match="ld:str">
+<xsl:template match="ld:str1">
    <xsl:text>"</xsl:text>
    <xsl:value-of select="@of"/>
    <xsl:text>"</xsl:text>
    <xsl:call-template name="sp"/>
 </xsl:template>
 
-<xsl:template match="ld:chr">
+<xsl:template match="ld:str2">
    <xsl:text>'</xsl:text>
    <xsl:value-of select="@of"/>
    <xsl:text>'</xsl:text>
    <xsl:call-template name="sp"/>
 </xsl:template>
 
+<xsl:template match="ld:xchr">
+   <xsl:text>#</xsl:text>
+   <xsl:value-of select="@of"/>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
+<xsl:template match="ld:and">
+   <xsl:text>,</xsl:text>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
 <xsl:template match="ld:or">
    <xsl:text>|</xsl:text>
    <xsl:call-template name="sp"/>
 </xsl:template>
 
 <xsl:template match="ld:etc">
+   <xsl:text>|</xsl:text>
+   <xsl:call-template name="sp"/>   
    <xsl:text>...</xsl:text>
    <xsl:call-template name="sp"/>
+   <xsl:text>|</xsl:text>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
+<xsl:template match="ld:but">
+   <xsl:text>-</xsl:text>
+   <xsl:call-template name="sp"/>
 </xsl:template>
 
 <xsl:template match="ld:open">
    <xsl:call-template name="sp"/>
 </xsl:template>
 
+<xsl:template match="ld:opt">
+   <xsl:text>*</xsl:text>
+   <xsl:call-template name="sp"/>
+   <xsl:text>1</xsl:text>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
 <xsl:template match="ld:plus">
-   <xsl:text>+</xsl:text>
+   <xsl:text>1</xsl:text>
+   <xsl:call-template name="sp"/>
+   <xsl:text>*</xsl:text>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
+<xsl:template match="ld:spec">
+   <xsl:value-of select="@of"/>
+   <xsl:call-template name="sp"/>
+   <xsl:text>*</xsl:text>
+   <xsl:call-template name="sp"/>
+   <xsl:value-of select="@of"/>
    <xsl:call-template name="sp"/>
 </xsl:template>