rusa 0.1.0

data/test/test_lalr_table.rb

@@ -0,0 +1,64 @@
+# frozen_string_literal: true
+
+require_relative "test_helper"
+
+class LalrTableTest < Minitest::Test
+  def test_resolves_precedence_and_associativity_for_arithmetic_grammar
+    grammar = Rusa.grammar do
+      token :NUMBER,(/\d+/)
+      token :PLUS, "+"
+      token :STAR, "*"
+      token :LPAREN, "("
+      token :RPAREN, ")"
+      skip(/\s+/)
+
+      left :PLUS
+      left :STAR
+
+      start :expr
+
+      rule :expr do
+        alt(:expr, :PLUS, :expr) { |left, _, right| [:add, left, right] }
+        alt(:expr, :STAR, :expr) { |left, _, right| [:mul, left, right] }
+        alt(:LPAREN, :expr, :RPAREN) { |_, expression, _| expression }
+        alt(:NUMBER) { |number| number.to_i }
+      end
+    end
+
+    table = Rusa::Analysis::LALRTable.new(grammar)
+
+    refute_empty table.action_table
+    refute_empty table.goto_table
+    assert(table.conflicts.any? { |conflict| conflict.message.include?("left associativity") })
+    assert(table.conflicts.any? { |conflict| conflict.message.include?("higher token precedence") })
+    assert(
+      table.action_table.values.any? do |actions|
+        actions[:PLUS].is_a?(Rusa::Analysis::Reduce) && actions[:STAR].is_a?(Rusa::Analysis::Shift)
+      end
+    )
+  end
+
+  def test_prefers_shift_for_dangling_else
+    grammar = Rusa.grammar do
+      token :IF, "if"
+      token :THEN, "then"
+      token :ELSE, "else"
+      token :ID,(/[a-z]+/)
+      skip(/\s+/)
+
+      start :stmt
+
+      rule :stmt do
+        alt(:IF, :ID, :THEN, :stmt, :ELSE, :stmt)
+        alt(:IF, :ID, :THEN, :stmt)
+        alt(:ID)
+      end
+    end
+
+    table = Rusa::Analysis::LALRTable.new(grammar)
+    conflict = table.conflicts.find { |entry| entry.lookahead == :ELSE }
+
+    refute_nil conflict
+    assert_includes conflict.message, "default shift"
+  end
+end

metadata

@@ -0,0 +1,96 @@
+--- !ruby/object:Gem::Specification
+name: rusa
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Yudai Takada
+bindir: exe
+cert_chain: []
+date: 1980-01-02 00:00:00.000000000 Z
+dependencies: []
+description: Rusa generates standalone Ruby parsers from Ruby-defined grammars without
+  external runtime dependencies.
+email:
+- t.yudai92@gmail.com
+executables:
+- rusa
+extensions: []
+extra_rdoc_files: []
+files:
+- LICENSE.txt
+- README.md
+- Rakefile
+- Steepfile
+- examples/calc.rb
+- examples/json.rb
+- examples/mini_lang.rb
+- exe/rusa
+- lib/rusa.rb
+- lib/rusa/analysis/automaton.rb
+- lib/rusa/analysis/conflict_resolver.rb
+- lib/rusa/analysis/first_follow.rb
+- lib/rusa/analysis/item.rb
+- lib/rusa/analysis/item_set.rb
+- lib/rusa/analysis/lalr_table.rb
+- lib/rusa/analysis/parse_action.rb
+- lib/rusa/cli.rb
+- lib/rusa/errors.rb
+- lib/rusa/generator/code_generator.rb
+- lib/rusa/grammar/action_capture.rb
+- lib/rusa/grammar/dsl.rb
+- lib/rusa/grammar/grammar.rb
+- lib/rusa/grammar/precedence.rb
+- lib/rusa/grammar/rule.rb
+- lib/rusa/grammar/symbol.rb
+- lib/rusa/version.rb
+- sig/generated/rusa.rbs
+- sig/generated/rusa/analysis/automaton.rbs
+- sig/generated/rusa/analysis/conflict_resolver.rbs
+- sig/generated/rusa/analysis/first_follow.rbs
+- sig/generated/rusa/analysis/item.rbs
+- sig/generated/rusa/analysis/item_set.rbs
+- sig/generated/rusa/analysis/lalr_table.rbs
+- sig/generated/rusa/analysis/parse_action.rbs
+- sig/generated/rusa/cli.rbs
+- sig/generated/rusa/errors.rbs
+- sig/generated/rusa/generator/code_generator.rbs
+- sig/generated/rusa/grammar/action_capture.rbs
+- sig/generated/rusa/grammar/dsl.rbs
+- sig/generated/rusa/grammar/grammar.rbs
+- sig/generated/rusa/grammar/precedence.rbs
+- sig/generated/rusa/grammar/rule.rbs
+- sig/generated/rusa/grammar/symbol.rbs
+- sig/generated/rusa/version.rbs
+- test/test_automaton.rb
+- test/test_code_generator.rb
+- test/test_dsl.rb
+- test/test_e2e.rb
+- test/test_first_follow.rb
+- test/test_grammar_model.rb
+- test/test_helper.rb
+- test/test_lalr_table.rb
+homepage: https://github.com/ydah/rusa
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/ydah/rusa
+  source_code_uri: https://github.com/ydah/rusa
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.1.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 4.0.6
+specification_version: 4
+summary: Pure Ruby LALR(1) parser generator with a Ruby DSL.
+test_files: []