arpaka 0.1.0

data/lib/lrama/ruby/parser.rb.erb

@@ -0,0 +1,127 @@
+# frozen_string_literal: true
+
+# Generated by Arpaka/Lrama. Do not edit.
+<% if recognizer -%>
+# Recognition only: C actions and support code are omitted.
+# Supply pre-tokenized input; acceptance returns true. No error recovery.
+<% end -%>
+class <%= class_name %>
+  class ParseError < StandardError
+    attr_reader :token, :state
+
+    def initialize(token, state)
+      @token = token
+      @state = state
+      super("Unexpected token #{token.inspect} in state #{state}")
+    end
+  end
+
+  TOKENS = <%= tokens.inspect %>.freeze
+<% %i[yytranslate yypact yydefact yypgoto yydefgoto yytable yycheck yyr1 yyr2].each do |name| -%>
+  <%= name.upcase %> = <%= context.public_send(name).inspect %>.freeze
+<% end -%>
+  YYFINAL = <%= context.yyfinal %>
+  YYNTOKENS = <%= context.yyntokens %>
+  YYPACT_NINF = <%= context.yypact_ninf %>
+  YYTABLE_NINF = <%= context.yytable_ninf %>
+
+  attr_accessor :lexical_context
+  attr_reader :parse_trace, :lookahead_token, :lookahead_value, :lookahead_state
+
+  # tokens yields [token name or numeric ID, semantic value] pairs.
+  # Exhaustion is EOF; [0, nil] can also terminate the stream explicitly.
+  def parse(tokens)
+    @parse_trace = []
+    input = tokens.to_enum
+    states = [0]
+    values = []
+    lookahead = nil
+    token = nil
+    value = nil
+    @lookahead_token = nil
+    @lookahead_value = nil
+    @lookahead_state = nil
+
+    while true
+      state = states.last
+      return <%= recognizer ? "true" : "values[-2]" %> if state == YYFINAL
+
+      action = nil
+      base = YYPACT[state]
+      unless base == YYPACT_NINF
+        if lookahead.nil?
+          pair = begin
+            input.next
+          rescue StopIteration
+            [0, nil]
+          end
+          unless pair.is_a?(Array) && pair.length == 2
+            raise ArgumentError, "Each token must be a [name or ID, value] pair"
+          end
+          token, value = pair
+          @parse_trace << [:read, token, state].freeze
+          @lookahead_token = token
+          @lookahead_value = value
+          @lookahead_state = state
+          id = token.is_a?(Integer) ? token : TOKENS[token.to_s]
+          lookahead = id && id >= 0 ? (YYTRANSLATE[id] || 2) : 2
+          # The reserved error symbol is internal to recovery, never lexer input.
+          raise ParseError.new(token, state) if lookahead == 1
+        end
+        index = base + lookahead
+        if index >= 0 && index < YYCHECK.length && YYCHECK[index] == lookahead
+          action = YYTABLE[index]
+        end
+      end
+
+      if action.nil?
+        rule = YYDEFACT[state]
+        raise ParseError.new(token, state) if rule.zero?
+      elsif action.positive?
+        @parse_trace << [:shift, token, state, action].freeze
+        @lexical_context&.parser_shift(token, value, state, action)
+        states << action
+        values << value
+        lookahead = nil
+        @lookahead_token = nil
+        @lookahead_value = nil
+        @lookahead_state = nil
+        next
+      elsif action.zero? || action == YYTABLE_NINF
+        raise ParseError.new(token, state)
+      else
+        rule = -action
+      end
+
+      length = YYR2[rule]
+      @parse_trace << [:reduce, rule, state].freeze
+      @lexical_context&.parser_reduce(rule, state)
+      result = reduce(rule, values, length)
+      states.pop(length)
+      values.pop(length)
+      lhs = YYR1[rule] - YYNTOKENS
+      index = YYPGOTO[lhs] + states.last
+      next_state = if index >= 0 && index < YYCHECK.length && YYCHECK[index] == states.last
+        YYTABLE[index]
+      else
+        YYDEFGOTO[lhs]
+      end
+      states << next_state
+      values << result
+    end
+  end
+
+  private
+
+  def reduce(rule, values, length)
+    yyval = length.zero? ? nil : values[-length]
+<% unless actions.empty? -%>
+    case rule
+<%= actions %>
+    else
+      # The default action is $$ = $1 (nil for an empty production).
+    end
+<% end -%>
+    yyval
+  end
+end

