rley 0.7.03 → 0.7.08

data/spec/rley/base/dotted_item_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 
 require_relative '../../../lib/rley/syntax/terminal'
@@ -123,7 +125,7 @@ module Rley # Open this namespace to avoid module qualifier prefixes
 
         it 'should determine if it is a successor of another dotted item' do
           expect(subject).not_to be_successor_of(subject)
-          
+
           # Case: different productions
           instance = DottedItem.new(empty_prod, 0)
           expect(subject).not_to be_successor_of(instance)
@@ -137,7 +139,7 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           instance2 = DottedItem.new(sample_prod, 2)
           expect(instance).not_to be_successor_of(instance2)
           expect(subject).not_to be_successor_of(instance2)
-          expect(instance2).to be_successor_of(subject)           
+          expect(instance2).to be_successor_of(subject)
         end
 
 

data/spec/rley/base/grm_items_builder_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 
 require_relative '../support/grammar_abc_helper'

data/spec/rley/engine_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../spec_helper'
 
 
@@ -17,11 +19,11 @@ module Rley # Open this namespace to avoid module qualifier prefixes
       end
 
       it 'could be created with block argument' do
-        expect do 
-                 Engine.new do |config|
-                   config.parse_repr = :raw
-                 end
-               end.not_to raise_error
+        expect do
+          Engine.new do |config|
+            config.parse_repr = :raw
+          end
+        end.not_to raise_error
       end
 
       it "shouldn't have a link to a grammar yet" do
@@ -43,13 +45,14 @@ module Rley # Open this namespace to avoid module qualifier prefixes
       end
     end # context
 
+    # rubocop: disable Lint/ConstantDefinitionInBlock
     class ABCTokenizer
       # Constructor
       def initialize(someText)
         @input = someText.dup
       end
 
-      def each()
+      def each
         pos = Rley::Lexical::Position.new(1, 1) # Dummy position
         lexemes = @input.scan(/\S/)
         lexemes.each do |ch|
@@ -61,6 +64,7 @@ module Rley # Open this namespace to avoid module qualifier prefixes
         end
       end
     end # class
+    # rubocop: enable Lint/ConstantDefinitionInBlock
 
     # Utility method. Ensure that the engine
     # has the defnition of a sample grammar
@@ -100,6 +104,23 @@ module Rley # Open this namespace to avoid module qualifier prefixes
         ABCTokenizer.new(sample_text)
       end
 
+      it 'should build a parse tree even for a nullable production' do
+        instance = Engine.new
+        instance.build_grammar do
+          add_terminals('a', 'b', 'c')
+          add_production 'S' => 'A BC'
+          add_production 'A' => 'a'
+          add_production 'BC' => 'B_opt C_opt'
+          add_production 'B_opt' => 'b'
+          add_production 'B_opt' => []
+          add_production 'C_opt' => 'c'
+          add_production 'C_opt' => []
+        end
+        input = ABCTokenizer.new('a')
+        raw_result = instance.parse(input)
+        expect { instance.to_ptree(raw_result) }.not_to raise_error
+      end
+
       it 'should build default parse trees' do
         raw_result = subject.parse(sample_tokenizer)
         ptree = subject.convert(raw_result)
@@ -133,13 +154,30 @@ module Rley # Open this namespace to avoid module qualifier prefixes
         sample_text = 'a a b c c'
         ABCTokenizer.new(sample_text)
       end
-      
+
+      it 'should build a parse forest even for a nullable production' do
+        instance = Engine.new
+        instance.build_grammar do
+          add_terminals('a', 'b', 'c')
+          add_production 'S' => 'A BC'
+          add_production 'A' => 'a'
+          add_production 'BC' => 'B_opt C_opt'
+          add_production 'B_opt' => 'b'
+          add_production 'B_opt' => []
+          add_production 'C_opt' => 'c'
+          add_production 'C_opt' => []
+        end
+        input = ABCTokenizer.new('a')
+        raw_result = instance.parse(input)
+        expect { instance.to_pforest(raw_result) }.not_to raise_error
+      end
+
       it 'should build parse forest' do
         raw_result = subject.parse(sample_tokenizer)
         pforest = subject.to_pforest(raw_result)
         expect(pforest).to be_kind_of(SPPF::ParseForest)
-      end      
-      
+      end
+
       it 'should provide a parse visitor' do
         raw_result = subject.parse(sample_tokenizer)
         ptree = subject.to_pforest(raw_result)

data/spec/rley/formatter/asciitree_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 require 'stringio'
 
@@ -21,12 +23,12 @@ module Rley # Re-open the module to get rid of qualified names
         builder = sandbox.grammar_abc_builder
         builder.grammar
       end
-      
+
       # Variables for the terminal symbols
       let(:a_) { grammar_abc.name2symbol['a'] }
       let(:b_) { grammar_abc.name2symbol['b'] }
       let(:c_) { grammar_abc.name2symbol['c'] }
