rley 0.0.16 → 0.0.17

checksums.yaml

@@ -1,15 +1,15 @@
 ---
 !binary "U0hBMQ==":
   metadata.gz: !binary |-
-    N2UzY2I3ZGYxOWEyMDIyOTg4NTc3OGNmZjBmNmQ2ZjE1ZjVjYjI4ZQ==
+    MTFlMzIyMzI5MTRiZWQwZjY2MTE3ZDNjZWMxZTUzYjc2ZmVlMGFkYQ==
   data.tar.gz: !binary |-
-    YWZjNjYzZmFkOWEyNjU2NGU1NjVmOWU2ZDdjZThiZjBhNzEyMTVmZg==
+    ZGMxNjVkMzgwMTlkYzJhMDcyOWUxMGQxZTZlYWY1YmExMGJjYmY3MA==
 !binary "U0hBNTEy":
   metadata.gz: !binary |-
-    MTNlOThlZTYzNjBkZTMzNzBmOGYwM2RkNmM0M2IxNGQyMmU5NTZjMjQyMTM5
-    MzFmZGNmYTIyYWExMDc3ZjA0Nzc1YTc1ZWI5YjIwYjBiMzgzYTQ0Mjk3NDk3
-    MDVmYjk2NGUxMGY0NzBmOTk1NmFkY2I2YjNlZmRhZDk2MGMyYTA=
+    NmZiZjQ2YWFhZjdlNWE2MzhkMmFjYTVkNGRmMGMyZmRlMWY1ZTVkMWY0ZTIz
+    NDYyZmUwYzZjYWMwMTRhMTU3NjAxYTczZWRmMDc3OThjMmZkMDMzMjlkNmZk
+    NDRjNDQ2ZGM3NDhlMTk2ZDA2ZTFiMDQ3OTdhOWI4MzEyZGFkMzg=
   data.tar.gz: !binary |-
-    ZDI3MWMzMzVjMDBkZDFiZDlmODNmM2MwYTI1ZTFiM2I1YmY3NjY1MDQ4Mjlj
-    ZDA4ZWFlZDFjZGNhNmM4YTJiYjg0YmM1ZGI0ZGExMmQxN2U5NzlmNDg2MTA3
-    MWRhZDdkYTBkODJhOWZmZDI2NDFmNGVlZWI5MDRmMTQyMTQwN2E=
+    YjQ3YzgyNmM3NmY3Nzc1YzA2MTVlMmExZjc0YzI3NWEwM2MwZjM3OGVjMDNl
+    ODlkNDhiZDgwNmYyZmM4YTk3MTlhMjQ2YWY4YzczZTM5MjI3NWM5NzQwNTU4
+    NDAwZWZjYzY2YzQxYjJkYjkxMGU3NjQ5ZDJiMzVjYTI5MzlhMzA=

data/CHANGELOG.md

@@ -1,3 +1,6 @@
+### 0.0.17 / 2014-11-23
+* [CHANGE] File `earley_parser_spec.rb`: Added step-by-step test of ambiguous grammar parsing.
+
 ### 0.0.16 / 2014-11-23
 * [NEW]  Method `DottedItem#to_s` Returns a text representation of an instance.
 * [NEW]  Method `ParseState#to_s`

data/lib/rley/constants.rb

@@ -3,7 +3,7 @@
 
 module Rley # Module used as a namespace
   # The version number of the gem.
-  Version = '0.0.16'
+  Version = '0.0.17'
 
   # Brief description of the gem.
   Description = "Ruby implementation of the Earley's parsing algorithm"

data/spec/rley/parser/earley_parser_spec.rb

@@ -304,8 +304,8 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           # P => S.
           # S => S "+" S.
           # S => S "*" S.
-          # S => T.
-          # T => an integer number token.
+          # S => L.
+          # L => an integer number token.
           t_int = Syntax::Literal.new('integer', /[-+]?\d+/)
           t_plus = Syntax::VerbatimSymbol.new('+')
           t_star = Syntax::VerbatimSymbol.new('*')
