ibex 0.1.0

data/sig/ibex/runtime/parser.rbs

@@ -0,0 +1,167 @@
+# Generated from lib/ibex/runtime/parser.rb with RBS::Inline
+
+module Ibex
+  module Runtime
+    # Parser-table shape understood by this runtime.
+    PARSER_TABLE_FORMAT_VERSION: Integer
+
+    # Raised by the default parser error handler.
+    class ParseError < StandardError
+    end
+
+    # Drives a table-defined LR parser without native extensions.
+    #
+    # Subclasses provide `.parser_tables`, returning `:tokens`, `:token_names`,
+    # `:actions`, `:gotos`, and `:productions`. Actions are represented by
+    # `[:shift, state]`, `[:reduce, production]`, `[:accept]`, or `[:error]`.
+    class Parser
+      EOF_TOKEN: Integer
+
+      ERROR_TOKEN: Integer
+
+      NO_LOOKAHEAD: Object
+
+      RECOVERY_SHIFTS: Integer
+
+      EMPTY_ROW: Hash[Integer, untyped]
+
+      @yydebug: bool
+
+      @yydebug_output: IO
+
+      @source: (^() -> untyped)?
+
+      @state_stack: Array[Integer]
+
+      @value_stack: Array[untyped]
+
+      @lookahead: untyped
+
+      @lookahead_value: untyped
+
+      @recovery_shifts: Integer
+
+      @semantic_error: bool
+
+      @accept_requested: bool
+
+      @unknown_token_id: Integer?
+
+      @unknown_token_name: String?
+
+      attr_accessor yydebug: bool
+
+      attr_writer yydebug_output: IO
+
+      # @rbs () -> void
+      def initialize: () -> void
+
+      # Pull tokens from `next_token` and parse them.
+      # @rbs () -> untyped
+      def do_parse: () -> untyped
+
+      # Parse tokens yielded by `receiver.method_id`.
+      # @rbs (untyped receiver, Symbol method_id) -> untyped
+      def yyparse: (untyped receiver, Symbol method_id) -> untyped
+
+      # Override in pull parsers. Return `[token, value]`, `false`, or `nil`.
+      # @rbs () -> ([untyped, untyped] | false | nil)
+      def next_token: () -> ([ untyped, untyped ] | false | nil)
+
+      # Override to recover from syntax errors. The default always raises.
+      # @rbs (Integer token_id, untyped value, Array[untyped] value_stack) -> untyped
+      def on_error: (Integer token_id, untyped value, Array[untyped] value_stack) -> untyped
+
+      # Called after an ordinary input token is shifted. Override to observe
+      # the internal token id, semantic value, and destination state.
+      # @rbs (Integer token_id, untyped value, Integer state) -> void
+      def on_shift: (Integer token_id, untyped value, Integer state) -> void
+
+      # Called after a production's semantic action and goto are committed.
+      # Override to observe its id, RHS values, and semantic result.
+      # @rbs (Integer production_id, Array[untyped] values, untyped result) -> void
+      def on_reduce: (Integer production_id, Array[untyped] values, untyped result) -> void
+
+      # Called after the synthetic error token enters a recovery state.
+      # The payload describes the original error before recovery popped stacks.
+      # @rbs (Integer token_id, untyped value, Array[untyped] value_stack) -> void
+      def on_error_recover: (Integer token_id, untyped value, Array[untyped] value_stack) -> void
+
+      # Return a human-readable name for an internal token id.
+      # @rbs (Integer token_id) -> String
+      def token_to_str: (Integer token_id) -> String
+
+      # Enter error recovery from a semantic action without calling `on_error`.
+      # @rbs () -> nil
+      def yyerror: () -> nil
+
+      # Leave error recovery immediately.
+      # @rbs () -> nil
+      def yyerrok: () -> nil
+
+      # Accept immediately after the current semantic action completes.
+      # @rbs () -> nil
+      def yyaccept: () -> nil
+
+      # Return token names accepted in the current parser state.
+      # @rbs () -> Array[String]
+      def expected_tokens: () -> Array[String]
+
+      private
+
+      # @rbs (^() -> untyped source) -> untyped
+      def drive_parser: (^() -> untyped source) -> untyped
+
+      # @rbs (^() -> untyped source) -> void
+      def prepare_parse: (^() -> untyped source) -> void
+
+      # @rbs () -> void
+      def validate_parser_table_format!: () -> void
+
+      # @rbs () -> untyped
+      def action_for_current_state: () -> untyped
+
+      # @rbs (untyped action) -> untyped
+      def perform: (untyped action) -> untyped
+
+      # @rbs (Integer next_state) -> untyped
+      def shift: (Integer next_state) -> untyped
+
+      # @rbs (Integer production_id) -> untyped
+      def reduce: (Integer production_id) -> untyped
+
+      # @rbs (Hash[Symbol, untyped] production, Array[untyped] values) -> untyped
+      def reduction_value: (Hash[Symbol, untyped] production, Array[untyped] values) -> untyped
+
+      # @rbs (?report: bool) -> untyped
+      def recover: (?report: bool) -> untyped
+
+      # @rbs () -> bool
+      def shift_error_token: () -> bool
+
+      # @rbs () -> void
+      def read_lookahead: () -> void
+
+      # @rbs () -> untyped
+      def read_external_token: () -> untyped
+
+      # @rbs (untyped external_token) -> Integer
+      def internal_token_id: (untyped external_token) -> Integer
+
+      # @rbs () -> Hash[Symbol, untyped]
+      def parser_tables: () -> Hash[Symbol, untyped]
+
+      # @rbs (untyped action) -> bool
+      def error_action?: (untyped action) -> bool
+
+      # @rbs (Integer state) -> untyped
+      def default_action: (Integer state) -> untyped
+
+      # @rbs (untyped table, Integer row, Integer column) -> untyped
+      def table_lookup: (untyped table, Integer row, Integer column) -> untyped
+
+      # @rbs (String message) -> void
+      def trace: (String message) -> void
+    end
+  end
+end

