lrama 0.6.2 → 0.6.4

data/lib/lrama/state.rb

@@ -29,8 +29,8 @@ module Lrama
     end
 
     def non_default_reduces
-      reduces.select do |reduce|
-        reduce.rule != @default_reduction_rule
+      reduces.reject do |reduce|
+        reduce.rule == @default_reduction_rule
       end
     end
 
@@ -105,8 +105,8 @@ module Lrama
     end
 
     def selected_term_transitions
-      term_transitions.select do |shift, next_state|
-        !shift.not_selected
+      term_transitions.reject do |shift, next_state|
+        shift.not_selected
       end
     end
 

data/lib/lrama/states/item.rb

@@ -1,8 +1,14 @@
 # TODO: Validate position is not over rule rhs
 
+require "forwardable"
+
 module Lrama
   class States
     class Item < Struct.new(:rule, :position, keyword_init: true)
+      extend Forwardable
+
+      def_delegators "rule", :lhs, :rhs
+
       # Optimization for States#setup_state
       def hash
         [rule_id, position].hash
@@ -20,14 +26,6 @@ module Lrama
         rhs.count - position
       end
 
-      def lhs
-        rule.lhs
-      end
-
-      def rhs
-        rule.rhs
-      end
-
       def next_sym
         rhs[position]
       end

data/lib/lrama/states_reporter.rb

@@ -109,8 +109,8 @@ module Lrama
         io << "\n"
 
         # Report shifts
-        tmp = state.term_transitions.select do |shift, _|
-          !shift.not_selected
+        tmp = state.term_transitions.reject do |shift, _|
+          shift.not_selected
         end.map do |shift, next_state|
           [shift.next_sym, next_state.id]
         end

data/lib/lrama/version.rb

@@ -1,3 +1,3 @@
 module Lrama
-  VERSION = "0.6.2".freeze
+  VERSION = "0.6.4".freeze
 end

data/lrama.gemspec

@@ -16,6 +16,13 @@ Gem::Specification.new do |spec|
   spec.files = Dir.chdir(File.expand_path(__dir__)) do
     `git ls-files -z`.split("\x0").reject { |f| f.match(%r{\A(?:test|spec|features)/}) }
   end
+
+  spec.metadata["homepage_uri"]      = spec.homepage
+  spec.metadata["source_code_uri"]   = spec.homepage
+  spec.metadata["documentation_uri"] = spec.homepage
+  spec.metadata["changelog_uri"]     = "#{spec.homepage}/releases"
+  spec.metadata["bug_tracker_uri"]   = "#{spec.homepage}/issues"
+
   spec.bindir        = "exe"
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]

data/parser.y

@@ -97,6 +97,13 @@ rule
                            end_c_declaration
                          }
                        "}" generic_symlist
+                         {
+                           @grammar.add_destructor(
+                             ident_or_tags: val[6],
+                             token_code: val[3],
+                             lineno: val[3].line
+                           )
+                         }
                      | "%printer" "{"
                          {
                            begin_c_declaration("}")
@@ -129,6 +136,26 @@ rule
                              lineno: val[3].line
                            )
                          }
+                     | "%after-shift" IDENTIFIER
+                         {
+                           @grammar.after_shift = val[1]
+                         }
+                     | "%before-reduce" IDENTIFIER
+                         {
+                           @grammar.before_reduce = val[1]
+                         }
+                     | "%after-reduce" IDENTIFIER
+                         {
+                           @grammar.after_reduce = val[1]
+                         }
+                     | "%after-shift-error-token" IDENTIFIER
+                         {
+                           @grammar.after_shift_error_token = val[1]
+                         }
+                     | "%after-pop-stack" IDENTIFIER
+                         {
+                           @grammar.after_pop_stack = val[1]
+                         }
 
   symbol_declaration: "%token" token_declarations
                     | "%type" symbol_declarations

data/sig/lrama/grammar/binding.rbs

@@ -4,7 +4,6 @@ module Lrama
       attr_reader actual_args: Array[Lexer::Token]
       attr_reader count: Integer
 
-      @rule_name: String
       @required_parameters_count: Integer
       @parameters: Array[Lexer::Token]
       @parameter_to_arg: untyped

data/sig/lrama/grammar/code/destructor_code.rbs

