Experimental lexer generator: fixing the rule parser + adding tests.

tools/lexer_generator/rule_parser_test.py

Index: tools/lexer_generator/rule_parser_test.py
diff --git a/tools/lexer_generator/rule_parser_test.py b/tools/lexer_generator/rule_parser_test.py
new file mode 100644
index 0000000000000000000000000000000000000000..d86484549e3d629979ca15677f794186cc0325db
--- /dev/null
+++ b/tools/lexer_generator/rule_parser_test.py
@@ -0,0 +1,99 @@
+# Copyright 2013 the V8 project authors. All rights reserved.
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions are
+# met:
+#
+#     * Redistributions of source code must retain the above copyright
+#       notice, this list of conditions and the following disclaimer.
+#     * Redistributions in binary form must reproduce the above
+#       copyright notice, this list of conditions and the following
+#       disclaimer in the documentation and/or other materials provided
+#       with the distribution.
+#     * Neither the name of Google Inc. nor the names of its
+#       contributors may be used to endorse or promote products derived
+#       from this software without specific prior written permission.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+import unittest
+from rule_parser import RuleParser
+
+class RuleParserTestCase(unittest.TestCase):
+
+   def setUp(self):
+     self.parser = RuleParser()
+     self.parser.build()
+
+   def test_basic(self):
+     self.parser.parse('alias = regex1;')
+     self.parser.parse('<cond1> regex2 :=> cond2')
+     self.parser.parse('<cond2> regex3 {body}')
+     self.parser.parse('<cond3> regex4 => cond4 {body}')
+
+     self.assertTrue(len(self.parser.aliases), 1)
+     self.assertTrue('alias' in self.parser.aliases)
+     self.assertEquals(self.parser.aliases['alias'], 'regex1')
+
+     self.assertTrue(len(self.parser.transitions), 2)
+     self.assertTrue('cond1' in self.parser.transitions)
+     self.assertEquals(len(self.parser.transitions['cond1']), 1)
+     self.assertTrue('regex2' in self.parser.transitions['cond1'])
+     self.assertEquals(self.parser.transitions['cond1']['regex2'],
+                       ('condition', 'cond2'))
+
+     self.assertTrue('cond2' in self.parser.transitions)
+     self.assertEquals(len(self.parser.transitions['cond2']), 1)
+     self.assertTrue('regex3' in self.parser.transitions['cond2'])
+     self.assertEquals(self.parser.transitions['cond2']['regex3'],
+                       ('body', 'body'))
+
+     self.assertTrue('cond3' in self.parser.transitions)
+     self.assertEquals(len(self.parser.transitions['cond3']), 1)
+     self.assertTrue('regex4' in self.parser.transitions['cond3'])
+     self.assertEquals(self.parser.transitions['cond3']['regex4'],
+                       ('condition_and_body', 'cond4', 'body'))
+
+   def test_more_complicated(self):
+     self.parser.parse('alias = regex;with;semicolon;')
+     self.parser.parse('<cond1> regex2 :=> with :=> arrow :=> cond2')
+     self.parser.parse('<cond1> regex3}with}braces} {body {with} braces } }')
+     self.parser.parse('<cond1> regex4{with{braces} {body {with} braces } }')
+
+     self.assertEquals(self.parser.aliases['alias'], 'regex;with;semicolon')
+
+     self.assertEquals(
+         self.parser.transitions['cond1']['regex2 :=> with :=> arrow'],
+         ('condition', 'cond2'))
+
+     self.assertEquals(
+         self.parser.transitions['cond1']['regex3}with}braces}'],
+         ('body', 'body {with} braces }'))
+
+     self.assertEquals(
+         self.parser.transitions['cond1']['regex4{with{braces}'],
+         ('body', 'body {with} braces }'))
+
+   def test_body_with_if(self):
+     self.parser.parse('<cond> regex { if (foo) { bar } }')
+     self.assertEquals(
+         self.parser.transitions['cond']['regex'],
+         ('body', 'if (foo) { bar }'))
+
+   def test_regexp_with_count(self):
+     self.parser.parse('<cond> regex{1,3} { if (foo) { bar } }')
+     self.assertEquals(
+         self.parser.transitions['cond']['regex{1,3}'],
+         ('body', 'if (foo) { bar }'))
+
+if __name__ == '__main__':
+    unittest.main()