data/sig/ibex/runtime.rbs

@@ -0,0 +1,6 @@
+# Generated from lib/ibex/runtime.rb with RBS::Inline
+
+module Ibex
+  module Runtime
+  end
+end

data/sig/ibex/tables.rbs

@@ -0,0 +1,50 @@
+# Generated from lib/ibex/tables.rb with RBS::Inline
+
+module Ibex
+  # Parser table construction and row-displacement compression.
+  module Tables
+    private def runtime_action: (IR::parser_action action) -> IR::runtime_action
+
+    private def self.runtime_action: (IR::parser_action action) -> IR::runtime_action
+
+    class TableSet < Struct[untyped]
+      attr_accessor actions(): untyped
+
+      attr_accessor gotos(): untyped
+
+      attr_accessor default_actions(): untyped
+
+      def self.new: (?actions: untyped, ?gotos: untyped, ?default_actions: untyped) -> instance
+                  | ({ ?actions: untyped, ?gotos: untyped, ?default_actions: untyped }) -> instance
+    end
+
+    # Sparse table represented by per-row offsets and ownership checks.
+    class Compact
+      attr_reader offsets: Array[Integer]
+
+      attr_reader values: Array[untyped]
+
+      attr_reader checks: Array[Integer?]
+
+      attr_reader row_count: Integer
+
+      # @rbs (Array[Hash[Integer, untyped]] rows) -> Compact
+      def self.build: (Array[Hash[Integer, untyped]] rows) -> Compact
+
+      # @rbs (Array[Integer] columns, Array[Integer?] checks) -> Integer
+      private def self.find_offset: (Array[Integer] columns, Array[Integer?] checks) -> Integer
+
+      # @rbs (offsets: Array[Integer], values: Array[untyped], checks: Array[Integer?], row_count: Integer) -> void
+      def initialize: (offsets: Array[Integer], values: Array[untyped], checks: Array[Integer?], row_count: Integer) -> void
+
+      # @rbs (Integer row, Integer column) -> untyped
+      def lookup: (Integer row, Integer column) -> untyped
+
+      # @rbs (Integer row) -> Hash[Integer, untyped]
+      def row: (Integer row) -> Hash[Integer, untyped]
+    end
+
+    # @rbs (IR::Automaton automaton, ?format: Symbol | String) -> TableSet
+    def self?.build: (IR::Automaton automaton, ?format: Symbol | String) -> TableSet
+  end
+end

data/sig/ibex/version.rbs

@@ -0,0 +1,6 @@
+# Generated from lib/ibex/version.rb with RBS::Inline
+
+# Ibex generates and runs Pure Ruby LR parsers.
+module Ibex
+  VERSION: ::String
+end

data/sig/ibex.rbs

@@ -0,0 +1,6 @@
+# Generated from lib/ibex.rb with RBS::Inline
+
+# Ibex generates and runs Pure Ruby LR parsers.
+module Ibex
+  ParseError: singleton(Runtime::ParseError)
+end

metadata

