lrama 0.6.9 → 0.6.11

data/sig/lrama/state/reduce.rbs

@@ -0,0 +1,20 @@
+module Lrama
+  class State
+    class Reduce
+      @item: States::Item
+      @look_ahead: Array[Grammar::Symbol]?
+      @not_selected_symbols: Array[Grammar::Symbol]
+
+      attr_reader item: States::Item
+      attr_reader look_ahead: Array[Grammar::Symbol]?
+      attr_reader not_selected_symbols: Array[Grammar::Symbol]
+      attr_accessor default_reduction: bool
+
+      def initialize: (States::Item item) -> void
+      def rule: -> Grammar::Rule
+      def look_ahead=: (Array[Grammar::Symbol] look_ahead) -> Array[Grammar::Symbol]
+      def add_not_selected_symbol: (Grammar::Symbol sym) -> Array[Grammar::Symbol]
+      def selected_look_ahead: () -> (::Array[Grammar::Symbol?])
+    end
+  end
+end

data/sig/lrama/state/reduce_reduce_conflict.rbs

@@ -0,0 +1,13 @@
+module Lrama
+  class State
+    class ReduceReduceConflict
+      attr_accessor symbols: Array[Grammar::Symbol]
+      attr_accessor reduce1: State::Reduce
+      attr_accessor reduce2: State::Reduce
+
+      def initialize: (?symbols: Array[Grammar::Symbol], ?reduce1: State::Reduce, ?reduce2: State::Reduce) -> void
+
+      def type: () -> :reduce_reduce
+    end
+  end
+end

data/sig/lrama/state/resolved_conflict.rbs

@@ -0,0 +1,14 @@
+module Lrama
+  class State
+    class ResolvedConflict
+      attr_accessor symbol: Grammar::Symbol
+      attr_accessor reduce: State::Reduce
+      attr_accessor which: (:reduce | :shift)
+      attr_accessor same_prec: bool
+
+      def initialize: (?symbol: Grammar::Symbol, ?reduce: State::Reduce, ?which: (:reduce | :shift), ?same_prec: bool) -> void
+
+      def report_message: () -> (::String | bot)
+    end
+  end
+end

data/sig/lrama/state/shift.rbs

@@ -0,0 +1,14 @@
+module Lrama
+  class State
+    class Shift
+      @next_sym: Grammar::Symbol
+      @next_items: Array[States::Item]
+
+      attr_reader next_sym: Grammar::Symbol
+      attr_reader next_items: Array[States::Item]
+      attr_accessor not_selected: bool
+
+      def initialize: (Grammar::Symbol next_sym, Array[States::Item] next_items) -> void
+    end
+  end
+end

data/sig/lrama/state/shift_reduce_conflict.rbs

@@ -0,0 +1,13 @@
+module Lrama
+  class State
+    class ShiftReduceConflict
+      attr_accessor symbols: Array[Grammar::Symbol]
+      attr_accessor shift: State::Shift
+      attr_accessor reduce: State::Reduce
+
+      def initialize: (?symbols: Array[Grammar::Symbol], ?shift: State::Shift, ?reduce: State::Reduce) -> void
+
+      def type: () -> :shift_reduce
+    end
+  end
+end

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/item.rbs

@@ -0,0 +1,30 @@
+module Lrama
+  class States
+    class Item
+      extend Forwardable
+      include Grammar::Rule::_DelegatedMethods
+
+      attr_accessor rule: Grammar::Rule
+      attr_accessor position: Integer
+
+      def initialize: (?rule: Grammar::Rule, ?position: Integer) -> void
+
+      def hash: () -> Integer
+      def rule_id: () -> Integer
+      def empty_rule?: () -> bool
+      def number_of_rest_symbols: () -> Integer
+      def next_sym: () -> Grammar::Symbol
+      def next_next_sym: () -> Grammar::Symbol
+      def previous_sym: () -> Grammar::Symbol
+      def end_of_rule?: () -> bool
+      def beginning_of_rule?: () -> bool
+      def start_item?: () -> bool
+      def new_by_next_position: () -> States::Item
+      def symbols_before_dot: () -> Array[Grammar::Symbol]
+      def symbols_after_dot: () -> Array[Grammar::Symbol]
+      def to_s: () -> ::String
+      def display_name: () -> ::String
+      def display_rest: () -> ::String
+    end
+  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

data/template/bison/yacc.c

