Skip to content

Commit

Permalink
connecting Ada grammars properly
Browse files Browse the repository at this point in the history 
git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1034 ab42f6e0-554d-0410-b580-99e487e6eeb2
  • Loading branch information
@grammarware
grammarware committed May 18, 2011
1 parent f39189b commit e450d46
Show file tree
Hide file tree
Showing 4 changed files with 60 additions and 23 deletions.
7 changes: 4 additions & 3 deletions _dev/Makefile.ada.zoo
View file
@@ -1,9 +1,10 @@
all:
make iso-8652-1995 -f _dev/Makefile.ada.zoo
make kempe -f _dev/Makefile.ada.zoo
make laemmel-verhoef -f _dev/Makefile.ada.zoo

%:
cp ../topics/grammars/ada/$*/iso-ada-fix.bgf zoo/ada/$*.bgf
cp ../topics/grammars/ada/$*/iso-grammar.txt zoo/ada/$*.lll
cp ../topics/grammars/ada/$*/ada.bgf zoo/ada/$*.bgf
#cp ../topics/grammars/ada/$*/iso-grammar.txt zoo/ada/$*.lll
../shared/tools/bgf2html zoo/ada/$*.bgf zoo/ada/$*.html
../shared/tools/bgf2bnf zoo/ada/$*.bgf zoo/ada/$*.bnf
../shared/tools/bgf2dms zoo/ada/$*.bgf zoo/ada/$*.dms
Expand Down
46 changes: 37 additions & 9 deletions _dev/zoo.xml
View file
Expand Up @@ -157,13 +157,25 @@
<version>
<name>Ada 95</name>
<source>
<title>ISO/IEC 8652:1995 <em xmlns="http://www.adahome.com/rm95/rm9x-toc.html">Information Technology — Programming Languages — Ada</em></title>
<title>ISO/IEC 8652:1995 <em xmlns="http://www.w3.org/1999/xhtml">Information Technology — Programming Languages — Ada</em></title>
<date>1995</date>
<specific>Annex P, pages 479–493</specific>
</source>
<source>
<title>Magnus Kempe, <em xmlns="http://www.w3.org/1999/xhtml">Ada 95 Reference Manual</em>, Hypertext version</title>
<date>1994–1997</date>
<link>
<uri>http://www.adahome.com/rm95/rm9x-toc.html</uri>
<name>TOC</name>
</link>
<link>
<uri>http://www.adahome.com/rm95/rm9x-P.html</uri>
<name>Annex</name>
</link>
</source>
<grammar>
<name>Extracted</name>
<handle>iso-8652-1995</handle>
<name>Recovered</name>
<handle>kempe</handle>
</grammar>
<toolset>
<name>Extraction</name>
Expand All @@ -172,14 +184,14 @@
<name>LLL⇒BGF</name>
</link>
<link>
<mu>topics/grammars/ada/iso-8652-1995/post-extract.xbgf</mu>
<mu>topics/grammars/ada/kempe/post-extract.xbgf</mu>
<name>XBGF</name>
</link>
</toolset>
<toolset>
<name>Recovery</name>
<link>
<mu>topics/grammars/ada/iso-8652-1995/keywords.lst</mu>
<mu>topics/grammars/ada/kempe/keywords.lst</mu>
<name>Keywords</name>
</link>
<link>
Expand All @@ -191,14 +203,30 @@
<name>XBGF</name>
</link>
</toolset>
<toolset ref="bnfdmssdfrsc"/>
<item>
<name>Ralf Lämmel &amp; Chris Verhoef. <em>Engineering of Grammarware. Browsable Ada 95 Grammar 1.0</em>. CWI, VU, December 2000.</name>
<source>
<title>Ralf Lämmel, Chris Verhoef. <em xmlns="http://www.w3.org/1999/xhtml">Engineering of Grammarware. Browsable Ada 95 Grammar</em> 1.0.</title>
<date>December 2000</date>
<link>
<uri>http://www.cs.vu.nl/grammarware/ada/</uri>
<name>Grammar</name>
</link>
</item>
</source>
<grammar>
<name>Extracted</name>
<handle>laemmel-verhoef</handle>
</grammar>
<toolset>
<name>Extraction</name>
<link>
<mu>topics/grammars/ada/laemmel-verhoef/config.edd</mu>
<name>EDD</name>
</link>
<link>
<mu>topics/grammars/ada/laemmel-verhoef/extract.py</mu>
<name>extract.py</name>
</link>
</toolset>
<toolset ref="bnfdmssdfrsc"/>
</version>
</language>
<!-- ================================================================ -->
Expand Down
2 changes: 1 addition & 1 deletion tank/index.html
View file
Expand Up @@ -462,4 +462,4 @@
[<a href="http://www.cwi.nl/research-groups/Software-Analysis-and-Transformation">SWAT</a>]
</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
or 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><span class="links">[<a href="/">↑SLPS</a>]</span><em>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: 17/05/2011</em><br></br><img src="http://i.creativecommons.org/l/by/3.0/88x31.png" alt="CC-BY"></img><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>
or 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><span class="links">[<a href="/">↑SLPS</a>]</span><em>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: 18/05/2011</em><br></br><img src="http://i.creativecommons.org/l/by/3.0/88x31.png" alt="CC-BY"></img><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>
28 changes: 18 additions & 10 deletions zoo/index.html
View file
Expand Up @@ -14,15 +14,23 @@
The objective of the Grammar Zoo is to accumulate grammars of contemporary
programming languages, extracted and recovered from language documentation, parser
specifications and other artifacts and make them available in a range of formats.
</em></div><h2>30 grammars and counting</h2><h1><a href="#ada">Ada</a> — <a href="#c">C</a> — <a href="#cpp">C++</a> — <a href="#csharp">C#</a> — <a href="#fortran">Fortran</a> — <a href="#java">Java</a> — <a href="#modula">Modula</a> — <a href="#xpath">XPath</a></h1><hr></hr><h2><a name="ada"></a>Ada<br></br><a href="#Ada 95">Ada 95</a></h2><h3><a name="Ada_95"></a>Ada 95</h3><ul><li><strong>Source: </strong>ISO/IEC 8652:1995 <em xmlns="http://www.adahome.com/rm95/rm9x-toc.html">Information Technology — Programming Languages — Ada</em> (1995), Annex P: Syntax Summary<span class="links"></span></li><li>Extracted grammar: <span class="links">
[<a href="ada/iso-8652-1995.html">Browsable</a>]
[<a href="ada/iso-8652-1995.bgf">BGF</a>]
[<a href="ada/iso-8652-1995.bnf">EBNF</a>]

