treetop 1.5.3 → 1.6.12

data/spec/compiler/nonterminal_symbol_spec.rb

@@ -1,40 +0,0 @@
-require 'spec_helper'
-
-module NonterminalSymbolSpec
-  describe "A nonterminal symbol followed by a block" do
-    testing_expression 'foo { def a_method; end }'
-  
-    parser_class_under_test.class_eval do
-      def _nt_foo
-        '_nt_foo called'
-      end
-    end
-  
-    it "compiles to a method call, extending its results with the anonymous module for the block" do
-      result = parse('')
-      result.should == '_nt_foo called'
-      result.should respond_to(:a_method)
-    end
-  end
-
-  module TestModule
-    def a_method
-    end
-  end
-
-  describe "a non-terminal followed by a module declaration" do
-    testing_expression 'foo <NonterminalSymbolSpec::TestModule>'
-  
-    parser_class_under_test.class_eval do
-      def _nt_foo
-        '_nt_foo called'
-      end
-    end
-  
-    it "compiles to a method call, extending its results with the anonymous module for the block" do
-      result = parse('')
-      result.should == '_nt_foo called'
-      result.should respond_to(:a_method)
-    end
-  end
-end

data/spec/compiler/not_predicate_spec.rb

@@ -1,38 +0,0 @@
-require 'spec_helper'
-
-module NotPredicateSpec
-  describe "A !-predicated terminal symbol" do
-    testing_expression '!"foo"'
-
-    it "fails to parse input matching the terminal symbol" do
-      parse('foo').should be_nil
-    end
-  end
-
-  describe "A sequence of a terminal and an and another !-predicated terminal" do
-    testing_expression '"foo" !"bar"'
-
-    it "fails to match input matching both terminals" do
-      parse('foobar').should be_nil
-    end
-  
-    it "successfully parses input matching the first terminal and not the second, reporting the parse failure of the second terminal" do
-      parse('foo') do |result|
-        result.should_not be_nil
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 3
-        failure.expected_string.should == 'bar'
-      end
-    end
-  end
-
-  describe "A !-predicated sequence" do
-    testing_expression '!("a" "b" "cc")'
-
-    it "fails to parse matching input" do
-      parse('abcc').should be_nil
-    end
-  end
-end

data/spec/compiler/occurrence_range_spec.rb