@@ -1166,9 +1166,9 @@ yydestruct (const char *yymsg,
 #endif
 
 enum yy_repair_type {
-  insert,
-  delete,
-  shift,
+  inserting,
+  deleting,
+  shifting,
 };
 
 struct yy_repair {
@@ -1401,27 +1401,27 @@ yyrecover(yy_state_t *yyss, yy_state_t *yyssp, int yychar<%= output.user_formals
                   if (current->repair_length + 1 > YYMAXREPAIR(<%= output.parse_param_name %>))
                     continue;
 
-                  yy_repairs *new = (yy_repairs *) YYMALLOC (sizeof (yy_repairs));
-                  new->id = count;
-                  new->next = 0;
-                  new->stack_length = stack_length;
-                  new->states = (yy_state_t *) YYMALLOC (sizeof (yy_state_t) * (stack_length));
-                  new->state = new->states + (current->state - current->states);
-                  YYCOPY (new->states, current->states, current->state - current->states + 1);
-                  new->repair_length = current->repair_length + 1;
-                  new->prev_repair = current;
-                  new->repair.type = insert;
-                  new->repair.term = (yysymbol_kind_t) yyx;
+                  yy_repairs *reps = (yy_repairs *) YYMALLOC (sizeof (yy_repairs));
+                  reps->id = count;
+                  reps->next = 0;
+                  reps->stack_length = stack_length;
+                  reps->states = (yy_state_t *) YYMALLOC (sizeof (yy_state_t) * (stack_length));
+                  reps->state = reps->states + (current->state - current->states);
+                  YYCOPY (reps->states, current->states, current->state - current->states + 1);
+                  reps->repair_length = current->repair_length + 1;
+                  reps->prev_repair = current;
+                  reps->repair.type = inserting;
+                  reps->repair.term = (yysymbol_kind_t) yyx;
 
                   /* Process PDA assuming next token is yyx */
-                  if (! yy_process_repairs (new, yyx))
+                  if (! yy_process_repairs (reps, (yysymbol_kind_t)yyx))
                     {
-                      YYFREE (new);
+                      YYFREE (reps);
                       continue;
                     }
 
-                  tail->next = new;
-                  tail = new;
+                  tail->next = reps;
+                  tail = reps;
                   count++;
 
                   if (yyx == yytoken)
@@ -1437,7 +1437,7 @@ yyrecover(yy_state_t *yyss, yy_state_t *yyssp, int yychar<%= output.user_formals
                   YYDPRINTF ((stderr,
                         "New repairs is enqueued. count: %d, yystate: %d, yyx: %d\n",
                         count, yystate, yyx));
-                  yy_print_repairs (new<%= output.user_args %>);
+                  yy_print_repairs (reps<%= output.user_args %>);
                 }
             }
         }
@@ -1475,7 +1475,12 @@ int yychar;
 /* The semantic value of the lookahead symbol.  */
 /* Default value used for initialization, for pacifying older GCCs
    or non-GCC compilers.  */
+#ifdef __cplusplus
+static const YYSTYPE yyval_default = {};
+(void) yyval_default;
+#else
 YY_INITIAL_VALUE (static const YYSTYPE yyval_default;)
+#endif
 YYSTYPE yylval YY_INITIAL_VALUE (= yyval_default);
 
 /* Location data for the lookahead symbol.  */

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: lrama
 version: !ruby/object:Gem::Version
-  version: 0.6.9
+  version: 0.6.11
 platform: ruby
 authors:
 - Yuichiro Kaneko
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-05-02 00:00:00.000000000 Z
+date: 2024-12-23 00:00:00.000000000 Z
 dependencies: []
 description: LALR (1) parser generator written by Ruby
 email:
@@ -31,6 +31,10 @@ files:
 - README.md
 - Rakefile
 - Steepfile
+- 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
@@ -45,6 +49,7 @@ files:
 - lib/lrama/counterexamples/state_item.rb
 - lib/lrama/counterexamples/transition_path.rb
 - lib/lrama/counterexamples/triple.rb
+- lib/lrama/diagnostics.rb
 - lib/lrama/digraph.rb
 - lib/lrama/grammar.rb
 - lib/lrama/grammar/auxiliary.rb
@@ -74,6 +79,7 @@ files:
 - lib/lrama/grammar/symbols/resolver.rb
 - lib/lrama/grammar/type.rb
 - lib/lrama/grammar/union.rb
+- lib/lrama/grammar_validator.rb
 - lib/lrama/lexer.rb
 - lib/lrama/lexer/grammar_file.rb
 - lib/lrama/lexer/location.rb
@@ -83,6 +89,7 @@ files:
 - lib/lrama/lexer/token/instantiate_rule.rb
 - lib/lrama/lexer/token/tag.rb
 - lib/lrama/lexer/token/user_code.rb
+- lib/lrama/logger.rb
 - lib/lrama/option_parser.rb
 - lib/lrama/options.rb
 - lib/lrama/output.rb
@@ -99,22 +106,32 @@ files:
 - lib/lrama/states.rb
 - lib/lrama/states/item.rb
 - lib/lrama/states_reporter.rb
+- lib/lrama/trace_reporter.rb
 - lib/lrama/version.rb
-- lib/lrama/warning.rb
 - lrama.gemspec
 - parser.y
 - rbs_collection.lock.yaml
 - rbs_collection.yaml
-- sample/calc.output
-- sample/calc.y
-- sample/parse.y
 - sig/lrama/bitmap.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/digraph.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
+- sig/lrama/grammar/code/no_reference_code.rbs
 - sig/lrama/grammar/code/printer_code.rbs
+- sig/lrama/grammar/code/rule_action.rbs
 - sig/lrama/grammar/counter.rbs
 - sig/lrama/grammar/destructor.rbs
 - sig/lrama/grammar/error_token.rbs
@@ -131,6 +148,7 @@ files:
 - sig/lrama/grammar/symbol.rbs
 - 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
@@ -142,6 +160,14 @@ files:
 - 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
 - template/bison/_yacc.h