separation between Grammar Zoo and Grammar Tank

git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1027 ab42f6e0-554d-0410-b580-99e487e6eeb2
slps · Apr 21, 2011 · e0cfa05 · e0cfa05
1 parent 3c4ad06
commit e0cfa05
Show file tree

Hide file tree

Showing 7 changed files with 483 additions and 478 deletions.
diff --git a/Makefile b/Makefile
@@ -18,8 +18,9 @@ zooprj:
 	make -f _dev/Makefile.cpp.zoo
 	make -f _dev/Makefile.csharp.zoo
 	make -f _dev/Makefile.java.zoo
-	make -f _dev/Makefile.fl.zoo
 	make -f _dev/Makefile.xpath.zoo
+	make -f _dev/Makefile.fl.tank
+	make -f _dev/Makefile.ebnf.tank
 	make zoolists
 
 zoolists:

diff --git a/_dev/Makefile.ebnf.tank b/_dev/Makefile.ebnf.tank
@@ -0,0 +1,38 @@
+all:
+	make bgf            -f _dev/Makefile.ebnf.tank
+	make bnf-bgf        -f _dev/Makefile.ebnf.tank
+	make bnf-sdf        -f _dev/Makefile.ebnf.tank
+	make ebnf-iso       -f _dev/Makefile.ebnf.tank
+	make ebnf-sdf       -f _dev/Makefile.ebnf.tank
+	make rascal         -f _dev/Makefile.ebnf.tank
+	make yacc           -f _dev/Makefile.ebnf.tank
+	chmod 644 tank/ebnf/*.bgf
+	ls -1 tank/ebnf/*.bgf | xargs -n1 -I _ basename _ .bgf | xargs -n1 -I ZZZ make ZZZ.formats -f _dev/Makefile.ebnf.tank
+
+%.formats:
+	../shared/tools/bgf2html tank/ebnf/$*.bgf tank/ebnf/$*.html
+	../shared/tools/bgf2bnf  tank/ebnf/$*.bgf tank/ebnf/$*.bnf
+	../shared/tools/bgf2dms  tank/ebnf/$*.bgf tank/ebnf/$*.dms
+	../shared/tools/bgf2sdf  tank/ebnf/$*.bgf tank/ebnf/$*.sdf
+	../shared/tools/bgf2rsc  tank/ebnf/$*.bgf tank/ebnf/$*.rsc
+
+bgf:
+	../shared/tools/xsd2bgf ../shared/xsd/bgf.xsd tank/ebnf/bgf.bgf
+
+bnf-bgf:
+	cp ../topics/grammars/bnf/bnf-bgf.bgf tank/ebnf/bnf-bgf.bgf
+
+bnf-sdf:
+	cp ../topics/grammars/bnf/bnf.sdf.fix.bgf tank/ebnf/bnf-sdf.bgf
+
+ebnf-iso:
+	cp ../topics/grammars/bnf/ebnf.iso.informal.fix.bgf tank/ebnf/ebnf-iso.bgf
+
+ebnf-sdf:
+	cp ../topics/grammars/bnf/ebnf.sdf.fix.bgf tank/ebnf/ebnf-sdf.bgf
+
+rascal:
+	cp ../topics/grammars/rascal/rascal.true.bgf tank/ebnf/rascal.bgf
+
+yacc:
+	cp ../topics/grammars/bnf/yacc.sdf.fix.bgf tank/ebnf/yacc.bgf
diff --git a/_dev/Makefile.fl.tank b/_dev/Makefile.fl.tank
@@ -0,0 +1,19 @@
+all:
+	make antlr  -f _dev/Makefile.fl.tank
+	make dcg    -f _dev/Makefile.fl.tank
+	make ecore  -f _dev/Makefile.fl.tank
+	make ecore2 -f _dev/Makefile.fl.tank
+	make jaxb   -f _dev/Makefile.fl.tank
+	make om     -f _dev/Makefile.fl.tank
+	make sdf    -f _dev/Makefile.fl.tank
+	make txl    -f _dev/Makefile.fl.tank
+	make xsd    -f _dev/Makefile.fl.tank
+	chmod 644 tank/fl/*.bgf
+
+%:
+	cp ../topics/convergence/fl/snapshot/$*.bgf tank/fl/$*.bgf
+	../shared/tools/bgf2html tank/fl/$*.bgf tank/fl/$*.html
+	../shared/tools/bgf2bnf tank/fl/$*.bgf tank/fl/$*.bnf
+	../shared/tools/bgf2dms tank/fl/$*.bgf tank/fl/$*.dms
+	../shared/tools/bgf2sdf tank/fl/$*.bgf tank/fl/$*.sdf
+	../shared/tools/bgf2rsc tank/fl/$*.bgf tank/fl/$*.rsc
diff --git a/_dev/listgrammars.xslt b/_dev/listgrammars.xslt
@@ -175,6 +175,7 @@
 						<xsl:text>Rascal Meta Programming Language:</xsl:text>
 						<span class="links">
 							[<a href="http://www.rascal-mpl.org/">Rascal MPL</a>]
+							[<a href="http://www.cwi.nl/research-groups/Software-Analysis-and-Transformation">SWAT</a>]
 						</span>
 					</li>
 				</ul>
@@ -210,15 +211,27 @@
 			<xsl:copy-of select="name/node()"/>
 			<xsl:text> tools: </xsl:text>
 			<span class="links">
-				<xsl:for-each select="link">
-					[<a href="{uri}"><xsl:value-of select="name"/></a>]
-				</xsl:for-each>
+				<xsl:apply-templates select="link"/>
 			</span>
 		</li>
 	</xsl:template>
+	<xsl:template match="link">
+		<xsl:text> [</xsl:text>
+		<xsl:if test="uri">
+			<a xmlns="http://www.w3.org/1999/xhtml" href="{uri}">
+				<xsl:value-of select="name"/>
+			</a>
+		</xsl:if>
+		<xsl:if test="mu">
+			<a xmlns="http://www.w3.org/1999/xhtml" href="http://slps.svn.sourceforge.net/viewvc/slps/{mu}?view=markup">
+				<xsl:value-of select="name"/>
+			</a>
+		</xsl:if>
+		<xsl:text>] </xsl:text>
+	</xsl:template>
 	<xsl:template match="source">
 		<li>
-			<xsl:text>Source: </xsl:text>
+			<strong>Source: </strong>
 			<xsl:copy-of select="title/node()"/>
 			<xsl:if test="date">
 				<xsl:text> (</xsl:text>
@@ -230,9 +243,7 @@
 				<xsl:value-of select="specific"/>
 			</xsl:if>
 			<span class="links">
-				<xsl:for-each select="link">
-				[<a href="{uri}"><xsl:value-of select="name"/></a>]
-			</xsl:for-each>
+				<xsl:apply-templates select="link"/>
 			</span>
 		</li>
 	</xsl:template>
@@ -257,9 +268,7 @@
 		<li>
 			<xsl:copy-of select="name/node()"/>
 			<span class="links">
-				<xsl:for-each select="link">
-					[<a href="{uri}"><xsl:value-of select="name"/></a>]
-				</xsl:for-each>
+				<xsl:apply-templates select="link"/>
 			</span>
 		</li>
 	</xsl:template>

diff --git a/_dev/zoo.xml b/_dev/zoo.xml
@@ -4,37 +4,41 @@
 	<toolset name="lll">
 		<name>Extraction</name>
 		<link>
-			<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/bnf2bgf/pdf2lll.py?view=markup</uri>
+			<mu>topics/extraction/bnf2bgf/pdf2lll.py</mu>
 			<name>PDF⇒LLL</name>
 		</link>
 		<link>
-			<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/bnf2bgf/lll2bgf.py?view=markup</uri>
+			<mu>topics/extraction/bnf2bgf/lll2bgf.py</mu>
 			<name>LLL⇒BGF</name>
 		</link>
 	</toolset>
 	<toolset name="bnfdmssdfrsc">
 		<name>Export</name>
 		<link>
-			<uri>http://slps.svn.sourceforge.net/viewvc/slps/shared/xsl/bgf2bnf.xslt?view=markup</uri>
+			<mu>topics/export/hypertext/bgf2xhtml.xslt</mu>
+			<name>BGF⇒HTML</name>
+		</link>
+		<link>
+			<mu>shared/xsl/bgf2bnf.xslt</mu>
 			<name>BGF⇒BNF</name>
 		</link>
 		<link>
-			<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/export/ebnf/bgf2dms.xslt?view=markup</uri>
+			<mu>topics/export/ebnf/bgf2dms.xslt</mu>
 			<name>BGF⇒DMS</name>
 		</link>
 		<link>
-			<uri>http://slps.svn.sourceforge.net/viewvc/slps/shared/xsl/bgf2sdf.xslt?view=markup</uri>
+			<mu>shared/xsl/bgf2sdf.xslt</mu>
 			<name>BGF⇒SDF</name>
 		</link>
 		<link>
-			<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/export/rascal/bgf2rsc.xslt?view=markup</uri>
+			<mu>topics/export/rascal/bgf2rsc.xslt</mu>
 			<name>BGF⇒Rascal</name>
 		</link>
 	</toolset>
 	<toolset name="scraping">
 		<name>Extraction</name>
 		<link>
-			<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/bnf2bgf/html2bgf.py?view=markup</uri>
+			<mu>topics/extraction/bnf2bgf/html2bgf.py</mu>
 			<name>HTML⇒BGF</name>
 		</link>
 	</toolset>
@@ -316,34 +320,34 @@
 					<name>GDK</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/bnf2bgf/lll2bgf.py?view=markup</uri>
+					<mu>topics/extraction/bnf2bgf/lll2bgf.py</mu>
 					<name>LLL⇒BGF</name>
 				</link>
 			</toolset>
 			<toolset>
 				<name>Transformation</name>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/recovery/csharp/trafo/deyaccify.trafo?view=markup</uri>
+					<mu>topics/recovery/csharp/trafo/deyaccify.trafo</mu>
 					<name>deyaccify</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/recovery/csharp/trafo/adapt.trafo?view=markup</uri>
+					<mu>topics/recovery/csharp/trafo/adapt.trafo</mu>
 					<name>adapt</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/recovery/csharp/trafo/disambiguate.trafo?view=markup</uri>
+					<mu>topics/recovery/csharp/trafo/disambiguate.trafo</mu>
 					<name>disambiguate</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/recovery/csharp/trafo/fixerrors.trafo?view=markup</uri>
+					<mu>topics/recovery/csharp/trafo/fixerrors.trafo</mu>
 					<name>fixerrors</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/recovery/csharp/trafo/expressions.trafo?view=markup</uri>
+					<mu>topics/recovery/csharp/trafo/expressions.trafo</mu>
 					<name>expressions</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/recovery/csharp/trafo/modularise.trafo?view=markup</uri>
+					<mu>topics/recovery/csharp/trafo/modularise.trafo</mu>
 					<name>modularise</name>
 				</link>
 			</toolset>
@@ -354,6 +358,10 @@
 					<uri>http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/</uri>
 					<name>GTTSE</name>
 				</link>
+				<link>
+					<uri>http://www.cs.vu.nl/lppr/</uri>
+					<name>LPPR</name>
+				</link>
 				<link>
 					<uri>http://grammarware.net/text/2005/toosharp.pdf</uri>
 					<name>Abstract</name>
@@ -532,7 +540,6 @@
 				<handle>jls3-impl</handle>
 			</grammar>
 			<toolset ref="scraping"/>
-			<toolset ref="bnfdmssdfrsc"/>
 			<source>
 				<title>Dieter Habelitz, <code>Java.g</code></title>
 				<date>2008</date>
@@ -548,19 +555,19 @@
 			<toolset>
 				<name>Recovery</name>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR3.rsc?view=markup</uri>
+					<mu>topics/extraction/antlr/ANTLR3.rsc</mu>
 					<name>ANTLR3.rsc</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrpp.py?view=markup</uri>
+					<mu>topics/extraction/antlr/antlrpp.py</mu>
 					<name>antlrpp.py</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g?view=markup</uri>
+					<mu>topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g</mu>
 					<name>StrippedANTLR.g</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/habelitz/post-extraction.xbgf?view=markup</uri>
+					<mu>topics/grammars/java/antlr-java-5/habelitz/post-extraction.xbgf</mu>
 					<name>post-extraction</name>
 				</link>
 			</toolset>
@@ -579,19 +586,19 @@
 			<toolset>
 				<name>Recovery</name>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR3.rsc?view=markup</uri>
+					<mu>topics/extraction/antlr/ANTLR3.rsc</mu>
 					<name>ANTLR3.rsc</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrpp.py?view=markup</uri>
+					<mu>topics/extraction/antlr/antlrpp.py</mu>
 					<name>antlrpp.py</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g?view=markup</uri>
+					<mu>topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g</mu>
 					<name>StrippedANTLR.g</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/parr/post-extraction.xbgf?view=markup</uri>
+					<mu>topics/grammars/java/antlr-java-5/parr/post-extraction.xbgf</mu>
 					<name>post-extraction</name>
 				</link>
 			</toolset>
@@ -610,19 +617,19 @@
 			<toolset>
 				<name>Recovery</name>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR2.rsc?view=markup</uri>
+					<mu>topics/extraction/antlr/ANTLR2.rsc</mu>
 					<name>ANTLR2.rsc</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrpp.py?view=markup</uri>
+					<mu>topics/extraction/antlr/antlrpp.py</mu>
 					<name>antlrpp.py</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g?view=markup</uri>
+					<mu>topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g</mu>
 					<name>StrippedANTLR.g</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/stahl/post-extraction.xbgf?view=markup</uri>
+					<mu>topics/grammars/java/antlr-java-5/stahl/post-extraction.xbgf</mu>
 					<name>post-extraction</name>
 				</link>
 			</toolset>
@@ -641,22 +648,23 @@
 			<toolset>
 				<name>Recovery</name>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR2.rsc?view=markup</uri>
+					<mu>topics/extraction/antlr/ANTLR2.rsc</mu>
 					<name>ANTLR2.rsc</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrpp.py?view=markup</uri>
+					<mu>topics/extraction/antlr/antlrpp.py</mu>
 					<name>antlrpp.py</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g?view=markup</uri>
+					<mu>topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g</mu>
 					<name>StrippedANTLR.g</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/studman/post-extraction.xbgf?view=markup</uri>
+					<mu>topics/grammars/java/antlr-java-5/studman/post-extraction.xbgf</mu>
 					<name>post-extraction</name>
 				</link>
 			</toolset>
+			<toolset ref="bnfdmssdfrsc"/>
 			<itemset ref="javapubs"/>
 			<item>
 				<name>R. Lämmel, V. Zaytsev. <em>Comparison of Context-free Grammars Based on Parsing Generated Test Data.</em></name>
@@ -695,22 +703,23 @@
 			<toolset>
 				<name>Extraction</name>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/w3c/spec2bgf.xslt?view=markup</uri>
+					<mu>topics/extraction/w3c/spec2bgf.xslt</mu>
 					<name>XSLT1</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/w3c/postfix2confix.xslt?view=markup</uri>
+					<mu>topics/extraction/w3c/postfix2confix.xslt</mu>
 					<name>XSLT2</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/w3c/cleanup.xslt?view=markup</uri>
+					<mu>topics/extraction/w3c/cleanup.xslt</mu>
 					<name>XSLT3</name>
 				</link>
 				<link>
-					<uri>http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/xpath/xpath1.normalize.xbgf?view=markup</uri>
+					<mu>topics/grammars/xpath/xpath1.normalize.xbgf</mu>
 					<name>XBGF</name>
 				</link>
 			</toolset>
+			<toolset ref="bnfdmssdfrsc"/>
 			<item>
 				<name>V. Zaytsev, R. Lämmel. <em>A Unified Format for Language Documents.</em> SLE 2010.</name>
 				<link>