@@ -0,0 +1,161 @@
+--- !ruby/object:Gem::Specification
+name: ibex
+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: Ibex generates LR parsers from racc-compatible grammars without native
+  extensions.
+email:
+- t.yudai92@gmail.com
+executables:
+- ibex
+extensions: []
+extra_rdoc_files: []
+files:
+- ".rubocop.yml"
+- CHANGELOG.md
+- LICENSE.txt
+- README.md
+- Rakefile
+- Steepfile
+- docs/architecture.md
+- docs/compat-notes.md
+- docs/grammar-reference.md
+- docs/lexer-coverage.md
+- docs/phase10-extensions.md
+- docs/racc-migration.md
+- exe/ibex
+- gemfiles/Gemfile
+- gemfiles/Gemfile.lock
+- lib/ibex.rb
+- lib/ibex/analysis.rb
+- lib/ibex/analysis/sets.rb
+- lib/ibex/cli.rb
+- lib/ibex/cli/counterexample_options.rb
+- lib/ibex/cli/outputs.rb
+- lib/ibex/codegen/dot.rb
+- lib/ibex/codegen/html.rb
+- lib/ibex/codegen/rbs.rb
+- lib/ibex/codegen/report.rb
+- lib/ibex/codegen/ruby.rb
+- lib/ibex/codegen/symbol_labels.rb
+- lib/ibex/error.rb
+- lib/ibex/frontend.rb
+- lib/ibex/frontend/action_scanner.rb
+- lib/ibex/frontend/ast.rb
+- lib/ibex/frontend/bootstrap_parser.rb
+- lib/ibex/frontend/dsl.rb
+- lib/ibex/frontend/generated_parser.rb
+- lib/ibex/frontend/generated_parser_base.rb
+- lib/ibex/frontend/grammar.y
+- lib/ibex/frontend/lexer.rb
+- lib/ibex/frontend/parser.rb
+- lib/ibex/frontend/parser/declarations.rb
+- lib/ibex/frontend/parser/rules.rb
+- lib/ibex/frontend/regenerator.rb
+- lib/ibex/frontend/source_cursor.rb
+- lib/ibex/frontend/token_adapter.rb
+- lib/ibex/frontend/token_adapter/declaration_state.rb
+- lib/ibex/frontend/token_adapter/delimiter_tracker.rb
+- lib/ibex/frontend/token_adapter/rule_state.rb
+- lib/ibex/ir.rb
+- lib/ibex/ir/automaton_ir.rb
+- lib/ibex/ir/grammar_ir.rb
+- lib/ibex/ir/serialize.rb
+- lib/ibex/lalr.rb
+- lib/ibex/lalr/builder.rb
+- lib/ibex/lalr/conflict.rb
+- lib/ibex/lalr/conflict_search.rb
+- lib/ibex/lalr/conflict_search_limits.rb
+- lib/ibex/lalr/counterexample.rb
+- lib/ibex/lalr/default_reductions.rb
+- lib/ibex/normalize.rb
+- lib/ibex/normalize/declarations.rb
+- lib/ibex/normalize/diagnostics.rb
+- lib/ibex/normalize/expander.rb
+- lib/ibex/normalize/expression.rb
+- lib/ibex/runtime.rb
+- lib/ibex/runtime/parser.rb
+- lib/ibex/tables.rb
+- lib/ibex/version.rb
+- sig/ibex.rbs
+- sig/ibex/analysis.rbs
+- sig/ibex/analysis/sets.rbs
+- sig/ibex/cli.rbs
+- sig/ibex/cli/counterexample_options.rbs
+- sig/ibex/cli/outputs.rbs
+- sig/ibex/codegen/dot.rbs
+- sig/ibex/codegen/html.rbs
+- sig/ibex/codegen/rbs.rbs
+- sig/ibex/codegen/report.rbs
+- sig/ibex/codegen/ruby.rbs
+- sig/ibex/codegen/symbol_labels.rbs
+- sig/ibex/error.rbs
+- sig/ibex/frontend.rbs
+- sig/ibex/frontend/action_scanner.rbs
+- sig/ibex/frontend/ast.rbs
+- sig/ibex/frontend/bootstrap_parser.rbs
+- sig/ibex/frontend/dsl.rbs
+- sig/ibex/frontend/generated_parser.rbs
+- sig/ibex/frontend/generated_parser_base.rbs
+- sig/ibex/frontend/lexer.rbs
+- sig/ibex/frontend/parser.rbs
+- sig/ibex/frontend/parser/declarations.rbs
+- sig/ibex/frontend/parser/rules.rbs
+- sig/ibex/frontend/regenerator.rbs
+- sig/ibex/frontend/source_cursor.rbs
+- sig/ibex/frontend/token_adapter.rbs
+- sig/ibex/frontend/token_adapter/declaration_state.rbs
+- sig/ibex/frontend/token_adapter/delimiter_tracker.rbs
+- sig/ibex/frontend/token_adapter/rule_state.rbs
+- sig/ibex/ir.rbs
+- sig/ibex/ir/automaton_ir.rbs
+- sig/ibex/ir/grammar_ir.rbs
+- sig/ibex/ir/serialize.rbs
+- sig/ibex/lalr.rbs
+- sig/ibex/lalr/builder.rbs
+- sig/ibex/lalr/conflict.rbs
+- sig/ibex/lalr/conflict_search.rbs
+- sig/ibex/lalr/conflict_search_limits.rbs
+- sig/ibex/lalr/counterexample.rbs
+- sig/ibex/lalr/default_reductions.rbs
+- sig/ibex/normalize.rbs
+- sig/ibex/normalize/declarations.rbs
+- sig/ibex/normalize/diagnostics.rbs
+- sig/ibex/normalize/expander.rbs
+- sig/ibex/normalize/expression.rbs
+- sig/ibex/runtime.rbs
+- sig/ibex/runtime/parser.rbs
+- sig/ibex/tables.rbs
+- sig/ibex/version.rbs
+homepage: https://github.com/ydah/ibex
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/ydah/ibex
+  source_code_uri: https://github.com/ydah/ibex/tree/main
+  rubygems_mfa_required: 'true'
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.0.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: A Pure Ruby LR parser generator
+test_files: []