From 6b0c59606310ebe7a3eebd17fe684b9f43da703e Mon Sep 17 00:00:00 2001 From: grammarware Date: Tue, 18 Dec 2012 12:24:47 +0100 Subject: [PATCH] renewing the Zoo and the Tank --- slps.css | 7 +- tank/fl/antlr.html | 29 +--- tank/fl/dcg.html | 33 ++--- tank/fl/ecore.html | 29 +--- tank/fl/emf.html | 33 ++--- tank/fl/jaxb.html | 33 ++--- tank/fl/om.html | 33 ++--- tank/fl/sdf.html | 33 ++--- tank/fl/txl.html | 33 ++--- tank/fl/xsd.html | 33 ++--- tank/index.html | 126 +++++++++--------- tank/metasyntax/bgf.html | 33 ++--- tank/metasyntax/bnf-sdf-correct.html | 42 +++--- tank/metasyntax/bnf-sdf.html | 33 ++--- tank/metasyntax/ebnf-bgf.html | 33 ++--- tank/metasyntax/ebnf-iso-1-generalize.html | 46 +++---- tank/metasyntax/ebnf-iso-1-post-extract.html | 56 ++++---- tank/metasyntax/ebnf-iso-1-refactor.html | 48 +++---- tank/metasyntax/ebnf-iso-1.html | 33 ++--- tank/metasyntax/ebnf-iso-2-post-extract.html | 40 +++--- tank/metasyntax/ebnf-iso-2-refactor.html | 40 +++--- tank/metasyntax/ebnf-iso-2.html | 33 ++--- tank/metasyntax/ebnf-iso-3-post-extract.html | 40 +++--- tank/metasyntax/ebnf-iso-3-refactor.html | 40 +++--- tank/metasyntax/ebnf-iso-3.html | 33 ++--- tank/metasyntax/ebnf-sdf-correct.html | 42 +++--- tank/metasyntax/ebnf-sdf.html | 33 ++--- tank/metasyntax/lll-kort-reroot.prepared.html | 36 ++--- tank/metasyntax/lll-kort.html | 29 +--- tank/metasyntax/lll-ldta-reroot.prepared.html | 36 ++--- tank/metasyntax/lll-ldta.html | 29 +--- tank/metasyntax/txl.html | 29 +--- tank/metasyntax/yacc-refactor.html | 38 +++--- tank/metasyntax/yacc.html | 33 ++--- tank/tescol/00000.html | 31 ++--- tank/tescol/00001.html | 31 ++--- tank/tescol/00010.html | 31 ++--- tank/tescol/00011.html | 31 ++--- tank/tescol/00100.html | 31 ++--- tank/tescol/00101.html | 31 ++--- tank/tescol/00110.html | 31 ++--- tank/tescol/00111.html | 31 ++--- tank/tescol/01000.html | 31 ++--- tank/tescol/01001.html | 31 ++--- tank/tescol/01010.html | 31 ++--- tank/tescol/01011.html | 31 ++--- tank/tescol/01100.html | 31 ++--- tank/tescol/01101.html | 31 ++--- tank/tescol/01110.html | 31 ++--- tank/tescol/01111.html | 31 ++--- tank/tescol/10000.html | 31 ++--- tank/tescol/10001.html | 31 ++--- tank/tescol/10010.html | 31 ++--- tank/tescol/10011.html | 31 ++--- tank/tescol/10100.html | 31 ++--- tank/tescol/10101.html | 31 ++--- tank/tescol/10110.html | 31 ++--- tank/tescol/10111.html | 31 ++--- tank/tescol/11000.html | 31 ++--- tank/tescol/11001.html | 31 ++--- tank/tescol/11010.html | 31 ++--- tank/tescol/11011.html | 31 ++--- tank/tescol/11100.html | 31 ++--- tank/tescol/11101.html | 31 ++--- tank/tescol/11110.html | 31 ++--- tank/tescol/11111.html | 31 ++--- tank/tescol/reference.html | 31 ++--- zoo/ada/kellogg-post-extract.html | 2 +- zoo/ada/kellogg.html | 2 +- zoo/ada/kempe-correct.html | 2 +- zoo/ada/kempe-post-extract.html | 2 +- zoo/ada/kempe.html | 2 +- zoo/ada/laemmel-verhoef-correct.html | 2 +- zoo/ada/laemmel-verhoef.html | 2 +- zoo/ada/lncs-2219-correct.html | 2 +- zoo/ada/lncs-2219-post-extract.html | 2 +- zoo/ada/lncs-2219.html | 2 +- zoo/ada/lncs-4348-correct.html | 2 +- zoo/ada/lncs-4348-post-extract.html | 2 +- zoo/ada/lncs-4348.html | 2 +- zoo/c/iso-9899-1999.html | 2 +- zoo/c/iso-9899-tc2-correct.html | 2 +- zoo/c/iso-9899-tc2.html | 2 +- zoo/c/iso-9899-tc3-correct.html | 2 +- zoo/c/iso-9899-tc3.html | 2 +- zoo/cpp/iso-14882-1998-correct.html | 2 +- zoo/cpp/iso-14882-1998-post-extract.html | 2 +- zoo/cpp/iso-14882-1998.html | 2 +- zoo/cpp/iso-n2723-correct.html | 2 +- zoo/cpp/iso-n2723.html | 2 +- zoo/cs/csharp-ecma-334-1-post-extract.html | 2 +- zoo/cs/csharp-ecma-334-1.html | 2 +- zoo/cs/csharp-ecma-334-2.html | 2 +- zoo/cs/csharp-ecma-334-3.html | 2 +- zoo/cs/csharp-ecma-334-4-correct.html | 2 +- zoo/cs/csharp-ecma-334-4.html | 2 +- zoo/cs/csharp-iso-23270-2003.html | 2 +- zoo/cs/csharp-iso-23270-2006.html | 2 +- zoo/cs/csharp-msft-ls-1.0.html | 2 +- zoo/cs/csharp-msft-ls-1.2.html | 2 +- zoo/cs/csharp-msft-ls-3.0-correct.html | 2 +- zoo/cs/csharp-msft-ls-3.0.html | 2 +- zoo/cs/csharp-msft-ls-4.0-correct.html | 2 +- zoo/cs/csharp-msft-ls-4.0.html | 2 +- zoo/cs/csharp-zaytsev.html | 2 +- zoo/dart/google-post-extraction.html | 2 +- zoo/dart/google.html | 2 +- zoo/dart/spec-0.01-complete.html | 2 +- zoo/dart/spec-0.01-correct.html | 2 +- .../spec-0.01-drop-empty-alternatives.html | 2 +- zoo/dart/spec-0.01-emulate-negation.html | 2 +- zoo/dart/spec-0.01-emulate-omission.html | 2 +- zoo/dart/spec-0.01-fix-spaces.html | 2 +- zoo/dart/spec-0.01-post-extract.html | 2 +- zoo/dart/spec-0.01-unite-misspellings.html | 2 +- zoo/dart/spec-0.01.html | 2 +- zoo/dart/spec-0.05.html | 2 +- zoo/eiffel/bezault-complete.html | 2 +- zoo/eiffel/bezault-post-extract.html | 2 +- zoo/eiffel/bezault.html | 2 +- zoo/eiffel/iso-25436-2006-correct.html | 2 +- zoo/eiffel/iso-25436-2006-post-extract.html | 2 +- zoo/eiffel/iso-25436-2006.html | 2 +- zoo/fortran/derricks-refactor.html | 2 +- zoo/fortran/derricks.html | 2 +- zoo/java/java-1-jls-impl.html | 2 +- zoo/java/java-1-jls-read.html | 2 +- zoo/java/java-2-jls-impl.html | 2 +- zoo/java/java-2-jls-read.html | 2 +- zoo/java/java-5-habelitz-post-extraction.html | 2 +- zoo/java/java-5-habelitz.html | 2 +- zoo/java/java-5-jls-impl.html | 2 +- zoo/java/java-5-jls-read.html | 2 +- zoo/java/java-5-parr-post-extraction.html | 2 +- zoo/java/java-5-parr.html | 2 +- zoo/java/java-5-stahl-post-extraction.html | 2 +- zoo/java/java-5-stahl.html | 2 +- zoo/java/java-5-studman-post-extraction.html | 2 +- zoo/java/java-5-studman.html | 2 +- zoo/modula/sdf-refactor.html | 2 +- zoo/modula/sdf.html | 2 +- zoo/modula/src-052-complete.html | 2 +- zoo/modula/src-052-refactor.html | 2 +- zoo/modula/src-052.html | 2 +- zoo/wiki/mediawiki-bnf-connect-grammar.html | 2 +- zoo/wiki/mediawiki-bnf-define-lexicals.html | 2 +- .../mediawiki-bnf-define-special-symbols.html | 2 +- zoo/wiki/mediawiki-bnf-dehtmlify.html | 2 +- zoo/wiki/mediawiki-bnf-deyaccify.html | 2 +- zoo/wiki/mediawiki-bnf-fake-exclusion.html | 2 +- zoo/wiki/mediawiki-bnf-fix-markup.html | 2 +- zoo/wiki/mediawiki-bnf-fix-names.html | 2 +- .../mediawiki-bnf-refactor-repetition.html | 2 +- zoo/wiki/mediawiki-bnf-remove-comments.html | 2 +- .../mediawiki-bnf-remove-concatenation.html | 2 +- zoo/wiki/mediawiki-bnf-remove-duplicates.html | 2 +- ...mediawiki-bnf-remove-extension-points.html | 2 +- zoo/wiki/mediawiki-bnf-remove-lookahead.html | 2 +- zoo/wiki/mediawiki-bnf-remove-php-legacy.html | 2 +- .../mediawiki-bnf-remove-postfix-case.html | 2 +- zoo/wiki/mediawiki-bnf-unify-whitespace.html | 2 +- zoo/wiki/mediawiki-bnf-utilise-question.html | 2 +- .../mediawiki-bnf-utilise-repetition.html | 2 +- zoo/wiki/mediawiki-bnf.html | 2 +- zoo/wiki/mediawiki-ebnf-correct.html | 2 +- zoo/wiki/mediawiki-ebnf-post-extract.html | 2 +- zoo/wiki/mediawiki-ebnf.html | 2 +- zoo/xpath/w3c-xpath1-normalize.html | 2 +- zoo/xpath/w3c-xpath1.html | 2 +- 169 files changed, 808 insertions(+), 1696 deletions(-) diff --git a/slps.css b/slps.css index 9be6f15e..6297af09 100644 --- a/slps.css +++ b/slps.css @@ -1,6 +1,8 @@ body {color:#033} h1, h2, div.c {text-align:center} -h2 a, div.c em {font-size:small} +h2 a, div.c em, .date {font-size:small} +h2.src a {font-size:medium} +h1.l, h2.l {text-align:left} a:hover {text-decoration:underline} a:link, a:visited {color:#039} a:link.red, a:visited.red {color:#933} @@ -16,8 +18,7 @@ img {border:0} .links a {text-decoration:none} .label, .sel {color:green} .marked {background-color:#FFE5B4} -.nt {color:blue; font-weight:bold} +.nt, a.nt {color:blue; font-weight:bold} .t {color:red; font-style:italic} .meta, .cmd {color:green; font-style:italic; font-family:serif} .b {text-align:right; font-style:italic} -.date {font-size:small} diff --git a/tank/fl/antlr.html b/tank/fl/antlr.html index faf60946..685e7a80 100644 --- a/tank/fl/antlr.html +++ b/tank/fl/antlr.html @@ -1,23 +1,10 @@ -Browsable FL Concrete Syntax Grammar

Browsable FL Concrete Syntax Grammar

CC-BY

Extracted and/or recovered by Vadim Zaytsev, see Grammar Tank for details.

Source used for this grammar: Ralf Lämmel, FL.g (17 May – 16 July 2008)

Summary

Syntax

program:
+
+				
Browsable FL Concrete Syntax Grammar
CC-BY
Extracted and/or recovered by Vadim Zaytsev,	see Grammar Tank for details. 

Source used for this grammar: Ralf Lämmel, FL.g,  (17 May – 16 July 2008) 
Summary
Syntax
program:
         f::function+
 
function:
         n::id a::id+ "=" e::expr NEWLINE+
@@ -47,7 +35,4 @@
         "=="
         "+"
         "-"
-

-					Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
-					Last updated: 03/10/2012.
-				

+
Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/12/2012.
diff --git a/tank/fl/dcg.html b/tank/fl/dcg.html index 3a0b6f56..38adb286 100644 --- a/tank/fl/dcg.html +++ b/tank/fl/dcg.html @@ -1,23 +1,10 @@ -Browsable FL Concrete Syntax Grammar

Browsable FL Concrete Syntax Grammar

CC-BY

Extracted and/or recovered by Vadim Zaytsev, see Grammar Tank for details.

Source used for this grammar: - Ralf Lämmel, Parser.pro - (28 July – 3 September 2008)

Summary

Syntax

program:
+
+				
Browsable FL Concrete Syntax Grammar
CC-BY
Extracted and/or recovered by Vadim Zaytsev,	see Grammar Tank for details. 

Source used for this grammar: 
+					Ralf Lämmel, Parser.pro
+				,  (28 July – 3 September 2008) 
Summary
Syntax
program:
         function+
 
function:
         name name+ "=" expr newline+
@@ -49,7 +37,4 @@
         "+"
 
[minus] ops:
         "-"
-

-					Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
-					Last updated: 03/10/2012.
-				

+
Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/12/2012.
diff --git a/tank/fl/ecore.html b/tank/fl/ecore.html index 5760c96c..5b12650a 100644 --- a/tank/fl/ecore.html +++ b/tank/fl/ecore.html @@ -1,23 +1,10 @@ -Browsable FL Abstract Syntax Grammar

Browsable FL Abstract Syntax Grammar

CC-BY

Extracted and/or recovered by Vadim Zaytsev, see Grammar Tank for details.

Source used for this grammar: Guido Wachsmuth, Vadim Zaytsev, fl.ecore (26 June 2008 – 28 May 2009)

Summary

Syntax

Program:
+
+				
Browsable FL Abstract Syntax Grammar
CC-BY
Extracted and/or recovered by Vadim Zaytsev,	see Grammar Tank for details. 

Source used for this grammar: Guido Wachsmuth, Vadim Zaytsev, fl.ecore,  (26 June 2008 – 28 May 2009) 
Summary
Syntax
Program:
         function::Function+
 
Function:
         name::string argument::Argument+ definition::Exp
@@ -55,7 +43,4 @@
         left::Exp right::Exp
 
EqualExp:
         left::Exp right::Exp
-

-					Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
-					Last updated: 03/10/2012.
-				

+
Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/12/2012.
diff --git a/tank/fl/emf.html b/tank/fl/emf.html index 35f63e56..756fed49 100644 --- a/tank/fl/emf.html +++ b/tank/fl/emf.html @@ -1,23 +1,10 @@ -Browsable FL Abstract Syntax Grammar

Browsable FL Abstract Syntax Grammar

CC-BY

Extracted and/or recovered by Vadim Zaytsev, see Grammar Tank for details.

Source used for this grammar: - Vadim Zaytsev, fl.ecore generated from fl.xsd - (28 May 2009)

Summary

Syntax

Apply:
+
+				
Browsable FL Abstract Syntax Grammar
CC-BY
Extracted and/or recovered by Vadim Zaytsev,	see Grammar Tank for details. 

Source used for this grammar: 
+					Vadim Zaytsev, fl.ecore generated from fl.xsd
+				,  (28 May 2009) 
Summary
Syntax
Apply:
         name::string arg::Expr+
 
Argument:
         name::string
@@ -51,7 +39,4 @@
         Minus::ε
 
ProgramType:
         function::Function+
-

-					Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
-					Last updated: 03/10/2012.
-				

+
Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/12/2012.
diff --git a/tank/fl/jaxb.html b/tank/fl/jaxb.html index 2d72c2be..51521d6f 100644 --- a/tank/fl/jaxb.html +++ b/tank/fl/jaxb.html @@ -1,23 +1,10 @@ -Browsable FL Abstract Syntax Grammar

Browsable FL Abstract Syntax Grammar

CC-BY

Extracted and/or recovered by Vadim Zaytsev, see Grammar Tank for details.

Source used for this grammar: - Ralf Lämmel, Program.java, Function.java et al. generated from fl.xsd. - (21 May – 28 July 2008)

Summary

Syntax

Apply:
+
+				
Browsable FL Abstract Syntax Grammar
CC-BY
Extracted and/or recovered by Vadim Zaytsev,	see Grammar Tank for details. 

Source used for this grammar: 
+					Ralf Lämmel, Program.java, Function.java et al. generated from fl.xsd.
+				,  (21 May – 28 July 2008) 
Summary
Syntax
Apply:
         Name::string Arg::(Expr*)
 
Argument:
         Name::string
@@ -55,7 +43,4 @@
         empty
 
Program:
         Function::(Function*)
-

-					Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
-					Last updated: 03/10/2012.
-				

+
Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/12/2012.
diff --git a/tank/fl/om.html b/tank/fl/om.html index 56b4b2f8..5808a53f 100644 --- a/tank/fl/om.html +++ b/tank/fl/om.html @@ -1,23 +1,10 @@ -Browsable FL Abstract Syntax Grammar

Browsable FL Abstract Syntax Grammar

CC-BY

Extracted and/or recovered by Vadim Zaytsev, see Grammar Tank for details.

Source used for this grammar: - Ralf Lämmel, Program.java, Function.java et al. - (17 May – 28 July 2008)

Summary

Syntax

Apply:
+
+				
Browsable FL Abstract Syntax Grammar
CC-BY
Extracted and/or recovered by Vadim Zaytsev,	see Grammar Tank for details. 

Source used for this grammar: 
+					Ralf Lämmel, Program.java, Function.java et al.
+				,  (17 May – 28 July 2008) 
Summary
Syntax
Apply:
         name::string args::(Expr*)
 
Argument:
         name::string
@@ -53,7 +41,4 @@
         functions::(Function*)
 
Visitor:
         empty
-

-					Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
-					Last updated: 03/10/2012.
-				

+
Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/12/2012.
diff --git a/tank/fl/sdf.html b/tank/fl/sdf.html index 07e38a07..f038beaa 100644 --- a/tank/fl/sdf.html +++ b/tank/fl/sdf.html @@ -1,23 +1,10 @@ -Browsable FL Concrete Syntax Grammar

Browsable FL Concrete Syntax Grammar

CC-BY

Extracted and/or recovered by Vadim Zaytsev, see Grammar Tank for details.

Source used for this grammar: - Ralf Lämmel, Vadim Zaytsev, FL.sdf, Syntax.sdf, et al. - (1–25 Aug 2008)

Summary

Syntax

Program:
+
+				
Browsable FL Concrete Syntax Grammar
CC-BY
Extracted and/or recovered by Vadim Zaytsev,	see Grammar Tank for details. 

Source used for this grammar: 
+						Ralf Lämmel, Vadim Zaytsev, FL.sdf, Syntax.sdf, et al.
+					,  (1–25 Aug 2008) 
Summary
Syntax
Program:
         Function+
 
Function:
         Name Name+ "=" Expr Newline+
@@ -49,7 +37,4 @@
         "+"
 
[equal] Ops:
         "=="
-

-					Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
-					Last updated: 03/10/2012.
-				

+
Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/12/2012.
diff --git a/tank/fl/txl.html b/tank/fl/txl.html index ae1e9b4b..59ec9f10 100644 --- a/tank/fl/txl.html +++ b/tank/fl/txl.html @@ -1,23 +1,10 @@ -Browsable FL Concrete Syntax Grammar

Browsable FL Concrete Syntax Grammar

CC-BY

Extracted and/or recovered by Vadim Zaytsev, see Grammar Tank for details.

Source used for this grammar: - Vadim Zaytsev, FL.Txl. - (6–7 Jul 2009)

Summary

Syntax

program:
+
+				
Browsable FL Concrete Syntax Grammar
CC-BY
Extracted and/or recovered by Vadim Zaytsev,	see Grammar Tank for details. 

Source used for this grammar: 
+						Vadim Zaytsev, FL.Txl.
+					,  (6–7 Jul 2009) 
Summary
Syntax
program:
         fun+
 
fun:
         id id+ "=" expression newline
@@ -42,7 +30,4 @@
         "+"
         "-"
         "=="
-

-					Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
-					Last updated: 03/10/2012.
-				

+
Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/12/2012.
diff --git a/tank/fl/xsd.html b/tank/fl/xsd.html index 9f910e5f..76da18d3 100644 --- a/tank/fl/xsd.html +++ b/tank/fl/xsd.html @@ -1,23 +1,10 @@ -Browsable FL Abstract Syntax Grammar

Browsable FL Abstract Syntax Grammar

CC-BY

Extracted and/or recovered by Vadim Zaytsev, see Grammar Tank for details.

Source used for this grammar: - Ralf Lämmel, fl.xsd. - (20 May – 29 July 2008)

Summary

Syntax

Program:
+
+				
Browsable FL Abstract Syntax Grammar
CC-BY
Extracted and/or recovered by Vadim Zaytsev,	see Grammar Tank for details. 

Source used for this grammar: 
+						Ralf Lämmel, fl.xsd.
+					,  (20 May – 29 July 2008) 
Summary
Syntax
Program:
         function::Function+
 
Fragment:
         Expr
@@ -53,7 +41,4 @@
         ifExpr::Expr thenExpr::Expr elseExpr::Expr
 
Apply:
         name::string arg::Expr+
-

-					Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware.
-					Last updated: 03/10/2012.
-				

+
Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/12/2012.
diff --git a/tank/index.html b/tank/index.html index da288d2e..0511bd30 100644 --- a/tank/index.html +++ b/tank/index.html @@ -2,19 +2,21 @@ Software Language Processing Suite — Grammar tank

Software Language Processing Suite

Grammar Zoo | Grammar Tank

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. -

53 grammars and counting

FL — (E)BNF — TESCOL

Factorial Language

FL Concrete Syntax — FL Abstract Syntax

FL Concrete Syntax (4 grammars)