updating EDD to new format; adding Gobo Eiffel grammar

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1068 ab42f6e0-554d-0410-b580-99e487e6eeb2
slps · May 27, 2011 · 7634feb · 7634feb
1 parent fdc07b1
commit 7634feb
Show file tree

Hide file tree

Showing 4 changed files with 387 additions and 7 deletions.
diff --git a/_dev/list2xhtml.xslt b/_dev/list2xhtml.xslt
@@ -85,12 +85,12 @@
 						<a name="{translate(handle,' +#“”','_ps__')}"/>
 						<xsl:value-of select="name"/>
 						<br/>
-						<a href="#{version[1]/name}">
+						<a href="#{translate(version[1]/name,' +#“”','_ps__')}">
 							<xsl:value-of select="version[1]/name"/>
 						</a>
 						<xsl:for-each select="version[position()&gt;1]">
 							<xsl:text> — </xsl:text>
-							<a href="#{name}">
+							<a href="#{translate(name,' +#“”','_ps__')}">
 								<xsl:value-of select="name"/>
 							</a>
 						</xsl:for-each>

diff --git a/_dev/zoo.xml b/_dev/zoo.xml
@@ -788,13 +788,56 @@
 		<handle>eiffel</handle>
 		<name>Eiffel</name>
 		<version>
-			<name>Eiffel</name>
+			<name>Gobo Eiffel</name>
+			<source id="eiffel-bezault">
+				<title>Eric Bezault,
+				 <em xmlns="http://www.w3.org/1999/xhtml">Eiffel: The Syntax</em></title>
+				<date>1999</date>
+				<link>
+					<slps>topics/grammars/eiffel/bezault/README.txt</slps>
+					<name>ReadMe</name>
+				</link>
+				<link>
+					<uri>http://www.gobosoft.com/eiffel/syntax/</uri>
+					<name>Online</name>
+				</link>
+			</source>
+			<grammar>
+				<name>Recovered</name>
+				<handle>bezault</handle>
+			</grammar>
+			<toolset>
+				<name>Extraction</name>
+				<link>
+					<mu>topics/grammars/eiffel/bezault/config.edd</mu>
+					<name>EDD</name>
+				</link>
+				<link>
+					<mu>topics/grammars/hunter.py</mu>
+					<name>Hunter</name>
+				</link>
+				<link>
+					<xbgf>eiffel/bezault-post-extract</xbgf>
+					<name>post-extract</name>
+				</link>
+			</toolset>
+			<toolset>
+				<name>Recovery</name>
+				<link>
+					<xbgf>eiffel/bezault-complete</xbgf>
+					<name>complete</name>
+				</link>
+			</toolset>
+			<toolset ref="bnfdmssdfrsc"/>
+		</version>
+		<version>
+			<name>ISO Eiffel</name>
 			<source id="eiffel-iso-25436-2006">
 				<title>ISO/IEC 25436:2006(E) <em xmlns="http://www.w3.org/1999/xhtml">Information technology — Eiffel: Analysis, Design and Programming Language</em></title>
 				<date>2006</date>
 				<specific>Syntax sections collected from pages 30–158</specific>
 				<link>
-					<slps>topics/grammars/eiffel/README.txt</slps>
+					<slps>topics/grammars/eiffel/iso-25436-2006/README.txt</slps>
 					<name>ReadMe</name>
 				</link>
 				<link>

diff --git a/tank/index.html b/tank/index.html
@@ -13,7 +13,7 @@
 					</script></head><body style="background-color:#9C9;"><h1>Software Language Processing Suite</h1><h1><a href="../zoo/">Grammar Zoo</a> | Grammar Tank</h1><div class="c"><em>
 							The objective of the Grammar Tank is to compose a grammar base of multiple different
 							grammars for the same intended language to be used in language engineering research.
