[MMTP-devel] SF.net SVN: mtp: [30] trunk

[<ido...@us...>]

Revision: 30
          http://mtp.svn.sourceforge.net/mtp/?rev=30&view=rev
Author:   idominguez
Date:     2007-12-06 06:19:06 -0800 (Thu, 06 Dec 2007)

Log Message:
-----------
* Two bnf grammars added as tests, and enabled in build.xml
* Error in Bnf.mtp corrected

Modified Paths:
--------------
    trunk/examples/Bnf.mtp
    trunk/tests/build.xml

Added Paths:
-----------
    trunk/tests/bnf/test1.bnf.ok
    trunk/tests/bnf/test2.bnf.fail

Modified: trunk/examples/Bnf.mtp
===================================================================
--- trunk/examples/Bnf.mtp	2007-12-06 14:01:37 UTC (rev 29)
+++ trunk/examples/Bnf.mtp	2007-12-06 14:19:06 UTC (rev 30)
@@ -31,10 +31,12 @@
 
 ExpressionList ::= (Expression (VBAR Expression)* );
 
-Expression ::= RuleName
-               | Literal
-	       ;
+Expression ::= (Term)+;
 
+Term ::= RuleName
+       | Literal
+	     ;
+
 RuleName ::= RULE_NAME;
 
 Literal ::= LITERAL;

Added: trunk/tests/bnf/test1.bnf.ok
===================================================================
--- trunk/tests/bnf/test1.bnf.ok	                        (rev 0)
+++ trunk/tests/bnf/test1.bnf.ok	2007-12-06 14:19:06 UTC (rev 30)
@@ -0,0 +1,3 @@
+<addition> ::= <number> | <plusexpr>
+<number> ::= '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
+<plusexpr> ::= <number> '+' <addition>

Added: trunk/tests/bnf/test2.bnf.fail
===================================================================
--- trunk/tests/bnf/test2.bnf.fail	                        (rev 0)
+++ trunk/tests/bnf/test2.bnf.fail	2007-12-06 14:19:06 UTC (rev 30)
@@ -0,0 +1,3 @@
+<Addition> ::= <number> | <plusexpr>
+<number> ::= '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
+<plusexpr> ::= <number> '+' <addition>

Modified: trunk/tests/build.xml
===================================================================
--- trunk/tests/build.xml	2007-12-06 14:01:37 UTC (rev 29)
+++ trunk/tests/build.xml	2007-12-06 14:19:06 UTC (rev 30)
@@ -26,6 +26,8 @@
     <test-parser destdir="simpleparenmaths" mustfail="true" input="test2.fail" />
     <test-parser destdir="simpleparenmaths" mustfail="false" input="test3.ok" />
     <test-parser destdir="simpleparenmaths" mustfail="false" input="test4.ok" />
+    <test-parser destdir="bnf" mustfail="false" input="test1.bnf.ok" />
+    <test-parser destdir="bnf" mustfail="true" input="test2.bnf.fail" />
     <!--test-parser destdir="mtpll1_old" mustfail="false" input="naturals.mtp.ok" />
     <test-parser destdir="mtpll1_old" mustfail="false" input="po.mtp.ok" />
     <test-parser destdir="mtpll1_old" mustfail="false" input="reals.mtp.ok" />


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.