@@ -0,0 +1,15 @@
+module Lrama
+  class Grammar
+    class Code
+      class DestructorCode < Code
+        @tag: untyped
+        def initialize: (type: untyped, token_code: untyped, tag: untyped) -> void
+
+        private
+
+        # ref: Lrama::Grammar::Code.token_code.references
+        def reference_to_c: (untyped ref) -> untyped
+      end
+    end
+  end
+end

data/sig/lrama/grammar/destructor.rbs

@@ -0,0 +1,11 @@
+module Lrama
+  class Grammar
+    class Destructor
+      attr_accessor ident_or_tags: Array[Lexer::Token::Ident|Lexer::Token::Tag]
+      attr_accessor token_code: Grammar::Code
+      attr_accessor lineno: Integer
+
+      def translated_code: (Lexer::Token member) -> String
+    end
+  end
+end

data/sig/lrama/grammar/parameterizing_rule/resolver.rbs

@@ -8,7 +8,6 @@ module Lrama
 
         def initialize: () -> void
         def add_parameterizing_rule: (Grammar::ParameterizingRule::Rule rule) -> void
-        def defined?: (Lexer::Token::InstantiateRule token) -> bool
         def find: (Lexer::Token::InstantiateRule token) -> Grammar::ParameterizingRule::Rule?
         def created_lhs: (String lhs_s_value) -> Lexer::Token?
 

data/sig/lrama/grammar/reference.rbs

@@ -3,6 +3,7 @@ module Lrama
     class Reference
       attr_accessor type: ::Symbol
       attr_accessor name: String
+      attr_accessor number: Integer
       attr_accessor index: Integer
       attr_accessor ex_tag: Lexer::Token?
       attr_accessor first_column: Integer
@@ -10,13 +11,12 @@ module Lrama
       attr_accessor position_in_rhs: Integer?
 
       def initialize: (
-        type: ::Symbol, ?name: String, ?index: Integer, ?ex_tag: Lexer::Token?,
+        type: ::Symbol, ?name: String, ?number: Integer, ?index: Integer, ?ex_tag: Lexer::Token?,
         first_column: Integer, last_column: Integer,
         ?position_in_rhs: Integer?
       ) -> void
 
       def value: () -> (String|Integer)
-      def tag: () -> untyped
     end
   end
 end

data/sig/lrama/grammar/symbol.rbs

@@ -2,7 +2,7 @@ module Lrama
   class Grammar
     class Symbol
       attr_accessor id: Lexer::Token
-      attr_accessor alias_name: String
+      attr_accessor alias_name: String?
       attr_accessor number: Integer
       attr_accessor tag: Lexer::Token?
       attr_accessor term: bool
@@ -10,6 +10,7 @@ module Lrama
       attr_accessor nullable: bool
       attr_accessor precedence: Precedence?
       attr_accessor printer: Printer?
+      attr_accessor destructor: Destructor?
       attr_accessor error_token: ErrorToken
 
       attr_accessor first_set: Set[Array[Symbol]]
@@ -20,8 +21,8 @@ module Lrama
       attr_writer accept_symbol: Symbol
 
       def initialize: (
-          id: Lexer::Token, alias_name: String?, number: Integer?, tag: Lexer::Token?,
-          term: bool, token_id: Integer?, nullable: bool?, precedence: Precedence?, printer: Printer?) -> void
+          id: Lexer::Token, term: bool, ?alias_name: String?, ?number: Integer?, ?tag: Lexer::Token?,
+          ?token_id: Integer?, ?nullable: bool?, ?precedence: Precedence?, ?printer: Printer?) -> void
 
       def term?: () -> bool
       def nterm?: () -> bool
@@ -31,7 +32,7 @@ module Lrama
       def accept_symbol?: () -> bool
       def display_name: () -> String
       def enum_name: () -> String
-      def comment: () -> String
+      def comment: () -> String?
     end
   end
 end

data/sig/lrama/grammar/symbols/resolver.rbs