-						</em></div><h2>51 grammars and counting</h2><h1><a href="#fl">FL</a> — <a href="#metasyntax">(E)BNF</a> — <a href="#tescol">TESCOL</a></h1><hr></hr><h2><a name="fl"></a>Factorial Language<br></br><a href="#FL in ANTLR">FL in ANTLR</a> — <a href="#FL in DCG">FL in DCG</a> — <a href="#FL in Ecore">FL in Ecore</a> — <a href="#FL in Java">FL in Java</a> — <a href="#FL in SDF">FL in SDF</a> — <a href="#FL in TXL">FL in TXL</a> — <a href="#FL in XML Schema">FL in XML Schema</a></h2><h3><a name="FL_in_ANTLR"></a>FL in ANTLR</h3><ul><li><strong>Source: </strong>
+						</em></div><h2>51 grammars and counting</h2><h1><a href="#fl">FL</a> — <a href="#metasyntax">(E)BNF</a> — <a href="#tescol">TESCOL</a></h1><hr></hr><h2><a name="fl"></a>Factorial Language<br></br><a href="#FL_in_ANTLR">FL in ANTLR</a> — <a href="#FL_in_DCG">FL in DCG</a> — <a href="#FL_in_Ecore">FL in Ecore</a> — <a href="#FL_in_Java">FL in Java</a> — <a href="#FL_in_SDF">FL in SDF</a> — <a href="#FL_in_TXL">FL in TXL</a> — <a href="#FL_in_XML_Schema">FL in XML Schema</a></h2><h3><a name="FL_in_ANTLR"></a>FL in ANTLR</h3><ul><li><strong>Source: </strong>
 					Ralf Lämmel, <code>FL.g</code>
 				 (17 May – 16 July 2008)<span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/java1/FL.g?view=markup">SVN</a>]  [<a href="http://www.antlr.org/">ANTLR</a>] </span></li><li>Extracted grammar: <span class="links">
 				[<a href="fl/antlr.html" class="red">Browsable</a>]
@@ -103,7 +103,7 @@
 				[<a href="fl/xsd.dms">DMS BNF</a>]
 				[<a href="fl/xsd.sdf">SDF</a>]
 				[<a href="fl/xsd.rsc">Rascal</a>]
