lrama 0.6.10 → 0.7.0

data/sig/lrama/state.rbs

@@ -0,0 +1,79 @@
+module Lrama
+  class State
+    @id: untyped
+
+    @accessing_symbol: untyped
+
+    @kernels: untyped
+
+    @items: Array[States::Item]
+
+    @items_to_state: untyped
+
+    @conflicts: Array[State::ShiftReduceConflict|State::ReduceReduceConflict]
+
+    @resolved_conflicts: untyped
+
+    @default_reduction_rule: untyped
+
+    @closure: untyped
+
+    @nterm_transitions: untyped
+
+    @term_transitions: untyped
+
+    @transitions: Array[[Shift, State]]
+
+    attr_reader id: untyped
+
+    attr_reader accessing_symbol: untyped
+
+    attr_reader kernels: untyped
+
+    attr_reader conflicts: Array[State::ShiftReduceConflict|State::ReduceReduceConflict]
+
+    attr_reader resolved_conflicts: untyped
+
+    attr_reader default_reduction_rule: untyped
+
+    attr_reader closure: untyped
+
+    attr_reader items: Array[States::Item]
+
+    attr_accessor shifts: Array[Shift]
+
+    attr_accessor reduces: untyped
+
+    def initialize: (untyped id, untyped accessing_symbol, Array[States::Item] kernels) -> void
+
+    def closure=: (untyped closure) -> untyped
+
+    def non_default_reduces: () -> untyped
+
+    def compute_shifts_reduces: () -> untyped
+
+    def set_items_to_state: (untyped items, untyped next_state) -> untyped
+
+    def set_look_ahead: (untyped rule, untyped look_ahead) -> untyped
+
+    def nterm_transitions: () -> untyped
+
+    def term_transitions: () -> untyped
+
+    def transitions: () -> Array[[Shift, State]]
+
+    def selected_term_transitions: () -> untyped
+
+    def transition: (untyped sym) -> untyped
+
+    def find_reduce_by_item!: (untyped item) -> untyped
+
+    def default_reduction_rule=: (untyped default_reduction_rule) -> untyped
+
+    def has_conflicts?: () -> untyped
+
+    def sr_conflicts: () -> untyped
+
+    def rr_conflicts: () -> untyped
+  end
+end

data/sig/lrama/states.rbs

@@ -0,0 +1,101 @@
+module Lrama
+  class States
+    include Grammar::_DelegatedMethods
+
+    @grammar: untyped
+
+    @warning: untyped
+
+    @trace_state: untyped
+
+    @states: Array[State]
+
+    @direct_read_sets: untyped
+
+    @reads_relation: untyped
+
+    @read_sets: untyped
+
+    @includes_relation: untyped
+
+    @lookback_relation: untyped
+
+    @follow_sets: untyped
+
+    @la: untyped
+
+    extend Forwardable
+
+    include Lrama::Report::Duration
+
+    attr_reader states: Array[State]
+
+    attr_reader reads_relation: untyped
+
+    attr_reader includes_relation: untyped
+
+    attr_reader lookback_relation: untyped
+
+    def initialize: (untyped grammar, untyped warning, ?trace_state: bool) -> void
+
+    def compute: () -> untyped
+
+    def reporter: () -> untyped
+
+    def states_count: () -> untyped
+
+    def direct_read_sets: () -> untyped
+
+    def read_sets: () -> untyped
+
+    def follow_sets: () -> untyped
+
+    def la: () -> untyped
+
+    private
+
+    def sr_conflicts: () -> untyped
+
+    def rr_conflicts: () -> untyped
+
+    def trace_state: () { (untyped) -> untyped } -> (untyped | nil)
+
+    def create_state: (untyped accessing_symbol, untyped kernels, untyped states_created) -> (::Array[untyped | false] | ::Array[untyped | true])
+
+    def setup_state: (untyped state) -> untyped
+
+    def enqueue_state: (untyped states, untyped state) -> untyped
+
+    def compute_lr0_states: () -> untyped
+
+    def nterm_transitions: () -> untyped
+
+    def compute_direct_read_sets: () -> untyped
+
+    def compute_reads_relation: () -> untyped
+
+    def compute_read_sets: () -> untyped
+
+    def transition: (untyped state, untyped symbols) -> untyped
+
+    def compute_includes_relation: () -> untyped
+
+    def compute_lookback_relation: () -> untyped
+
+    def compute_follow_sets: () -> untyped
+
+    def compute_look_ahead_sets: () -> untyped
+
+    def bitmap_to_terms: (untyped bit) -> untyped
+
+    def compute_conflicts: () -> untyped
+
+    def compute_shift_reduce_conflicts: () -> untyped
+
+    def compute_reduce_reduce_conflicts: () -> untyped
+
+    def compute_default_reduction: () -> untyped
+
+    def check_conflicts: () -> untyped
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: lrama
 version: !ruby/object:Gem::Version
