Skip to content

Commit

Permalink
+Ada95 grammar from ANTLR
Browse files Browse the repository at this point in the history 
git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1047 ab42f6e0-554d-0410-b580-99e487e6eeb2
  • Loading branch information
@grammarware
grammarware committed May 23, 2011
1 parent 55317d0 commit 3126ecb
Show file tree
Hide file tree
Showing 3 changed files with 47 additions and 4 deletions.
2 changes: 1 addition & 1 deletion _dev/Makefile.ada.zoo
View file
Expand Up @@ -3,6 +3,7 @@ all:
make laemmel-verhoef -f _dev/Makefile.ada.zoo
make lncs-2219 -f _dev/Makefile.ada.zoo
make lncs-4348 -f _dev/Makefile.ada.zoo
make kellogg -f _dev/Makefile.ada.zoo
rm tmp.xml

%:
Expand All @@ -12,5 +13,4 @@ all:
../shared/tools/bgf2sdf zoo/ada/$*.bgf zoo/ada/$*.sdf
../shared/tools/bgf2rsc zoo/ada/$*.bgf zoo/ada/$*.rsc
_dev/fancy ada $* ada$*

chmod 644 zoo/ada/*.bgf
35 changes: 35 additions & 0 deletions _dev/zoo.xml
View file
Expand Up @@ -285,6 +285,41 @@
</link>
</toolset>
<toolset ref="bnfdmssdfrsc"/>
<source id="adakellogg">
<title>Oliver Kellogg, <code xmlns="http://www.w3.org/1999/xhtml">ada.g</code></title>
<date>2003</date>
<link>
<slps>topics/grammars/ada/kellogg/README.txt</slps>
<name>ReadMe</name>
</link>
<link>
<uri>http://www.antlr.org/grammar/ada/ada.g</uri>
<name>ANTLR</name>
</link>
</source>
<grammar>
<name>Kellogg</name>
<handle>kellogg</handle>
</grammar>
<toolset>
<name>Extraction</name>
<link>
<mu>topics/extraction/antlr/ANTLR2.rsc</mu>
<name>ANTLR2.rsc</name>
</link>
<link>
<mu>topics/extraction/antlr/antlrpp.py</mu>
<name>antlrpp.py</name>
</link>
<link>
<mu>topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g</mu>
<name>StrippedANTLR.g</name>
</link>
<link>
<mu>topics/grammars/ada/kellogg/post-extraction.xbgf</mu>
<name>post-extraction</name>
</link>
</toolset>
</version>
<version>
<name>Ada 2005</name>
Expand Down
14 changes: 11 additions & 3 deletions zoo/index.html
View file
Expand Up @@ -14,7 +14,7 @@
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>33 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> — <a href="#Ada 2005">Ada 2005</a></h2><h3><a name="Ada_95"></a>Ada 95<em> (3 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://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/kempe/README.txt">ReadMe</a>] [<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">
</em></div><h2>34 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> — <a href="#Ada 2005">Ada 2005</a></h2><h3><a name="Ada_95"></a>Ada 95<em> (4 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://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/kempe/README.txt">ReadMe</a>] [<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>]
Expand Down Expand Up @@ -42,7 +42,15 @@
[<a href="ada/lncs-2219.dms">DMS BNF</a>]
[<a href="ada/lncs-2219.sdf">SDF</a>]
[<a href="ada/lncs-2219.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/lncs-2219/config.edd?view=markup">EDD</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/hunter.py?view=markup">Hunter</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/lncs-2219/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/lncs-2219/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></ul><h3><a name="Ada_2005"></a>Ada 2005</h3><ul><li><strong>Source: </strong>
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/lncs-2219/config.edd?view=markup">EDD</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/hunter.py?view=markup">Hunter</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/lncs-2219/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/lncs-2219/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><strong>Source: </strong>Oliver Kellogg, <code>ada.g</code> (2003)<span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/kellogg/README.txt">ReadMe</a>] [<a href="http://www.antlr.org/grammar/ada/ada.g">ANTLR</a>] </span></li><li>Kellogg grammar: <span class="links">
[<a href="ada/kellogg.html">Browsable</a>]
[<a href="ada/kellogg.bgf">BGF</a>]
[<a href="ada/kellogg.bnf">EBNF</a>]

[<a href="ada/kellogg.dms">DMS BNF</a>]
[<a href="ada/kellogg.sdf">SDF</a>]
[<a href="ada/kellogg.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR2.rsc?view=markup">ANTLR2.rsc</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrpp.py?view=markup">antlrpp.py</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g?view=markup">StrippedANTLR.g</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/ada/kellogg/post-extraction.xbgf?view=markup">post-extraction</a>] </span></li></ul><h3><a name="Ada_2005"></a>Ada 2005</h3><ul><li><strong>Source: </strong>
International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1.
<em>Ada 2005 Reference Manual. Language and Standard Libraries</em>.
Also published as LNCS 4348 with Taft, S.T.; Duff, R.A.; Brukardt, R.L.; Ploedereder, E.; Leroy, P. as editors.
Expand Down Expand Up @@ -337,4 +345,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: 21/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: 23/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>

0 comments on commit 3126ecb

Please sign in to comment.