lrama 0.5.9 → 0.5.11

data/sig/lrama/grammar/symbol.rbs

@@ -0,0 +1,37 @@
+module Lrama
+  class Grammar
+    class Symbol
+      attr_accessor id: Lexer::Token
+      attr_accessor alias_name: String
+      attr_accessor number: Integer
+      attr_accessor tag: Lexer::Token?
+      attr_accessor term: bool
+      attr_accessor token_id: Integer
+      attr_accessor nullable: bool
+      attr_accessor precedence: Precedence?
+      attr_accessor printer: Printer?
+      attr_accessor error_token: ErrorToken
+
+      attr_accessor first_set: Set[Array[Symbol]]
+      attr_accessor first_set_bitmap: Integer
+      attr_writer eof_symbol: Symbol
+      attr_writer error_symbol: Symbol
+      attr_writer undef_symbol: Symbol
+      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
+
+      def term?: () -> bool
+      def nterm?: () -> bool
+      def eof_symbol?: () -> bool
+      def error_symbol?: () -> bool
+      def undef_symbol?: () -> bool
+      def accept_symbol?: () -> bool
+      def display_name: () -> String
+      def enum_name: () -> String
+      def comment: () -> String
+    end
+  end
+end

data/sig/lrama/lexer/location.rbs

@@ -0,0 +1,14 @@
+module Lrama
+  class Lexer
+    class Location
+      attr_reader first_line: Integer
+      attr_reader first_column: Integer
+      attr_reader last_line: Integer
+      attr_reader last_column: Integer
+
+      def initialize: (first_line: Integer, first_column: Integer, last_line: Integer, last_column: Integer) -> void
+
+      def ==: (Location other) -> bool
+    end
+  end
+end

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

@@ -2,6 +2,15 @@ module Lrama
   class Lexer
     class Token
       class Parameterizing < Token
+        attr_accessor args: Array[Lrama::Lexer::Token]
+
+        def initialize: (s_value: String, ?alias_name: String, ?location: Location, ?args: Array[Lrama::Lexer::Token]) -> void
+
+        def option?: () -> bool
+        def nonempty_list?: () -> bool
+        def list?: () -> bool
+        def separated_nonempty_list?: () -> bool
+        def separated_list?: () -> bool
       end
     end
   end

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

@@ -2,6 +2,7 @@ module Lrama
   class Lexer
     class Token
       class Tag < Token
+        def member: () -> String
       end
     end
   end

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

@@ -2,7 +2,14 @@ module Lrama
   class Lexer
     class Token
       class UserCode < Token
-        attr_accessor references: Array[[Symbol, (String|Integer), Token?, Integer, Integer]]
+        @references: Array[Lrama::Grammar::Reference]
+
+        def references: () -> Array[Lrama::Grammar::Reference]
+
+        private
+
+        def _references: () -> Array[Lrama::Grammar::Reference]
+        def scan_reference: (StringScanner scanner) -> Lrama::Grammar::Reference?
       end
     end
   end

data/sig/lrama/lexer/token.rbs

@@ -1,17 +1,22 @@
 module Lrama
   class Lexer
     class Token
-      attr_accessor s_value: String
+      attr_reader s_value: String
       attr_accessor alias_name: String
-      attr_accessor line: Integer
-      attr_accessor column: Integer
+      attr_reader location: Location
       attr_accessor referred: bool
 
-      def initialize: (?s_value: String, ?alias_name: String) -> void
+      def initialize: (s_value: String, ?alias_name: String, ?location: Location) -> void
 
       def to_s: () -> String
       def referred_by?: (String string) -> bool
       def ==: (Token other) -> bool
+      def first_line: () -> Integer
+      def first_column: () -> Integer
+      def last_line: () -> Integer
+      def last_column: () -> Integer
+      alias line first_line
+      alias column first_column
     end
   end
 end

data/sig/stdlib/strscan/string_scanner.rbs

@@ -0,0 +1,5 @@
+class StringScanner
+  # TODO: Is it better to define `StringScanner#fetch` whose type '(Integer) -> String' ?
+  def []: (Integer) -> String
+        | ...
+end

data/template/bison/yacc.c

@@ -69,11 +69,12 @@
 
 
 <%# b4_user_pre_prologue -%>
+<%- if output.aux.prologue -%>
 /* First part of user prologue.  */
 #line <%= output.aux.prologue_first_lineno %> "<%= output.grammar_file_path %>"
-
 <%= output.aux.prologue %>
 #line [@oline@] [@ofile@]
+<%- end -%>
 
 <%# b4_cast_define -%>
 # ifndef YY_CAST
@@ -1483,6 +1484,7 @@ YYLTYPE yylloc = yyloc_default;
 <%# b4_declare_parser_state_variables -%>
     /* Number of syntax errors so far.  */
     int yynerrs = 0;
+    YY_USE (yynerrs); /* Silence compiler warning.  */
 
     yy_state_fast_t yystate = 0;
     /* Number of tokens to shift before error messages enabled.  */
@@ -2043,7 +2045,8 @@ yyreturnlab:
 }
 
 <%# b4_percent_code_get([[epilogue]]) -%>
+<%- if output.aux.epilogue -%>
 #line <%= output.aux.epilogue_first_lineno - 1 %> "<%= output.grammar_file_path %>"
-
 <%= output.aux.epilogue -%>
+<%- end -%>
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: lrama
 version: !ruby/object:Gem::Version
-  version: 0.5.9
+  version: 0.5.11
 platform: ruby
 authors:
 - Yuichiro Kaneko
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-11-05 00:00:00.000000000 Z
+date: 2023-12-01 00:00:00.000000000 Z
 dependencies: []
 description: LALR (1) parser generator written by Ruby
 email:
@@ -40,21 +40,39 @@ files:
 - lib/lrama/counterexamples/derivation.rb
 - lib/lrama/counterexamples/example.rb
 - lib/lrama/counterexamples/path.rb
+- lib/lrama/counterexamples/production_path.rb
+- lib/lrama/counterexamples/start_path.rb
 - lib/lrama/counterexamples/state_item.rb
+- lib/lrama/counterexamples/transition_path.rb
 - lib/lrama/counterexamples/triple.rb
 - lib/lrama/digraph.rb
 - lib/lrama/grammar.rb
 - lib/lrama/grammar/auxiliary.rb
 - lib/lrama/grammar/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/error_token.rb
+- lib/lrama/grammar/parameterizing_rules/builder.rb
+- lib/lrama/grammar/parameterizing_rules/builder/base.rb
+- lib/lrama/grammar/parameterizing_rules/builder/list.rb
+- lib/lrama/grammar/parameterizing_rules/builder/nonempty_list.rb
+- lib/lrama/grammar/parameterizing_rules/builder/option.rb
+- lib/lrama/grammar/parameterizing_rules/builder/separated_list.rb
+- lib/lrama/grammar/parameterizing_rules/builder/separated_nonempty_list.rb
 - lib/lrama/grammar/percent_code.rb
 - lib/lrama/grammar/precedence.rb
 - lib/lrama/grammar/printer.rb
 - lib/lrama/grammar/reference.rb
 - lib/lrama/grammar/rule.rb
+- lib/lrama/grammar/rule_builder.rb
 - lib/lrama/grammar/symbol.rb
+- lib/lrama/grammar/type.rb
 - lib/lrama/grammar/union.rb
 - lib/lrama/lexer.rb
+- lib/lrama/lexer/location.rb
 - lib/lrama/lexer/token.rb
 - lib/lrama/lexer/token/char.rb
 - lib/lrama/lexer/token/ident.rb
@@ -77,7 +95,6 @@ files:
 - lib/lrama/states.rb
 - lib/lrama/states/item.rb
 - lib/lrama/states_reporter.rb
-- lib/lrama/type.rb
 - lib/lrama/version.rb
 - lib/lrama/warning.rb
 - lrama.gemspec
@@ -90,8 +107,25 @@ files:
 - sig/lrama/bitmap.rbs
 - sig/lrama/digraph.rbs
 - sig/lrama/grammar.rbs
+- sig/lrama/grammar/code.rbs
+- sig/lrama/grammar/code/printer_code.rbs
+- sig/lrama/grammar/counter.rbs
+- sig/lrama/grammar/error_token.rbs
+- sig/lrama/grammar/parameterizing_rules/builder.rbs
+- sig/lrama/grammar/parameterizing_rules/builder/base.rbs
+- sig/lrama/grammar/parameterizing_rules/builder/list.rbs
+- sig/lrama/grammar/parameterizing_rules/builder/nonempty_list.rbs
+- sig/lrama/grammar/parameterizing_rules/builder/option.rbs
+- sig/lrama/grammar/parameterizing_rules/builder/separated_list.rbs
+- sig/lrama/grammar/parameterizing_rules/builder/separated_nonempty_list.rbs
 - sig/lrama/grammar/percent_code.rbs
+- sig/lrama/grammar/precedence.rbs
+- sig/lrama/grammar/printer.rbs
 - sig/lrama/grammar/reference.rbs
+- sig/lrama/grammar/rule.rbs
+- sig/lrama/grammar/rule_builder.rbs
+- sig/lrama/grammar/symbol.rbs
+- sig/lrama/lexer/location.rbs
 - sig/lrama/lexer/token.rbs
 - sig/lrama/lexer/token/char.rbs
 - sig/lrama/lexer/token/ident.rbs
@@ -101,6 +135,7 @@ files:
 - sig/lrama/report/duration.rbs
 - sig/lrama/report/profile.rbs
 - sig/lrama/warning.rbs
+- sig/stdlib/strscan/string_scanner.rbs
 - template/bison/_yacc.h
 - template/bison/yacc.c
 - template/bison/yacc.h

data/lib/lrama/type.rb

@@ -1,4 +0,0 @@
-module Lrama
-  class Type < Struct.new(:id, :tag, keyword_init: true)
-  end
-end