-      
+
       # Helper method that mimicks the output of a tokenizer
       # for the language specified by grammar_abc
       let(:grm_abc_tokens1) do
@@ -48,27 +50,27 @@ module Rley # Re-open the module to get rid of qualified names
       # Capital letters represent non-terminal nodes
       let(:grm_abc_ptree1) do
         engine = Rley::Engine.new
-        engine.use_grammar(grammar_abc)     
+        engine.use_grammar(grammar_abc)
         parse_result = engine.parse(grm_abc_tokens1)
         ptree = engine.convert(parse_result)
         ptree
       end
-  
-      let(:destination) { StringIO.new('', 'w') }
+
+      let(:destination) { StringIO.new(+'', 'w') }
       subject { Asciitree.new(destination) }
 
       context 'Standard creation & initialization:' do
         it 'should be initialized with an IO argument' do
-          expect { Asciitree.new(StringIO.new('', 'w')) }.not_to raise_error
+          expect { Asciitree.new(StringIO.new(+'', 'w')) }.not_to raise_error
         end
-        
+
         it 'should know its output destination' do
           expect(subject.output).to eq(destination)
         end
       end # context
-  
 
-      context 'Rendering:' do   
+
+      context 'Rendering:' do
         it 'should render a parse tree' do
           visitor = Rley::ParseTreeVisitor.new(grm_abc_ptree1)
           subject.render(visitor)

data/spec/rley/formatter/bracket_notation_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 require 'stringio'
 
@@ -21,12 +23,12 @@ module Rley # Re-open the module to get rid of qualified names
         builder = sandbox.grammar_abc_builder
         builder.grammar
       end
-      
+
       # Variables for the terminal symbols
       let(:a_) { grammar_abc.name2symbol['a'] }
       let(:b_) { grammar_abc.name2symbol['b'] }
       let(:c_) { grammar_abc.name2symbol['c'] }
-      
+
       # Helper method that mimicks the output of a tokenizer
       # for the language specified by grammar_abc
       let(:grm_abc_tokens1) do
@@ -48,45 +50,45 @@ module Rley # Re-open the module to get rid of qualified names
       # Capital letters represent non-terminal nodes
       let(:grm_abc_ptree1) do
         engine = Rley::Engine.new
-        engine.use_grammar(grammar_abc)     
+        engine.use_grammar(grammar_abc)
         parse_result = engine.parse(grm_abc_tokens1)
         ptree = engine.convert(parse_result)
-        ptree   
+        ptree
       end
-  
-      let(:destination) { StringIO.new('', 'w') }
+
+      let(:destination) { StringIO.new(+'', 'w') }
       subject { BracketNotation.new(destination) }
 
       context 'Standard creation & initialization:' do
         it 'should be initialized with an IO argument' do
-          expect do 
-            BracketNotation.new(StringIO.new('', 'w')) 
+          expect do
+            BracketNotation.new(StringIO.new(+'', 'w'))
           end.not_to raise_error
         end
-        
+
         it 'should know its output destination' do
           expect(subject.output).to eq(destination)
         end
       end # context
-  
 
-      context 'Formatting events:' do   
+
+      context 'Formatting events:' do
         it 'should support visit events of a parse tree' do
           visitor = Rley::ParseTreeVisitor.new(grm_abc_ptree1)
           subject.render(visitor)
           expectations = '[S [A [a a][A [a a][A [b b]][c c]][c c]]]'
           expect(destination.string).to eq(expectations)
         end
-        
+
         it 'should escape square brackets' do
           f_node = double('fake-node')
           f_token = double('fake-token')
           expect(f_node).to receive(:token).and_return(f_token)
           expect(f_token).to receive(:lexeme).and_return('[][]')
-          
+
           subject.after_terminal(f_node)
           expectations = '\[\]\[\]]'
-          expect(destination.string).to eq(expectations)          
+          expect(destination.string).to eq(expectations)
         end
       end # context
     end # describe

data/spec/rley/formatter/debug_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 require 'stringio'
 
@@ -74,11 +76,11 @@ module Rley # Re-open the module to get rid of qualified names
         engine.to_pforest(parse_result)
       end
 
-      let(:destination) { StringIO.new('', 'w') }
+      let(:destination) { StringIO.new(+'', 'w') }
 
       context 'Standard creation & initialization:' do
         it 'should be initialized with an IO argument' do
-          expect { Debug.new(StringIO.new('', 'w')) }.not_to raise_error
+          expect { Debug.new(StringIO.new(+'', 'w')) }.not_to raise_error
         end
 
         it 'should know its output destination' do

data/spec/rley/formatter/json_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 require 'stringio'
 
@@ -47,17 +49,17 @@ module Rley # Re-open the module to get rid of qualified names
       # Capital letters represent non-terminal nodes
       let(:grm_abc_ptree1) do
         engine = Rley::Engine.new