-  version: 0.6.10
+  version: 0.7.0
 platform: ruby
 authors:
 - Yuichiro Kaneko
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-09-12 00:00:00.000000000 Z
+date: 2025-01-21 00:00:00.000000000 Z
 dependencies: []
 description: LALR (1) parser generator written by Ruby
 email:
@@ -21,8 +21,10 @@ files:
 - ".codespellignore"
 - ".github/dependabot.yml"
 - ".github/workflows/codespell.yaml"
+- ".github/workflows/gh-pages.yml"
 - ".github/workflows/test.yaml"
 - ".gitignore"
+- ".rdoc_options"
 - ".rspec"
 - Gemfile
 - LEGAL.md
@@ -31,6 +33,11 @@ files:
 - README.md
 - Rakefile
 - Steepfile
+- doc/Index.md
+- doc/development/compressed_state_table/main.md
+- doc/development/compressed_state_table/parse.output
+- doc/development/compressed_state_table/parse.y
+- doc/development/compressed_state_table/parser.rb
 - exe/lrama
 - lib/lrama.rb
 - lib/lrama/bitmap.rb
@@ -108,11 +115,30 @@ files:
 - parser.y
 - rbs_collection.lock.yaml
 - rbs_collection.yaml
-- sig/lrama/bitmap.rbs
-- sig/lrama/digraph.rbs
+- sig/generated/lrama/bitmap.rbs
+- sig/generated/lrama/digraph.rbs
+- sig/generated/lrama/grammar/binding.rbs
+- sig/generated/lrama/lexer/grammar_file.rbs
+- sig/generated/lrama/lexer/location.rbs
+- sig/generated/lrama/lexer/token.rbs
+- sig/generated/lrama/lexer/token/char.rbs
+- sig/generated/lrama/lexer/token/ident.rbs
+- sig/generated/lrama/lexer/token/instantiate_rule.rbs
+- sig/generated/lrama/lexer/token/tag.rbs
+- sig/generated/lrama/lexer/token/user_code.rbs
+- sig/generated/lrama/logger.rbs
+- sig/generated/lrama/trace_reporter.rbs
+- sig/lrama/counterexamples.rbs
+- sig/lrama/counterexamples/derivation.rbs
+- sig/lrama/counterexamples/example.rbs
+- sig/lrama/counterexamples/path.rbs
+- sig/lrama/counterexamples/production_path.rbs
+- sig/lrama/counterexamples/start_path.rbs
+- sig/lrama/counterexamples/state_item.rbs
+- sig/lrama/counterexamples/transition_path.rbs
+- sig/lrama/counterexamples/triple.rbs
 - sig/lrama/grammar.rbs
 - sig/lrama/grammar/auxiliary.rbs
-- sig/lrama/grammar/binding.rbs
 - sig/lrama/grammar/code.rbs
 - sig/lrama/grammar/code/destructor_code.rbs
 - sig/lrama/grammar/code/initial_action_code.rbs
@@ -136,22 +162,16 @@ files:
 - sig/lrama/grammar/symbols/resolver.rbs
 - sig/lrama/grammar/type.rbs
 - sig/lrama/grammar/union.rbs
-- sig/lrama/lexer/grammar_file.rbs
-- sig/lrama/lexer/location.rbs
-- sig/lrama/lexer/token.rbs
-- sig/lrama/lexer/token/char.rbs
-- sig/lrama/lexer/token/ident.rbs
-- sig/lrama/lexer/token/instantiate_rule.rbs
-- sig/lrama/lexer/token/tag.rbs
-- sig/lrama/lexer/token/user_code.rbs
 - sig/lrama/options.rbs
 - sig/lrama/report/duration.rbs
 - sig/lrama/report/profile.rbs