@@ -328,6 +328,83 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           expect { instance.parse(tokens) }.not_to raise_error
           parse_result = instance.parse(tokens)
           expect(parse_result.success?).to eq(true)
+
+          ###################### S(0): . 2 + 3 * 4
+          # Expectation chart[0]:
+          expected = [
+            "P => . S | 0",       # Start rule
+            "S => . S '+' S | 0", # predict from (1)
+            "S => . S '*' S | 0", # predict from (1)
+            "S => . L | 0",       # predict from (1)
+            "L => . integer | 0"  # predict from (4)
+          ]
+          compare_state_texts(parse_result.chart[0], expected)
+
+          ###################### S(1): 2 . + 3 * 4
+          # Expectation chart[1]:
+          expected = [
+            "L => integer . | 0",  # scan from S(0) 4
+            "S => L . | 0",       # complete from (1) and S(0) 4
+            "P => S . | 0",       # complete from (2) and S(0) 1
+            "S => S . '+' S | 0", #complete from (2) and S(0) 2
+            "S => S . '*' S | 0", #complete from (2) and S(0) 3
+          ]
+          compare_state_texts(parse_result.chart[1], expected)
+
+          ###################### S(2): 2 + . 3 * 4
+          # Expectation chart[2]:
+          expected = [
+            "S => S '+' . S | 0", # scan from S(1) 4
+            "S => . S '+' S | 2", # predict from (1)
+            "S => . S '*' S | 2", # predict from (1)
+            "S => . L | 2",       # predict from (1)
+            "L => . integer | 2"  # predict from (4)
+          ]
+          compare_state_texts(parse_result.chart[2], expected)
+          
+          ###################### S(3): 2 + 3 . * 4
+          # Expectation chart[3]:
+          expected = [
+            "L => integer . | 2", # scan from S(2) 5
+            "S => L . | 2",       # complete from (1) and S(2) 4
+            "S => S '+' S . | 0",  # complete from (2) and S(2) 1
+            "S => S . '+' S | 2", # complete from (2) and S(2) 2
+            "S => S . '*' S | 2", # complete from (2) and S(2) 3
+            "P => S . | 0",       # complete from (2) and S(0) 1
+            "S => S . '+' S | 0", #complete from (2) and S(0) 2
+            "S => S . '*' S | 0", #complete from (2) and S(0) 3
+          ]
+          compare_state_texts(parse_result.chart[3], expected)
+          
+          ###################### S(4): 2 + 3 * . 4
+          # Expectation chart[4]:
+          expected = [
+            "S => S '*' . S | 2", # scan from S(3) 5
+            "S => S '*' . S | 0", # scan from S(3) 8
+            "S => . S '+' S | 4", # predict from (1)
+            "S => . S '*' S | 4", # predict from (1)
+            "S => . L | 4",       # predict from (1)
+            "L => . integer | 4"  # predict from (4)
+          ]
+          compare_state_texts(parse_result.chart[4], expected)
+          
+          ###################### S(5): 2 + 3 * 4 .
+          # Expectation chart[5]:
+          expected = [
+            "L => integer . | 4",   # scan from S(4) 6
+            "S => L . | 4",         # complete from (1) and S(4) 5
+            "S => S '*' S . | 2",   # complete from (2) and S(4) 1
+            "S => S '*' S . | 0",   # complete from (2) and S(4) 2
+            "S => S . '+' S | 4",   # complete from (2) and S(4) 3
+            "S => S . '*' S | 4",   # complete from (2) and S(4) 4
+            "S => S '+' S . | 0",   # complete from (2) and S(2) 1
+            "S => S . '+' S | 2",   # complete from (2) and S(2) 2
+            "S => S . '*' S | 2",   # complete from (2) and S(2) 3
+            "P => S . | 0",         # Start rule
+            "S => S . '+' S | 0",   # predict from (1)
+            "S => S . '*' S | 0"    # predict from (1)
+          ]
+          compare_state_texts(parse_result.chart[5], expected)
         end
 
 

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rley
 version: !ruby/object:Gem::Version
-  version: 0.0.16
+  version: 0.0.17
 platform: ruby
 authors:
 - Dimitri Geshef