lrama 0.5.8 → 0.5.10

data/sig/lrama/grammar/reference.rbs

@@ -0,0 +1,22 @@
+module Lrama
+  class Grammar
+    class Reference
+      attr_accessor type: Symbol
+      attr_accessor name: String
+      attr_accessor index: Integer
+      attr_accessor ex_tag: Lexer::Token?
+      attr_accessor first_column: Integer
+      attr_accessor last_column: Integer
+      attr_accessor position_in_rhs: Integer?
+
+      def initialize: (
+        type: Symbol, ?name: String, ?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/rule.rbs

@@ -0,0 +1,13 @@
+module Lrama
+  class Grammar
+    class Rule
+      attr_accessor original_rule: Rule
+
+      def initialize: (
+        ?id: untyped, ?_lhs: untyped, ?lhs: untyped, ?_rhs: untyped, ?rhs: untyped,
+        ?token_code: untyped, ?position_in_original_rule_rhs: untyped, ?nullable: untyped,
+        ?precedence_sym: untyped, ?lineno: untyped
+      ) -> void
+    end
+  end
+end

data/sig/lrama/grammar/rule_builder.rbs

@@ -0,0 +1,41 @@
+module Lrama
+  class Grammar
+    class RuleBuilder
+      attr_accessor lhs: Lexer::Token
+      attr_accessor line: Integer?
+      attr_reader rhs: Array[Lexer::Token]
+      attr_reader user_code: Lexer::Token::UserCode?
+      attr_reader precedence_sym: Lexer::Token?
+
+      @rule_counter: Counter
+      @midrule_action_counter: Counter
+      @position_in_original_rule_rhs: Integer?
+      @skip_preprocess_references: bool
+      @user_code: Lexer::Token::UserCode?
+      @rule_builders_for_derived_rules: Array[RuleBuilder]
+      @rules: Array[Rule]
+      @replaced_rhs: Array[Lexer::Token]
+      @parameterizing_rules: Array[Rule]
+      @midrule_action_rules: Array[Rule]
+
+      def initialize: (Counter rule_counter, Counter midrule_action_counter, ?Integer position_in_original_rule_rhs, ?skip_preprocess_references: bool) -> void
+      def add_rhs: (Lexer::Token rhs) -> void
+      def user_code=: (Lexer::Token::UserCode user_code) -> void
+      def precedence_sym=: (Lexer::Token user_code) -> void
+      def complete_input: () -> void
+      def setup_rules: () -> void
+      def parameterizing_rules: () -> Array[Rule]
+      def midrule_action_rules: () -> Array[Rule]
+      def rules: () -> Array[Rule]
+
+      private
+
+      def freeze_rhs: () -> void
+      def preprocess_references: () -> void
+      def build_rules: () -> void
+      def process_rhs: () -> void
+      def numberize_references: () -> void
+      def flush_user_code: () -> void
+    end
+  end
+end

data/sig/lrama/grammar.rbs

@@ -0,0 +1,5 @@
+module Lrama
+  class Grammar
+    def numberize_references: (Lexer::Token lhs, Array[Lexer::Token] rhs, Array[Reference]) -> void
+  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/char.rbs

@@ -0,0 +1,8 @@
+module Lrama
+  class Lexer
+    class Token
+      class Char < Token
+      end
+    end
+  end
+end

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

@@ -0,0 +1,8 @@
+module Lrama
+  class Lexer
+    class Token
+      class Ident < Token
+      end
+    end
+  end
+end

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

@@ -0,0 +1,15 @@
+module Lrama
+  class Lexer
+    class Token
+      class Parameterizing < Token
+        attr_accessor args: Array[Lrama::Lexer::Token]
+
+        def option?: () -> bool
+        def nonempty_list?: () -> bool
+        def list?: () -> bool
+        def separated_nonempty_list?: () -> bool
+        def separated_list?: () -> bool
+      end
+    end
+  end
+end

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

@@ -0,0 +1,9 @@
+module Lrama
+  class Lexer
+    class Token
+      class Tag < Token
+        def member: () -> String
+      end
+    end
+  end
+end

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

@@ -0,0 +1,16 @@
+module Lrama
+  class Lexer
+    class Token
+      class UserCode < Token
+        @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
+end

data/sig/lrama/lexer/token.rbs

@@ -0,0 +1,22 @@
+module Lrama
+  class Lexer
+    class Token
+      attr_accessor s_value: String
+      attr_accessor alias_name: String
+      attr_accessor location: Location
+      attr_accessor referred: bool
+
+      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.h

@@ -12,7 +12,7 @@
 #if YYDEBUG && !defined(yydebug)
 extern int yydebug;
 #endif
-  <%-# b4_percent_code_get([[requires]]). %code is not supported -%>
+<%= output.percent_code("requires") %>
 
   <%-# b4_token_enums_defines -%>
 /* Token kinds.  */
@@ -64,7 +64,7 @@ struct YYLTYPE
 int yyparse (<%= output.parse_param %>);
 
 
-  <%-# b4_percent_code_get([[provides]]). %code is not supported -%>
+<%= output.percent_code("provides") %>
   <%-# b4_cpp_guard_close([b4_spec_mapped_header_file]) -%>
     <%- if output.spec_mapped_header_file -%>
 #endif /* !<%= output.b4_cpp_guard__b4_spec_mapped_header_file %>  */

data/template/bison/yacc.c

@@ -68,14 +68,14 @@
 #define YYPULL 1
 
 
-
-
 <%# 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
@@ -1485,6 +1485,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.  */
@@ -2045,7 +2046,9 @@ 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.8
+  version: 0.5.10
 platform: ruby
 authors:
 - Yuichiro Kaneko
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-10-26 00:00:00.000000000 Z
+date: 2023-11-18 00:00:00.000000000 Z
 dependencies: []
 description: LALR (1) parser generator written by Ruby
 email:
@@ -40,22 +40,44 @@ 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/union.rb
 - lib/lrama/lexer.rb
+- lib/lrama/lexer/location.rb
 - lib/lrama/lexer/token.rb
-- lib/lrama/lexer/token/type.rb
+- lib/lrama/lexer/token/char.rb
+- lib/lrama/lexer/token/ident.rb
+- lib/lrama/lexer/token/parameterizing.rb
+- lib/lrama/lexer/token/tag.rb
+- lib/lrama/lexer/token/user_code.rb
 - lib/lrama/option_parser.rb
 - lib/lrama/options.rb
 - lib/lrama/output.rb
@@ -84,10 +106,28 @@ files:
 - sample/parse.y
 - sig/lrama/bitmap.rbs
 - sig/lrama/digraph.rbs
-- sig/lrama/lexer/token/type.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/parameterizing_rules/builder.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/lexer/location.rbs
+- sig/lrama/lexer/token.rbs
+- sig/lrama/lexer/token/char.rbs
+- sig/lrama/lexer/token/ident.rbs
+- sig/lrama/lexer/token/parameterizing.rbs
+- sig/lrama/lexer/token/tag.rbs
+- sig/lrama/lexer/token/user_code.rbs
 - 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/lexer/token/type.rb

@@ -1,8 +0,0 @@
-module Lrama
-  class Lexer
-    class Token < Struct.new(:type, :s_value, :alias, keyword_init: true)
-      class Type < Struct.new(:id, :name, keyword_init: true)
-      end
-    end
-  end
-end

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

@@ -1,17 +0,0 @@
-module Lrama
-  class Lexer
-    class Token
-      attr_accessor type: Type
-      attr_accessor s_value: String
-      attr_accessor alias: String
-
-      def initialize: (?type: Type, ?s_value: String, ?alias: String) -> void
-      class Type
-        attr_accessor id: Integer
-        attr_accessor name: String
-
-        def initialize: (?id: Integer, ?name: String) -> void
-      end
-    end
-  end
-end