@@ -1,189 +0,0 @@
-require 'spec_helper'
-
-module OccurrenceRangeSpec
-  class Foo < Treetop::Runtime::SyntaxNode
-  end
-
-  describe "zero to two of a terminal symbol followed by a node class declaration and a block" do
-    testing_expression '"foo"..2 <OccurrenceRangeSpec::Foo> { def a_method; end }'
-
-    it "successfully parses epsilon, reporting a failure" do
-      parse('') do |result|
-        result.should_not be_nil
-        result.should be_an_instance_of(Foo)
-        result.should respond_to(:a_method)
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 0
-        failure.expected_string.should == 'foo'
-      end
-    end
-
-    it "successfully parses epsilon, returning an instance declared node class and recording a terminal failure" do
-      parse('') do |result|
-        result.should_not be_nil
-        result.should be_an_instance_of(Foo)
-        result.should respond_to(:a_method)
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 0
-        failure.expected_string.should == 'foo'
-      end
-    end
-
-    it "successfully parses one of that terminal, returning an instance of the declared node class and recording a terminal failure" do
-      parse("foo") do |result|
-        result.should_not be_nil
-        result.should be_an_instance_of(Foo)
-        result.should respond_to(:a_method)
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 3
-        failure.expected_string.should == 'foo'
-      end
-    end
-
-    it "successfully parses two of that terminal, returning an instance of the declared node class and reporting no failure" do
-      parse("foofoo") do |result|
-        result.should_not be_nil
-        result.should be_an_instance_of(Foo)
-        result.should respond_to(:a_method)
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-
-    it "fails to parses three of that terminal, returning an instance of the declared node class and reporting no failure" do
-      parse("foofoofoo") do |result|
-        result.should be_nil
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-  end
-
-  describe "two to four of a terminal symbol followed by a node class declaration and a block" do
-    testing_expression '"foo" 2..4 <OccurrenceRangeSpec::Foo> { def a_method; end }'
-
-    it "fails to parse epsilon, reporting a failure" do
-      parse('') do |result|
-        result.should be_nil
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 0
-        failure.expected_string.should == 'foo'
-      end
-    end
-
-    it "fails to parse one of that terminal, returning an instance of the declared node class and recording a terminal failure" do
-      parse("foo") do |result|
-        result.should be_nil
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 3
-        failure.expected_string.should == 'foo'
-      end
-    end
-
-    it "successfully parses two of that terminal, returning an instance of the declared node class and reporting no failure" do
-      parse("foofoo") do |result|
-        result.should_not be_nil
-        result.should be_an_instance_of(Foo)
-        result.should respond_to(:a_method)
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 6
-        failure.expected_string.should == 'foo'
-      end
-    end
-
-    it "successfully parses four of that terminal, returning an instance of the declared node class and reporting no failure" do
-      parse("foofoofoofoo") do |result|
-        result.should_not be_nil
-        result.should be_an_instance_of(Foo)
-        result.should respond_to(:a_method)
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-
-    it "fails to parses five of that terminal, returning an instance of the declared node class and reporting no failure" do
-      parse("foofoofoofoofoo") do |result|
-        result.should be_nil
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-  end
-
-  describe "two to any number of a terminal symbol followed by a node class declaration and a block" do
-    testing_expression '"foo" 2.. <OccurrenceRangeSpec::Foo> { def a_method; end }'
-
-    it "fails to parse epsilon, reporting a failure" do
-      parse('') do |result|
-        result.should be_nil
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 0
-        failure.expected_string.should == 'foo'
-      end
-    end
-
-    it "fails to parse one of that terminal, returning an instance of the declared node class and recording a terminal failure" do
-      parse("foo") do |result|
-        result.should be_nil
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 3
-        failure.expected_string.should == 'foo'
-      end
-    end
-
-    it "successfully parses two of that terminal, returning an instance of the declared node class and reporting no failure" do
-      parse("foofoo") do |result|
-        result.should_not be_nil
-        result.should be_an_instance_of(Foo)
-        result.should respond_to(:a_method)
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 6
-        failure.expected_string.should == 'foo'
-      end
-    end
-
-    it "successfully parses four of that terminal, returning an instance of the declared node class and reporting a failure on the fifth" do
-      parse("foofoofoofoo") do |result|
-        result.should_not be_nil
-        result.should be_an_instance_of(Foo)
-        result.should respond_to(:a_method)
-
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 12
-        failure.expected_string.should == 'foo'
-      end
-    end
-  end
-
-end

data/spec/compiler/one_or_more_spec.rb

@@ -1,35 +0,0 @@
-require 'spec_helper'
-
-module OneOrMoreSpec
-  class Foo < Treetop::Runtime::SyntaxNode
-  end
-
-  describe "one or more of a terminal symbol followed by a node class declaration and a block" do
-    testing_expression '"foo"+ <OneOrMoreSpec::Foo> { def a_method; end }'
-
-    it "fails to parse epsilon, reporting a failure" do
-      parse('') do |result|
-        result.should be_nil
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 0
-        failure.expected_string.should == 'foo'
-      end
-    end
-  
-    it "successfully parses two of that terminal in a row, returning an instance of the declared node class and reporting the failure the third parsing attempt" do
-      parse("foofoo") do |result|
-        result.should_not be_nil
-        result.should be_an_instance_of(Foo)
-        result.should respond_to(:a_method)
-        
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 6
-        failure.expected_string.should == 'foo'
-      end
-    end
-  end
-end

data/spec/compiler/optional_spec.rb

@@ -1,37 +0,0 @@
-require 'spec_helper'
-
-module OptionalSpec
-  describe "An optional terminal symbol" do
-    testing_expression '"foo"?'
-  
-    it "parses input matching the terminal" do
-      parse('foo').should_not be_nil
-    end
-  
-    it "parses epsilon, recording a failure" do
-      parse('') do |result|
-        result.should_not be_nil
-        result.interval.should == (0...0)
-        
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 0
-        failure.expected_string.should == 'foo'
-      end
-    end
-  
-    it "parses input not matching the terminal, returning an epsilon result and recording a failure" do
-      parse('bar', :consume_all_input => false) do |result|
-        result.should_not be_nil
-        result.interval.should == (0...0)
-        
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures.first
-        failure.index.should == 0
-        failure.expected_string.should == 'foo'
-      end
-    end
-  end
-end

