rley 0.2.15 → 0.3.00

data/spec/rley/support/grammar_sppf_helper.rb

@@ -0,0 +1,25 @@
+# Load the builder class
+require_relative '../../../lib/rley/syntax/grammar_builder'
+
+
+module GrammarSPPFHelper
+  # Factory method. Creates a grammar builder for a
+  # grammar described in paper from Elisabeth Scott
+  # "SPPF-Style Parsing From Earley Recognizers" in
+  # Notes in Theoretical Computer Science 203, (2008), pp. 53-67
+  # contains a hidden left recursion and a cycle
+  def grammar_sppf_builder()
+    builder = Rley::Syntax::GrammarBuilder.new
+    builder.add_terminals('a', 'b')
+    builder.add_production('Phi' => %'S')
+    builder.add_production('S' => %w[A T])
+    builder.add_production('S' => %w[a T])
+    builder.add_production('A' => 'a')
+    builder.add_production('A' => %w[B A])
+    builder.add_production('B' => [])
+    builder.add_production('T' => %w( b b b))
+
+    return builder
+  end
+   
+end # module

data/spec/rley/syntax/grammar_builder_spec.rb

@@ -101,6 +101,11 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           expect(subject.grammar).to be_kind_of(Grammar)
           grm = subject.grammar
           expect(grm.rules).to eq(subject.productions)
+          
+          # Invoking the factory method again should return 
+          # the same grammar object
+          second_time = subject.grammar
+          expect(second_time).to eq(grm)
         end
 
         it 'should complain in absence of symbols' do

data/spec/rley/syntax/non_terminal_spec.rb

@@ -17,6 +17,10 @@ module Rley # Open this namespace to avoid module qualifier prefixes
         it 'should know its name' do
           expect(subject.name).to eq(sample_name)
         end
+        
+        it 'should know that is a not a terminal' do
+          expect(subject).not_to be_terminal
+        end
       end # context
 
         

data/spec/rley/syntax/terminal_spec.rb

@@ -18,6 +18,10 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           expect(subject.name).to eq(sample_name)
         end
         
+        it 'should know that is a terminal symbol' do
+          expect(subject).to be_terminal
+        end        
+        
         it "should know that isn't nullable" do
           expect(subject).not_to be_nullable
         end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rley
 version: !ruby/object:Gem::Version
-  version: 0.2.15
+  version: 0.3.00
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2016-02-14 00:00:00.000000000 Z
+date: 2016-10-23 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rake
@@ -152,24 +152,38 @@ files:
 - lib/rley/formatter/base_formatter.rb
 - lib/rley/formatter/debug.rb
 - lib/rley/formatter/json.rb
+- lib/rley/gfg/call_edge.rb
 - lib/rley/gfg/edge.rb
 - lib/rley/gfg/end_vertex.rb
 - lib/rley/gfg/epsilon_edge.rb
 - lib/rley/gfg/grm_flow_graph.rb
 - lib/rley/gfg/item_vertex.rb
 - lib/rley/gfg/non_terminal_vertex.rb
+- lib/rley/gfg/return_edge.rb
 - lib/rley/gfg/scan_edge.rb
+- lib/rley/gfg/shortcut_edge.rb
 - lib/rley/gfg/start_vertex.rb
 - lib/rley/gfg/vertex.rb
+- lib/rley/parse_forest_visitor.rb
 - lib/rley/parse_tree_visitor.rb
+- lib/rley/parser/base_parser.rb
 - lib/rley/parser/chart.rb
 - lib/rley/parser/dotted_item.rb
 - lib/rley/parser/earley_parser.rb
+- lib/rley/parser/gfg_chart.rb
+- lib/rley/parser/gfg_earley_parser.rb
+- lib/rley/parser/gfg_parsing.rb
 - lib/rley/parser/grm_items_builder.rb
+- lib/rley/parser/parse_entry.rb
+- lib/rley/parser/parse_entry_set.rb
+- lib/rley/parser/parse_entry_tracker.rb
+- lib/rley/parser/parse_forest_builder.rb
+- lib/rley/parser/parse_forest_factory.rb
 - lib/rley/parser/parse_state.rb
 - lib/rley/parser/parse_state_tracker.rb
 - lib/rley/parser/parse_tracer.rb
 - lib/rley/parser/parse_tree_builder.rb
+- lib/rley/parser/parse_walker_factory.rb
 - lib/rley/parser/parsing.rb
 - lib/rley/parser/state_set.rb
 - lib/rley/parser/token.rb
@@ -178,6 +192,14 @@ files:
 - lib/rley/ptree/parse_tree_node.rb
 - lib/rley/ptree/terminal_node.rb
 - lib/rley/ptree/token_range.rb
+- lib/rley/sppf/alternative_node.rb
+- lib/rley/sppf/composite_node.rb
+- lib/rley/sppf/epsilon_node.rb
+- lib/rley/sppf/leaf_node.rb
+- lib/rley/sppf/non_terminal_node.rb
+- lib/rley/sppf/parse_forest.rb
+- lib/rley/sppf/sppf_node.rb
+- lib/rley/sppf/token_node.rb
 - lib/rley/syntax/grammar.rb
 - lib/rley/syntax/grammar_builder.rb
 - lib/rley/syntax/grm_symbol.rb
@@ -189,23 +211,35 @@ files:
 - lib/rley/syntax/verbatim_symbol.rb
 - spec/rley/formatter/debug_spec.rb
 - spec/rley/formatter/json_spec.rb