data/lib/lrama/ruby/version.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module Lrama
+  module Ruby
+    VERSION = "0.1.0"
+  end
+end

data/lib/lrama/ruby.rb

@@ -0,0 +1,28 @@
+# frozen_string_literal: true
+
+require_relative "ruby/version"
+
+module Lrama
+  module Ruby
+    class Error < StandardError; end
+
+    def self.generate(source, filename: "(grammar)", class_name: "Parser", mode: :parser, allow_error_rules: false)
+      Generator.new.generate(source, filename: filename, class_name: class_name,
+        mode: mode, allow_error_rules: allow_error_rules)
+    end
+
+    def self.compile(source, filename: "(grammar)", class_name: "Parser", mode: :parser, allow_error_rules: false)
+      code = generate(source, filename: filename, class_name: class_name,
+        mode: mode, allow_error_rules: allow_error_rules)
+      box = ::Ruby::Box.new
+      begin
+        box.eval(code)
+      rescue SyntaxError => error
+        raise Error, "Invalid generated Ruby for #{filename}: #{error.message}"
+      end
+      box.const_get(class_name, false)
+    end
+  end
+end
+
+require_relative "ruby/generator"

data/sig/arpaka.rbs

@@ -0,0 +1,15 @@
+module Arpaka
+  interface _Program
+    def statements: () -> Array[untyped]
+  end
+
+  interface _Frontend
+    def parse: (String source, ?filename: String) -> _Program
+  end
+
+  def self.generate: (ruby_source: String, ?class_name: String) -> String
+  def self.compile: (ruby_source: String, ?class_name: String) -> _Frontend
+
+  class Error < ::Lrama::Ruby::Error
+  end
+end

data/sig/lrama/ruby.rbs

@@ -0,0 +1,17 @@
+module Lrama
+  module Ruby
+    VERSION: String
+
+    class Error < StandardError
+    end
+
+    def self.generate: (String source, ?filename: String, ?class_name: String, ?mode: (:parser | :recognizer), ?allow_error_rules: bool) -> String
+    def self.compile: (String source, ?filename: String, ?class_name: String, ?mode: (:parser | :recognizer), ?allow_error_rules: bool) -> Class
+
+    class Generator
+      def initialize: () -> void
+      def generate: (String source, ?filename: String, ?class_name: String, ?mode: (:parser | :recognizer), ?allow_error_rules: bool) -> String
+    end
+
+  end
+end

metadata

@@ -0,0 +1,86 @@
+--- !ruby/object:Gem::Specification
+name: arpaka
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- MATSUMOTO, Katsuyoshi
+bindir: exe
+cert_chain: []
+date: 1980-01-02 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: lrama
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.8.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.8.0
+description: A Ruby parser frontend and Ruby output backend for Lrama.
+email:
+- github@katsyoshi.org
+executables:
+- arpaka
+extensions: []
+extra_rdoc_files: []
+files:
+- CHANGELOG.md
+- LICENSE.txt
+- README.md
+- Rakefile
+- assets/arpaka-logo.svg
+- examples/calculator.y
+- examples/calculator_ast.y
+- exe/arpaka
+- lib/arpaka.rb
+- lib/arpaka/BSDL
+- lib/arpaka/COPYING
+- lib/arpaka/actions.rb
+- lib/arpaka/cli.rb
+- lib/arpaka/generator.rb
+- lib/arpaka/ruby_grammar.rb
+- lib/arpaka/runtime/ast.rb.erb
+- lib/arpaka/runtime/builder.rb.erb
+- lib/arpaka/runtime/frontend.rb.erb
+- lib/arpaka/runtime/lexer.rb.erb
+- lib/arpaka/source.json
+- lib/arpaka/upstream_rules.json
+- lib/lrama/ruby.rb
+- lib/lrama/ruby/action_code.rb
+- lib/lrama/ruby/action_scanner.rb
+- lib/lrama/ruby/backend.rb
+- lib/lrama/ruby/generator.rb
+- lib/lrama/ruby/parser.rb.erb
+- lib/lrama/ruby/version.rb
+- sig/arpaka.rbs
+- sig/lrama/ruby.rbs
+homepage: https://github.com/katsyoshi/arpaka
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/katsyoshi/arpaka
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 4.0.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 4.0.20
+specification_version: 4
+summary: Ruby language parser frontend and Lrama output backend
+test_files: []