+- sig/lrama/state.rbs
 - sig/lrama/state/reduce.rbs
 - sig/lrama/state/reduce_reduce_conflict.rbs
 - sig/lrama/state/resolved_conflict.rbs
 - sig/lrama/state/shift.rbs
 - sig/lrama/state/shift_reduce_conflict.rbs
+- sig/lrama/states.rbs
 - sig/lrama/states/item.rbs
 - sig/lrama/warning.rbs
 - sig/stdlib/strscan/string_scanner.rbs
@@ -164,7 +184,7 @@ licenses:
 metadata:
   homepage_uri: https://github.com/ruby/lrama
   source_code_uri: https://github.com/ruby/lrama
-  documentation_uri: https://github.com/ruby/lrama
+  documentation_uri: https://ruby.github.io/lrama/
   changelog_uri: https://github.com/ruby/lrama/releases
   bug_tracker_uri: https://github.com/ruby/lrama/issues
 post_install_message:

data/sig/lrama/bitmap.rbs

@@ -1,7 +0,0 @@
-module Lrama
-  module Bitmap
-    def self.from_array: (Array[int] ary) -> Integer
-
-    def self.to_array: (Integer int) -> Array[Integer]
-  end
-end

data/sig/lrama/digraph.rbs

@@ -1,23 +0,0 @@
-module Lrama
-  class Digraph
-    def initialize: (Array[Integer] sets, Hash[Integer, Array[Integer]] relation, Hash[Integer, Integer] base_function) -> void
-    # X in the paper
-    @sets: Array[Integer]
-    # R in the paper
-    @relation: Hash[Integer, Array[Integer]]
-    # F' in the paper
-    @base_function: Hash[Integer, Integer]
-    # S in the paper
-    @stack: Array[Integer]
-    # N in the paper
-    @h: Hash[Integer, (Integer|Float)?]
-    # F in the paper
-    @result: Hash[Integer, Integer]
-
-    def compute: () -> Hash[Integer, Integer]
-
-    private
-
-    def traverse: (Integer x) -> void
-  end
-end

data/sig/lrama/grammar/binding.rbs

@@ -1,19 +0,0 @@
-module Lrama
-  class Grammar
-    class Binding
-      attr_reader actual_args: Array[Lexer::Token]
-      attr_reader count: Integer
-
-      @required_parameters_count: Integer
-      @parameters: Array[Lexer::Token]
-      @parameter_to_arg: untyped
-
-      def initialize: (Grammar::ParameterizingRule::Rule parameterizing_rule, Array[Lexer::Token] actual_args) -> void
-      def resolve_symbol: (Lexer::Token symbol) -> Lexer::Token
-
-      private
-
-      def parameter_to_arg: (Lexer::Token symbol) -> Lexer::Token?
-    end
-  end
-end

data/sig/lrama/lexer/grammar_file.rbs

@@ -1,17 +0,0 @@
-module Lrama
-  class Lexer
-    class GrammarFile
-      class Text < String
-      end
-      attr_reader path: String
-      attr_reader text: String
-
-      @lines: Array[String]
-
-      def initialize: (String path, String text) -> void
-
-      def ==: (GrammarFile other) -> bool
-      def lines: () -> Array[String]
-    end
-  end
-end

data/sig/lrama/lexer/location.rbs

@@ -1,26 +0,0 @@
-module Lrama
-  class Lexer
-    class Location
-      attr_reader grammar_file: GrammarFile
-      attr_reader first_line: Integer
-      attr_reader first_column: Integer
-      attr_reader last_line: Integer
-      attr_reader last_column: Integer
-
-      def initialize: (grammar_file: GrammarFile, first_line: Integer, first_column: Integer, last_line: Integer, last_column: Integer) -> void
-
-      def ==: (Location other) -> bool
-      def partial_location: (Integer, Integer) -> Location
-      def generate_error_message: (String) -> String
-      def line_with_carets: () -> String
-
-      private
-
-      def path: () -> String
-      def blanks: () -> String
-      def carets: () -> String
-      def text: () -> String
-      def _text: () -> Array[String]
-    end
-  end
-end