@@ -0,0 +1,41 @@
+module Lrama
+  class Grammar
+    class Symbols
+      class Resolver
+        attr_reader terms: Array[Grammar::Symbol]
+        attr_reader nterms: Array[Grammar::Symbol]
+
+        @symbols: Array[Grammar::Symbol]?
+        @number: Integer
+        @used_numbers: Hash[Integer, bool]
+
+        def initialize: () -> void
+        def symbols: () -> Array[Grammar::Symbol]
+        def sort_by_number!: () -> void
+        def add_term: (id: Lexer::Token, ?alias_name: String?, ?tag: Lexer::Token?, ?token_id: Integer?, ?replace: bool) -> Grammar::Symbol
+        def add_nterm: (id: Lexer::Token, ?alias_name: String?, ?tag: Lexer::Token?) -> Grammar::Symbol?
+        def find_symbol_by_s_value: (Grammar::Symbol s_value) -> Grammar::Symbol?
+        def find_symbol_by_s_value!: (Grammar::Symbol s_value) -> Grammar::Symbol
+        def find_symbol_by_id: (Lexer::Token id) -> Grammar::Symbol?
+        def find_symbol_by_id!: (Lexer::Token id) -> Grammar::Symbol
+        def find_symbol_by_token_id: (Integer token_id) -> Grammar::Symbol?
+        def find_symbol_by_number!: (Integer number) -> Grammar::Symbol
+        def fill_symbol_number: () -> void
+        def fill_nterm_type: (Array[Grammar::Type] types) -> void
+        def fill_printer: (Array[Grammar::Printer] printers) -> void
+        def fill_error_token: (Array[Grammar::ErrorToken] error_tokens) -> void
+        def token_to_symbol: (Lexer::Token token) -> Grammar::Symbol
+        def validate!: () -> void
+
+        private
+
+        def find_nterm_by_id!: (Lexer::Token id) -> Grammar::Symbol
+        def fill_terms_number: () -> void
+        def fill_nterms_number: () -> void
+        def used_numbers: () -> Hash[Integer, bool]
+        def validate_number_uniqueness!: () -> void
+        def validate_alias_name_uniqueness!: () -> void
+      end
+    end
+  end
+end

data/sig/lrama/grammar/type.rbs

@@ -0,0 +1,11 @@
+module Lrama
+  class Grammar
+    class Type
+      attr_reader id: Lexer::Token
+      attr_reader tag: Lexer::Token
+
+      def initialize: (id: Lexer::Token, tag: Lexer::Token) -> void
+      def ==: (Grammar::Type other) -> bool
+    end
+  end
+end

data/sig/lrama/options.rbs

@@ -0,0 +1,17 @@
+module Lrama
+ class Options
+    attr_accessor skeleton: String
+    attr_accessor header: bool
+    attr_accessor header_file: String?
+    attr_accessor report_file: String?
+    attr_accessor outfile: String
+    attr_accessor error_recovery: bool
+    attr_accessor grammar_file: String?
+    attr_accessor trace_opts: Hash[Symbol, bool]?
+    attr_accessor report_opts: Hash[Symbol, bool]?
+    attr_accessor y: IO
+    attr_accessor debug: bool
+
+    def initialize: () -> void
+ end
+end

data/template/bison/yacc.c

@@ -1145,7 +1145,12 @@ yydestruct (const char *yymsg,
   YY_SYMBOL_PRINT (yymsg, yykind, yyvaluep, yylocationp<%= output.user_args %>);
 
   YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
-  YY_USE (yykind);
+  switch (yykind)
+    {
+<%= output.symbol_actions_for_destructor -%>
+      default:
+        break;
+    }
   YY_IGNORE_MAYBE_UNINITIALIZED_END
 }
 
@@ -1752,6 +1757,7 @@ yybackup:
   *++yyvsp = yylval;
   YY_IGNORE_MAYBE_UNINITIALIZED_END
   *++yylsp = yylloc;
+<%= output.after_shift_function("/* %after-shift code. */") %>
 
   /* Discard the shifted token.  */
   yychar = YYEMPTY;
@@ -1784,6 +1790,7 @@ yyreduce:
      unconditionally makes the parser a bit smaller, and it avoids a
      GCC warning that YYVAL may be used uninitialized.  */
   yyval = yyvsp[1-yylen];
+<%= output.before_reduce_function("/* %before-reduce function. */") %>
 
   /* Default location. */
   YYLLOC_DEFAULT (yyloc, (yylsp - yylen), yylen);
@@ -1809,6 +1816,7 @@ yyreduce:
   YY_SYMBOL_PRINT ("-> $$ =", YY_CAST (yysymbol_kind_t, yyr1[yyn]), &yyval, &yyloc<%= output.user_args %>);
 
   YYPOPSTACK (yylen);
+<%= output.after_reduce_function("/* %after-reduce function. */") %>
   yylen = 0;
 
   *++yyvsp = yyval;
@@ -1910,6 +1918,7 @@ yyerrorlab:
   /* Do not reclaim the symbols of the rule whose action triggered
      this YYERROR.  */
   YYPOPSTACK (yylen);