data/spec/compiler/parenthesized_expression_spec.rb

@@ -1,19 +0,0 @@
-require 'spec_helper'
-
-module ParenthesizedExpressionSpec
-  describe "An unadorned expression inside of parentheses" do
-    testing_expression '("foo")'
-  
-    it "should behave as normal" do
-      parse('foo').should_not be_nil
-    end
-  end
-
-  describe "A prefixed-expression inside of parentheses" do
-    testing_expression '(!"foo")'
-  
-    it "should behave as normal" do
-      parse('foo').should be_nil
-    end
-  end
-end

data/spec/compiler/parsing_rule_spec.rb

@@ -1,61 +0,0 @@
-require 'spec_helper'
-
-module ParsingRuleSpec
-  describe "a grammar with one parsing rule" do
-
-    testing_grammar %{
-      grammar Foo
-        rule bar
-          "baz"
-        end
-      end
-    }
-
-    it "stores and retrieves nodes in its node cache" do
-      parser = self.class.const_get(:FooParser).new
-      parser.send(:prepare_to_parse, 'baz')
-      node_cache = parser.send(:node_cache)
-    
-      node_cache[:bar][0].should be_nil
-    
-      parser._nt_bar
-    
-      cached_node = node_cache[:bar][0]        
-      cached_node.should be_an_instance_of(Runtime::SyntaxNode)
-      cached_node.text_value.should == 'baz'
-    
-      parser.instance_eval { @index = 0 }
-      parser._nt_bar.should equal(cached_node)
-      parser.index.should == cached_node.interval.end
-    end
-  end
-  
-  
-  describe "a grammar with choice that uses the cache and has a subsequent expression" do    
-    testing_grammar %{
-      grammar Logic
-        rule expression
-          value_plus
-          /
-          value
-        end
-
-        rule value_plus
-          value "something else"
-        end
-
-        rule value
-          [a-z]
-          /
-          "foobar" # the subsequent expression that needs cached.interval.end
-        end
-      end
-    }
-    
-    it "parses a single-character value and generates a node from the cache" do
-      result = parse('a')
-      result.should be_a(Treetop::Runtime::SyntaxNode)
-      result.elements.should be_nil
-    end
-  end
-end

data/spec/compiler/repeated_subrule_spec.rb

@@ -1,29 +0,0 @@
-require 'spec_helper'
-
-module RepeatedSubruleSpec
-  describe "a repeated subrule" do
-    testing_grammar %{
-      grammar Foo
-        rule foo
-          a:'a' space b:'b' space 'cc'
-        end
-
-        rule space
-          ' '
-        end
-      end
-    }
-  
-    it "should produce a parser having sequence-numbered node accessor methods" do
-      parse("a b cc") do |result|
-        result.should_not be_nil
-        result.should respond_to(:space1)
-        result.should respond_to(:space2)
-        result.should_not respond_to(:space)
-        result.should respond_to(:a)
-        result.should respond_to(:b)
-        result.should_not respond_to(:c)
-      end
-    end
-  end
-end

data/spec/compiler/semantic_predicate_spec.rb