-			</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/prolog/cli/xsd2bgf.pro?view=markup">xsd2bgf.pro</a>] </span></li><li>Export tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/export/hypertext/bgf2xhtml.xslt?view=markup">BGF⇒HTML</a>]  [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/xsl/bgf2bnf.xslt?view=markup">BGF⇒BNF</a>]  [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/export/ebnf/bgf2dms.xslt?view=markup">BGF⇒DMS</a>]  [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/xsl/bgf2sdf.xslt?view=markup">BGF⇒SDF</a>]  [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/export/rascal/bgf2rsc.xslt?view=markup">BGF⇒Rascal</a>] </span></li><li>R. Lämmel, V. Zaytsev. <em>An Introduction to Grammar Convergence.</em> iFM 2009.<span class="links"> [<a href="http://www.formal-methods.de/ifm09/">iFM</a>]  [<a href="http://dx.doi.org/10.1007/978-3-642-00255-7_17">LNCS</a>]  [<a href="http://portal.acm.org/citation.cfm?id=1506936.1506955">ACM</a>]  [<a href="http://grammarware.net/text/2009/convergence.pdf">Paper</a>]  [<a href="http://grammarware.net/slides/2009/ifm.pdf">Slides</a>] </span></li><li>V. Zaytsev. <em>Recovery, Convergence and Documentation of Languages.</em> Vrije Universiteit Amsterdam, 2010.<span class="links"> [<a href="http://grammarware.net/text/2010/zaytsev-thesis.pdf">Thesis</a>]  [<a href="http://grammarware.net/slides/2010/phd-swat.pdf">Slides</a>] </span></li></ul><hr></hr><h2><a name="metasyntax"></a>Metasyntax<br></br><a href="#BGF in XSD">BGF in XSD</a> — <a href="#BNF in BGF">BNF in BGF</a> — <a href="#BNF in SDF">BNF in SDF</a> — <a href="#EBNF of ISO">EBNF of ISO</a> — <a href="#EBNF in SDF">EBNF in SDF</a> — <a href="#Rascal">Rascal</a> — <a href="#YACC">YACC</a></h2><h3><a name="BGF_in_XSD"></a>BGF in XSD</h3><ul><li><strong>Source: </strong>
+			</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/prolog/cli/xsd2bgf.pro?view=markup">xsd2bgf.pro</a>] </span></li><li>Export tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/export/hypertext/bgf2xhtml.xslt?view=markup">BGF⇒HTML</a>]  [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/xsl/bgf2bnf.xslt?view=markup">BGF⇒BNF</a>]  [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/export/ebnf/bgf2dms.xslt?view=markup">BGF⇒DMS</a>]  [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/xsl/bgf2sdf.xslt?view=markup">BGF⇒SDF</a>]  [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/export/rascal/bgf2rsc.xslt?view=markup">BGF⇒Rascal</a>] </span></li><li>R. Lämmel, V. Zaytsev. <em>An Introduction to Grammar Convergence.</em> iFM 2009.<span class="links"> [<a href="http://www.formal-methods.de/ifm09/">iFM</a>]  [<a href="http://dx.doi.org/10.1007/978-3-642-00255-7_17">LNCS</a>]  [<a href="http://portal.acm.org/citation.cfm?id=1506936.1506955">ACM</a>]  [<a href="http://grammarware.net/text/2009/convergence.pdf">Paper</a>]  [<a href="http://grammarware.net/slides/2009/ifm.pdf">Slides</a>] </span></li><li>V. Zaytsev. <em>Recovery, Convergence and Documentation of Languages.</em> Vrije Universiteit Amsterdam, 2010.<span class="links"> [<a href="http://grammarware.net/text/2010/zaytsev-thesis.pdf">Thesis</a>]  [<a href="http://grammarware.net/slides/2010/phd-swat.pdf">Slides</a>] </span></li></ul><hr></hr><h2><a name="metasyntax"></a>Metasyntax<br></br><a href="#BGF_in_XSD">BGF in XSD</a> — <a href="#BNF_in_BGF">BNF in BGF</a> — <a href="#BNF_in_SDF">BNF in SDF</a> — <a href="#EBNF_of_ISO">EBNF of ISO</a> — <a href="#EBNF_in_SDF">EBNF in SDF</a> — <a href="#Rascal">Rascal</a> — <a href="#YACC">YACC</a></h2><h3><a name="BGF_in_XSD"></a>BGF in XSD</h3><ul><li><strong>Source: </strong>
 					Ralf Lämmel, Vadim Zaytsev, <code>bgf.xsd</code>
 				 (28 July 2008 – 5 February 2009)<span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/xsd/bgf.xsd?view=markup">SVN</a>] </span></li><li>Extracted grammar: <span class="links">
 				[<a href="metasyntax/bgf.html" class="red">Browsable</a>]
@@ -485,4 +485,4 @@
 						</span></li></ul><hr></hr><div class="last"><strong>
 						All grammars are distributed on terms of the <a href="http://creativecommons.org/licenses/by/3.0/">CC-BY</a> license
 						as well as on terms of any other license bound to the source of our research in a way that enforces
-						its propagation to derivatives.<br></br></strong>The page is maintained by Dr. <a href="http://grammarware.net/">Vadim Zaytsev</a> a.k.a. @<a href="http://twitter.com/grammarware">grammarware</a>. Last updated: 26/05/2011<span class="links">[<a href="/">↑SLPS</a>]</span><br></br><a href="http://creativecommons.org/licenses/by/3.0/"><img src="http://i.creativecommons.org/l/by/3.0/88x31.png" alt="CC-BY"></img></a><a href="http://validator.w3.org/check/referer"><img src="../img/vxhtml.png" alt="XHTML 1.0"></img></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="../img/vcss.png" alt="CSS 2.1"></img></a></div></body></html>
+						its propagation to derivatives.<br></br></strong>The page is maintained by Dr. <a href="http://grammarware.net/">Vadim Zaytsev</a> a.k.a. @<a href="http://twitter.com/grammarware">grammarware</a>. Last updated: 27/05/2011<span class="links">[<a href="/">↑SLPS</a>]</span><br></br><a href="http://creativecommons.org/licenses/by/3.0/"><img src="http://i.creativecommons.org/l/by/3.0/88x31.png" alt="CC-BY"></img></a><a href="http://validator.w3.org/check/referer"><img src="../img/vxhtml.png" alt="XHTML 1.0"></img></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="../img/vcss.png" alt="CSS 2.1"></img></a></div></body></html>