[elpa] externals/parser-generator a516e3f 234/434: Started on new test for LR(2) Parser

[ELPA Syncer]

branch: externals/parser-generator
commit a516e3f5ff1a46afe4dba0d0ae21a1125ba84c81
Author: Christian Johansson <christian@cvj.se>
Commit: Christian Johansson <christian@cvj.se>

    Started on new test for LR(2) Parser
---
 parser-generator.el              |  2 +-
 test/parser-generator-lr-test.el | 43 +++++++++++++++++++++++++++++-----------
 2 files changed, 32 insertions(+), 13 deletions(-)

diff --git a/parser-generator.el b/parser-generator.el
index c6b2ff5..a834882 100644
--- a/parser-generator.el
+++ b/parser-generator.el
@@ -11,7 +11,7 @@
 
 
 (defvar parser-generator--debug
-  nil
+  t
   "Whether to print debug messages or not.")
 
 (defvar parser-generator--e-identifier
diff --git a/test/parser-generator-lr-test.el b/test/parser-generator-lr-test.el
index 5a00f04..e257b4d 100644
--- a/test/parser-generator-lr-test.el
+++ b/test/parser-generator-lr-test.el
@@ -404,26 +404,46 @@
   "Test `parser-generator-lr-parse' with k = 2."
   (message "Started tests for (parser-generator-lr-parse) k = 2")
 
-  (parser-generator-set-grammar '((Sp S) ("a" "b") ((Sp S) (S (S "a" S "b")) 
(S e)) Sp))
+  ;; 
https://stackoverflow.com/questions/62075086/what-is-an-lr2-parser-how-does-it-differ-from-an-lr1-parser
+  ;; S → RS | R
+  ;; R → abT
+  ;; T → aT | c | ε
+
+  (parser-generator-set-grammar
+   '((Sp S R T) (a b c) ((Sp S) (S (R S) (R)) (R (a b T)) (T (a T) (c) (e))) 
Sp))
   (parser-generator-set-look-ahead-number 2)
   (parser-generator-process-grammar)
 
   (let ((lr-items (parser-generator-lr--generate-goto-tables)))
     (parser-generator--debug
      (message
-      "all lr-items: %s"
-      (parser-generator--hash-values-to-list lr-items t)))
+      "LR-items: %s"
+      (parser-generator--hash-values-to-list
+       lr-items
+       t)))
+    (parser-generator--debug
+     (message "GOTO-tables: %s"
+              (parser-generator--hash-to-list
+               parser-generator-lr--goto-tables
+               t)))
 
     (should
       (equal
-       '((0 (((S) 1)))
-         (1 (((a) 2)))
-         (2 (((S) 3)))
-         (3 (((a) 4) ((b) 5)))
-         (4 (((S) 6)))
+       '((0 ((R 2) (S 1) (a 3)))
+         (1 nil)
+         (2 ((R 10) (S 9) (a 11)))
+         (3 ((b 4)))
+         (4 ((T 5) (a 6) (c 7)))
          (5 nil)
-         (6 (((a) 4) ((b) 7)))
-         (7 nil))
+         (6 ((T 8) (a 6) (c 7)))
+         (7 nil)
+         (8 nil)
+         (9 nil)
+         (10 ((R 10) (S 14) (a 11)))
+         (11 ((b 12)))
+         (12 ((T 13) (a 6) (c 7)))
+         (13 nil)
+         (14 nil))
        (parser-generator--hash-to-list
         parser-generator-lr--goto-tables)))
     (message "Passed GOTO-tables k = 2")
@@ -673,8 +693,7 @@
   (parser-generator-lr-test--generate-action-tables)
   (parser-generator-lr-test-parse)
   (parser-generator-lr-test-translate)
-  ;;(parser-generator-lr-test-parse-k-2)
-  )
+  (parser-generator-lr-test-parse-k-2))
 
 
 (provide 'parser-generator-lr-test)