+<%= output.after_pop_stack_function("yylen", "/* %after-pop-stack function. */") %>
   yylen = 0;
   YY_STACK_PRINT (yyss, yyssp<%= output.user_args %>);
   yystate = *yyssp;
@@ -1969,6 +1978,7 @@ yyerrlab1:
       yydestruct ("Error: popping",
                   YY_ACCESSING_SYMBOL (yystate), yyvsp, yylsp<%= output.user_args %>);
       YYPOPSTACK (1);
+<%= output.after_pop_stack_function(1, "/* %after-pop-stack function. */") %>
       yystate = *yyssp;
       YY_STACK_PRINT (yyss, yyssp<%= output.user_args %>);
     }
@@ -1983,6 +1993,7 @@ yyerrlab1:
 
   /* Shift the error token.  */
   YY_SYMBOL_PRINT ("Shifting", YY_ACCESSING_SYMBOL (yyn), yyvsp, yylsp<%= output.user_args %>);
+<%= output.after_shift_error_token_function("/* %after-shift-error-token code. */") %>
 
   yystate = yyn;
   goto yynewstate;

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: lrama
 version: !ruby/object:Gem::Version
-  version: 0.6.2
+  version: 0.6.4
 platform: ruby
 authors:
 - Yuichiro Kaneko
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-01-27 00:00:00.000000000 Z
+date: 2024-03-22 00:00:00.000000000 Z
 dependencies: []
 description: LALR (1) parser generator written by Ruby
 email:
@@ -50,11 +50,13 @@ files:
 - lib/lrama/grammar/auxiliary.rb
 - lib/lrama/grammar/binding.rb
 - lib/lrama/grammar/code.rb
+- lib/lrama/grammar/code/destructor_code.rb
 - lib/lrama/grammar/code/initial_action_code.rb
 - lib/lrama/grammar/code/no_reference_code.rb
 - lib/lrama/grammar/code/printer_code.rb
 - lib/lrama/grammar/code/rule_action.rb
 - lib/lrama/grammar/counter.rb
+- lib/lrama/grammar/destructor.rb
 - lib/lrama/grammar/error_token.rb
 - lib/lrama/grammar/parameterizing_rule.rb
 - lib/lrama/grammar/parameterizing_rule/resolver.rb
@@ -68,6 +70,8 @@ files:
 - lib/lrama/grammar/rule_builder.rb
 - lib/lrama/grammar/stdlib.y
 - lib/lrama/grammar/symbol.rb
+- lib/lrama/grammar/symbols.rb
+- lib/lrama/grammar/symbols/resolver.rb
 - lib/lrama/grammar/type.rb
 - lib/lrama/grammar/union.rb
 - lib/lrama/lexer.rb
@@ -109,8 +113,10 @@ files:
 - sig/lrama/grammar.rbs
 - sig/lrama/grammar/binding.rbs
 - sig/lrama/grammar/code.rbs
+- sig/lrama/grammar/code/destructor_code.rbs
 - sig/lrama/grammar/code/printer_code.rbs
 - sig/lrama/grammar/counter.rbs
+- sig/lrama/grammar/destructor.rbs
 - sig/lrama/grammar/error_token.rbs
 - sig/lrama/grammar/parameterizing_rule.rbs
 - sig/lrama/grammar/parameterizing_rule/resolver.rbs
@@ -123,6 +129,8 @@ files:
 - sig/lrama/grammar/rule.rbs
 - sig/lrama/grammar/rule_builder.rbs
 - sig/lrama/grammar/symbol.rbs
+- sig/lrama/grammar/symbols/resolver.rbs
+- sig/lrama/grammar/type.rbs
 - sig/lrama/lexer/grammar_file.rbs
 - sig/lrama/lexer/location.rbs
 - sig/lrama/lexer/token.rbs
@@ -131,6 +139,7 @@ files:
 - 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/warning.rbs
@@ -141,7 +150,12 @@ files:
 homepage: https://github.com/ruby/lrama
 licenses:
 - GPL-3.0-or-later
-metadata: {}
+metadata:
+  homepage_uri: https://github.com/ruby/lrama
+  source_code_uri: https://github.com/ruby/lrama
+  documentation_uri: https://github.com/ruby/lrama
+  changelog_uri: https://github.com/ruby/lrama/releases
+  bug_tracker_uri: https://github.com/ruby/lrama/issues
 post_install_message:
 rdoc_options: []
 require_paths: