lrama 0.6.3 → 0.6.5

data/lib/lrama/version.rb

@@ -1,3 +1,3 @@
 module Lrama
-  VERSION = "0.6.3".freeze
+  VERSION = "0.6.5".freeze
 end

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("}")
@@ -455,10 +462,11 @@ rule
          {
            end_c_declaration
          }
-       "}" named_ref_opt
+       "}" named_ref_opt tag_opt
          {
            user_code = val[3]
            user_code.alias_name = val[6]
+           user_code.tag = val[7]
            builder = val[0]
            builder.user_code = user_code
            result = builder

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

@@ -17,7 +17,6 @@ module Lrama
       ) -> void
 
       def value: () -> (String|Integer)
-      def tag: () -> untyped
     end
   end
 end

data/sig/lrama/grammar/symbol.rbs

@@ -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]]

data/sig/lrama/lexer/token/user_code.rbs

@@ -2,6 +2,7 @@ module Lrama
   class Lexer
     class Token
       class UserCode < Token
+        attr_accessor tag: Lexer::Token::Tag
         @references: Array[Lrama::Grammar::Reference]
 
         def references: () -> Array[Lrama::Grammar::Reference]

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
 }
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: lrama
 version: !ruby/object:Gem::Version
-  version: 0.6.3
+  version: 0.6.5
 platform: ruby
 authors:
 - Yuichiro Kaneko
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-02-14 00:00:00.000000000 Z
+date: 2024-03-24 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
@@ -111,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
@@ -135,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