+- spec/rley/gfg/call_edge_spec.rb
 - spec/rley/gfg/edge_spec.rb
 - spec/rley/gfg/end_vertex_spec.rb
 - spec/rley/gfg/epsilon_edge_spec.rb
 - spec/rley/gfg/grm_flow_graph_spec.rb
 - spec/rley/gfg/item_vertex_spec.rb
 - spec/rley/gfg/non_terminal_vertex_spec.rb
+- spec/rley/gfg/return_edge_spec.rb
 - spec/rley/gfg/scan_edge_spec.rb
+- spec/rley/gfg/shortcut_edge_spec.rb
 - spec/rley/gfg/start_vertex_spec.rb
 - spec/rley/gfg/vertex_spec.rb
+- spec/rley/parse_forest_visitor_spec.rb
 - spec/rley/parse_tree_visitor_spec.rb
 - spec/rley/parser/chart_spec.rb
 - spec/rley/parser/dotted_item_spec.rb
 - spec/rley/parser/earley_parser_spec.rb
+- spec/rley/parser/gfg_chart_spec.rb
+- spec/rley/parser/gfg_earley_parser_spec.rb
+- spec/rley/parser/gfg_parsing_spec.rb
 - spec/rley/parser/grm_items_builder_spec.rb
+- spec/rley/parser/parse_entry_set_spec.rb
+- spec/rley/parser/parse_entry_spec.rb
+- spec/rley/parser/parse_forest_builder_spec.rb
+- spec/rley/parser/parse_forest_factory_spec.rb
 - spec/rley/parser/parse_state_spec.rb
 - spec/rley/parser/parse_tracer_spec.rb
 - spec/rley/parser/parse_tree_builder_spec.rb
+- spec/rley/parser/parse_walker_factory_spec.rb
 - spec/rley/parser/parsing_spec.rb
 - spec/rley/parser/state_set_spec.rb
 - spec/rley/parser/token_spec.rb
@@ -214,9 +248,17 @@ files:
 - spec/rley/ptree/parse_tree_spec.rb
 - spec/rley/ptree/terminal_node_spec.rb
 - spec/rley/ptree/token_range_spec.rb
+- spec/rley/sppf/alternative_node_spec.rb
+- spec/rley/sppf/antecedence_graph.rb
+- spec/rley/sppf/forest_representation.rb
+- spec/rley/sppf/gfg_representation.rb
+- spec/rley/sppf/non_terminal_node_spec.rb
 - spec/rley/support/ambiguous_grammar_helper.rb
+- spec/rley/support/expectation_helper.rb
 - spec/rley/support/grammar_abc_helper.rb
 - spec/rley/support/grammar_b_expr_helper.rb
+- spec/rley/support/grammar_helper.rb
+- spec/rley/support/grammar_sppf_helper.rb
 - spec/rley/syntax/grammar_builder_spec.rb
 - spec/rley/syntax/grammar_spec.rb
 - spec/rley/syntax/grm_symbol_spec.rb
@@ -258,31 +300,45 @@ summary: Ruby implementation of the Earley's parsing algorithm
 test_files:
 - spec/rley/formatter/debug_spec.rb
 - spec/rley/formatter/json_spec.rb
+- spec/rley/gfg/call_edge_spec.rb
 - spec/rley/gfg/edge_spec.rb
 - spec/rley/gfg/end_vertex_spec.rb
 - spec/rley/gfg/epsilon_edge_spec.rb
 - spec/rley/gfg/grm_flow_graph_spec.rb
 - spec/rley/gfg/item_vertex_spec.rb
 - spec/rley/gfg/non_terminal_vertex_spec.rb
+- spec/rley/gfg/return_edge_spec.rb
 - spec/rley/gfg/scan_edge_spec.rb
+- spec/rley/gfg/shortcut_edge_spec.rb
 - spec/rley/gfg/start_vertex_spec.rb
 - spec/rley/gfg/vertex_spec.rb
 - spec/rley/parser/chart_spec.rb
 - spec/rley/parser/dotted_item_spec.rb
 - spec/rley/parser/earley_parser_spec.rb
+- spec/rley/parser/gfg_chart_spec.rb
+- spec/rley/parser/gfg_earley_parser_spec.rb
+- spec/rley/parser/gfg_parsing_spec.rb
 - spec/rley/parser/grm_items_builder_spec.rb
+- spec/rley/parser/parse_entry_set_spec.rb
+- spec/rley/parser/parse_entry_spec.rb
+- spec/rley/parser/parse_forest_builder_spec.rb
+- spec/rley/parser/parse_forest_factory_spec.rb
 - spec/rley/parser/parse_state_spec.rb
 - spec/rley/parser/parse_tracer_spec.rb
 - spec/rley/parser/parse_tree_builder_spec.rb
+- spec/rley/parser/parse_walker_factory_spec.rb
 - spec/rley/parser/parsing_spec.rb
 - spec/rley/parser/state_set_spec.rb
 - spec/rley/parser/token_spec.rb
+- spec/rley/parse_forest_visitor_spec.rb
 - spec/rley/parse_tree_visitor_spec.rb
 - spec/rley/ptree/non_terminal_node_spec.rb
 - spec/rley/ptree/parse_tree_node_spec.rb
 - spec/rley/ptree/parse_tree_spec.rb
 - spec/rley/ptree/terminal_node_spec.rb
 - spec/rley/ptree/token_range_spec.rb
+- spec/rley/sppf/alternative_node_spec.rb
+- spec/rley/sppf/non_terminal_node_spec.rb
 - spec/rley/syntax/grammar_builder_spec.rb
 - spec/rley/syntax/grammar_spec.rb
 - spec/rley/syntax/grm_symbol_spec.rb