@@ -1,175 +0,0 @@
-require 'spec_helper'
-
-module SemanticPredicateSpec
-  describe "An &-predicate block" do
-    testing_expression '& {|| $ok_to_succeed}'
-
-    it "succeeds if it returns true, returning an epsilon syntax node" do
-      $ok_to_succeed = true
-      parse('foo', :consume_all_input => false) do |result|
-        result.should_not be_nil
-        result.interval.should == (0...0)
-      end
-    end
-
-    it "fails if it returns false" do
-      $ok_to_succeed = false
-      parse('foo', :consume_all_input => false) do |result|
-        result.should be_nil
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-
-  end
-
-  describe "A sequence of a terminal and an &-predicate block" do
-    testing_expression '"prior " &{|s| $value = s[0].text_value; $ok_to_succeed }'
-
-    it "matches the input terminal and consumes it if the block returns true, seeing the terminal in the sequence" do
-      $ok_to_succeed = true
-      $value = nil
-      parse('prior foo', :consume_all_input => false) do |result|
-        result.should_not be_nil
-        result.elements[0].text_value.should == "prior "
-        result.text_value.should == 'prior '
-        $value.should == 'prior '
-      end
-    end
-
-    it "fails if the block returns false, but sees the terminal in the sequence" do
-      $ok_to_succeed = false
-      $value = nil
-      parse('prior foo', :consume_all_input => false) do |result|
-        result.should be_nil
-        $value.should == 'prior '
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-
-  end
-
-  describe "A sequence of an optional terminal and an &-predicate block" do
-    testing_expression '"prior "? &{|s| $value = s[0].text_value; $ok_to_succeed}'
-
-    it "matches the input terminal and consumes it if the block returns true" do
-      $ok_to_succeed = true
-      parse('prior foo', :consume_all_input => false) do |result|
-        result.should_not be_nil
-        result.elements[0].text_value.should == "prior "
-        result.text_value.should == 'prior '
-        $value.should == 'prior '
-      end
-    end
-
-    it "fails with no terminal_failures if the block returns false" do
-      $ok_to_succeed = false
-      parse('prior foo', :consume_all_input => false) do |result|
-        result.should be_nil
-        $value.should == 'prior '
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-
-    it "fail and return the expected optional preceeding terminal as expected input if the block returns false" do
-      $ok_to_succeed = false
-      parse('foo', :consume_all_input => false) do |result|
-        result.should be_nil
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures[0]
-        failure.index.should == 0
-        failure.expected_string.should == 'prior '
-      end
-    end
-
-  end
-
-  describe "A !-predicate block" do
-    testing_expression '! {|| $ok_to_succeed}'
-
-    it "succeeds if it returns false, returning an epsilon syntax node" do
-      $ok_to_succeed = false
-      parse('foo', :consume_all_input => false) do |result|
-        result.should_not be_nil
-        result.interval.should == (0...0)
-      end
-    end
-
-    it "fails if it returns true" do
-      $ok_to_succeed = true
-      parse('foo', :consume_all_input => false) do |result|
-        result.should be_nil
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-
-  end
-
-  describe "A sequence of a terminal and an !-predicate block" do
-    testing_expression '"prior " !{|s| $value = s[0].text_value; $ok_to_succeed }'
-
-    it "matches the input terminal and consumes it if the block returns false, seeing the terminal in the sequence" do
-      $ok_to_succeed = false
-      $value = nil
-      parse('prior foo', :consume_all_input => false) do |result|
-        result.should_not be_nil
-        result.elements[0].text_value.should == "prior "
-        result.text_value.should == 'prior '
-        $value.should == 'prior '
-      end
-    end
-
-    it "fails if the block returns true, but sees the terminal in the sequence" do
-      $ok_to_succeed = true
-      $value = nil
-      parse('prior foo', :consume_all_input => false) do |result|
-        result.should be_nil
-        $value.should == 'prior '
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-
-  end
-
-  describe "A sequence of an optional terminal and an !-predicate block" do
-    testing_expression '"prior "? !{|s| $value = s[0].text_value; $ok_to_succeed}'
-
-    it "matches the input terminal and consumes it if the block returns false" do
-      $ok_to_succeed = false
-      parse('prior foo', :consume_all_input => false) do |result|
-        result.should_not be_nil
-        result.elements[0].text_value.should == "prior "
-        result.text_value.should == 'prior '
-        $value.should == 'prior '
-      end
-    end
-
-    it "fails with no terminal_failures if the block returns true" do
-      $ok_to_succeed = true
-      parse('prior foo', :consume_all_input => false) do |result|
-        result.should be_nil
-        $value.should == 'prior '
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 0
-      end
-    end
-
-    it "fail and return the expected optional preceeding terminal as expected input if the block returns true" do
-      $ok_to_succeed = true
-      parse('foo', :consume_all_input => false) do |result|
-        result.should be_nil
-        terminal_failures = parser.terminal_failures
-        terminal_failures.size.should == 1
-        failure = terminal_failures[0]
-        failure.index.should == 0
-        failure.expected_string.should == 'prior '
-      end
-    end
-
-  end
-end