-        engine.use_grammar(grammar_abc)     
+        engine.use_grammar(grammar_abc)
         parse_result = engine.parse(grm_abc_tokens1)
         ptree = engine.convert(parse_result)
         ptree
       end
 
-      let(:destination) { StringIO.new('', 'w') }
+      let(:destination) { StringIO.new(+'', 'w') }
 
       context 'Standard creation & initialization:' do
         it 'should be initialized with an IO argument' do
-          expect { Json.new(StringIO.new('', 'w')) }.not_to raise_error
+          expect { Json.new(StringIO.new(+'', 'w')) }.not_to raise_error
         end
 
         it 'should know its output destination' do

data/spec/rley/gfg/call_edge_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 
 require_relative '../../../lib/rley/syntax/terminal'

data/spec/rley/gfg/edge_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 
 require_relative '../../../lib/rley/gfg/start_vertex'

data/spec/rley/gfg/end_vertex_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 require_relative '../../../lib/rley/syntax/non_terminal'
 
@@ -21,12 +23,12 @@ module Rley # Open this namespace to avoid module qualifier prefixes
         end
       end # context
 
-      context 'Provided services:' do       
+      context 'Provided services:' do
         it 'should provide human-readable representation of itself' do
-          pattern = /^#<Rley::GFG::EndVertex:\d+ label="NT\."/         
-          expect(subject.inspect).to match(pattern)       
-        end        
-      end # context      
+          pattern = /^#<Rley::GFG::EndVertex:\d+ label="NT\."/
+          expect(subject.inspect).to match(pattern)
+        end
+      end # context
     end # describe
   end # module
 end # module

data/spec/rley/gfg/epsilon_edge_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 
 require_relative '../../../lib/rley/gfg/start_vertex'

data/spec/rley/gfg/grm_flow_graph_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 
 require_relative '../support/grammar_abc_helper'

data/spec/rley/gfg/item_vertex_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 require_relative '../../../lib/rley/syntax/terminal'
 require_relative '../../../lib/rley/syntax/non_terminal'
@@ -71,10 +73,10 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           # Case: dot is after first symbol
           instance1 = ItemVertex.new(sample_item)
           expect(instance1.prev_symbol).to eq(t_a)
-          
+
           # Case: dot is after second or later symbol
           instance2 = ItemVertex.new(next_item)
-          expect(instance2.prev_symbol).to eq(nt_b_sequence)          
+          expect(instance2.prev_symbol).to eq(nt_b_sequence)
 
           # Case: dot is at begin
           instance3 = ItemVertex.new(Base::DottedItem.new(sample_prod, 0))
@@ -84,8 +86,8 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           instance4 = ItemVertex.new(Base::DottedItem.new(empty_prod, 0))
           expect(instance4.prev_symbol).to be_nil
         end
-        
-        
+
+
         it 'should know the next symbol (if any) in the rhs' do
           # Case: dot is not penultimate
           expect(subject.next_symbol).to eq(nt_b_sequence)
@@ -110,21 +112,21 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           shortcut = ShortcutEdge.new(subject, next_vertex)
           expect(subject.shortcut).to eq(shortcut)
         end
-        
+
         it 'should reject an invalid shortcut edge' do
           err = StandardError
           err_msg = 'Invalid shortcut argument'
           expect { subject.shortcut = 'invalid' }.to raise_error(err, err_msg)
-        end        
+        end
       end # context
 
       context 'Provided services:' do
         it 'should provide human-readable representation of itself' do
-          prefix = /^#<Rley::GFG::ItemVertex:\d+/           
+          prefix = /^#<Rley::GFG::ItemVertex:\d+/
           expect(subject.inspect).to match(prefix)
-          suffix = /label="sentence => a \. b_sequence c">$/        
-          expect(subject.inspect).to match(suffix)            
-        end        
+          suffix = /label="sentence => a \. b_sequence c">$/
+          expect(subject.inspect).to match(suffix)
+        end
       end # context
     end # describe
   end # module

data/spec/rley/gfg/non_terminal_vertex_spec.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../../spec_helper'
 
 # Load the class under test
@@ -17,7 +19,7 @@ module Rley # Open this namespace to avoid module qualifier prefixes
         it 'should know its non-terminal' do
           expect(subject.non_terminal).to eq(sample_nt)
         end
-        
+
 
         it 'should accept at more than one outgoing edge' do
           edge1 = double('fake-edge1')
@@ -26,11 +28,11 @@ module Rley # Open this namespace to avoid module qualifier prefixes
           expect { subject.add_edge(edge1) }.not_to raise_error
           expect(subject.edges.size).to eq(1)
           expect(subject.edges.last).to eq(edge1)
-          
+
           expect { subject.add_edge(edge2) }.not_to raise_error
           expect(subject.edges.size).to eq(2)
           expect(subject.edges.last).to eq(edge2)
-        end         
+        end
       end # context
     end # describe
   end # module