[<a href="ada/iso-8652-1995.dms">DMS BNF</a>]
[<a href="ada/iso-8652-1995.sdf">SDF</a>]
[<a href="ada/iso-8652-1995.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/bnf2bgf/lll2bgf.py?view=markup">LLL⇒BGF</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/iso-8652-1995/post-extract.xbgf?view=markup">XBGF</a>] </span></li><li>Recovery tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/python/keywords2xbgf.py?view=markup">keywords2xbgf</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/iso-8652-1995/correct.xbgf?view=markup">XBGF</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>Ralf Lämmel &amp; Chris Verhoef. <em xmlns="">Engineering of Grammarware. Browsable Ada 95 Grammar 1.0</em>. CWI, VU, 2000.<span class="links"> [<a href="http://www.cs.vu.nl/grammarware/ada/">Grammar</a>] </span></li></ul><hr></hr><h2><a name="c"></a>C<br></br><a href="#ISO C 1999">ISO C 1999</a> — <a href="#ISO C 2005">ISO C 2005</a> — <a href="#ISO C 2007">ISO C 2007</a></h2><h3><a name="ISO_C_1999"></a>ISO C 1999</h3><ul><li><strong>Source: </strong>ISO/IEC 9899:1999(E) <em>Programming languages — C</em> (December 1999), Annex A, pages 402–416<span class="links"></span></li><li>Extracted grammar: <span class="links">
</em></div><h2>31 grammars and counting</h2><h1><a href="#ada">Ada</a> — <a href="#c">C</a> — <a href="#cpp">C++</a> — <a href="#csharp">C#</a> — <a href="#fortran">Fortran</a> — <a href="#java">Java</a> — <a href="#modula">Modula</a> — <a href="#xpath">XPath</a></h1><hr></hr><h2><a name="ada"></a>Ada<br></br><a href="#Ada 95">Ada 95</a></h2><h3><a name="Ada_95"></a>Ada 95<em> (2 grammars)</em></h3><ul><li><strong>Source: </strong>ISO/IEC 8652:1995 <em>Information Technology — Programming Languages — Ada</em> (1995), Annex P, pages 479–493<span class="links"></span></li><li><strong>Source: </strong>Magnus Kempe, <em>Ada 95 Reference Manual</em>, Hypertext version (1994–1997)<span class="links"> [<a href="http://www.adahome.com/rm95/rm9x-toc.html">TOC</a>] [<a href="http://www.adahome.com/rm95/rm9x-P.html">Annex</a>] </span></li><li>Recovered grammar: <span class="links">
[<a href="ada/kempe.html">Browsable</a>]
[<a href="ada/kempe.bgf">BGF</a>]
[<a href="ada/kempe.bnf">EBNF</a>]

[<a href="ada/kempe.dms">DMS BNF</a>]
[<a href="ada/kempe.sdf">SDF</a>]
[<a href="ada/kempe.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/bnf2bgf/lll2bgf.py?view=markup">LLL⇒BGF</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/kempe/post-extract.xbgf?view=markup">XBGF</a>] </span></li><li>Recovery tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/kempe/keywords.lst?view=markup">Keywords</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/python/keywords2xbgf.py?view=markup">Keywords⇒XBGF</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/iso-8652-1995/correct.xbgf?view=markup">XBGF</a>] </span></li><li><strong>Source: </strong>Ralf Lämmel, Chris Verhoef. <em>Engineering of Grammarware. Browsable Ada 95 Grammar</em> 1.0. (December 2000)<span class="links"> [<a href="http://www.cs.vu.nl/grammarware/ada/">Grammar</a>] </span></li><li>Extracted grammar: <span class="links">
[<a href="ada/laemmel-verhoef.html">Browsable</a>]
[<a href="ada/laemmel-verhoef.bgf">BGF</a>]
[<a href="ada/laemmel-verhoef.bnf">EBNF</a>]

[<a href="ada/laemmel-verhoef.dms">DMS BNF</a>]
[<a href="ada/laemmel-verhoef.sdf">SDF</a>]
[<a href="ada/laemmel-verhoef.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/laemmel-verhoef/config.edd?view=markup">EDD</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/laemmel-verhoef/extract.py?view=markup">extract.py</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></ul><hr></hr><h2><a name="c"></a>C<br></br><a href="#ISO C 1999">ISO C 1999</a> — <a href="#ISO C 2005">ISO C 2005</a> — <a href="#ISO C 2007">ISO C 2007</a></h2><h3><a name="ISO_C_1999"></a>ISO C 1999</h3><ul><li><strong>Source: </strong>ISO/IEC 9899:1999(E) <em>Programming languages — C</em> (December 1999), Annex A, pages 402–416<span class="links"></span></li><li>Extracted grammar: <span class="links">
[<a href="c/iso-9899-1999.html">Browsable</a>]
[<a href="c/iso-9899-1999.bgf">BGF</a>]
[<a href="c/iso-9899-1999.bnf">EBNF</a>]
Expand Down Expand Up @@ -304,4 +312,4 @@
[<a href="http://www.cwi.nl/research-groups/Software-Analysis-and-Transformation">SWAT</a>]
</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
or 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><span class="links">[<a href="/">↑SLPS</a>]</span><em>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: 17/05/2011</em><br></br><img src="http://i.creativecommons.org/l/by/3.0/88x31.png" alt="CC-BY"></img><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>
or 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><span class="links">[<a href="/">↑SLPS</a>]</span><em>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: 18/05/2011</em><br></br><img src="http://i.creativecommons.org/l/by/3.0/88x31.png" alt="CC-BY"></img><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>

0 comments on commit e450d46

Please sign in to comment.