lrama 0.6.11 → 0.7.0

data/sig/generated/lrama/lexer/location.rbs

@@ -0,0 +1,52 @@
+# Generated from lib/lrama/lexer/location.rb with RBS::Inline
+
+module Lrama
+  class Lexer
+    class Location
+      attr_reader grammar_file: GrammarFile
+
+      attr_reader first_line: Integer
+
+      attr_reader first_column: Integer
+
+      attr_reader last_line: Integer
+
+      attr_reader last_column: Integer
+
+      # @rbs (grammar_file: GrammarFile, first_line: Integer, first_column: Integer, last_line: Integer, last_column: Integer) -> void
+      def initialize: (grammar_file: GrammarFile, first_line: Integer, first_column: Integer, last_line: Integer, last_column: Integer) -> void
+
+      # @rbs (Location other) -> bool
+      def ==: (Location other) -> bool
+
+      # @rbs (Integer left, Integer right) -> Location
+      def partial_location: (Integer left, Integer right) -> Location
+
+      # @rbs () -> String
+      def to_s: () -> String
+
+      # @rbs (String error_message) -> String
+      def generate_error_message: (String error_message) -> String
+
+      # @rbs () -> String
+      def line_with_carets: () -> String
+
+      private
+
+      # @rbs () -> String
+      def path: () -> String
+
+      # @rbs () -> String
+      def blanks: () -> String
+
+      # @rbs () -> String
+      def carets: () -> String
+
+      # @rbs () -> String
+      def text: () -> String
+
+      # @rbs () -> Array[String]
+      def _text: () -> Array[String]
+    end
+  end
+end

data/sig/{lrama → generated/lrama}/lexer/token/char.rbs

@@ -1,3 +1,5 @@
+# Generated from lib/lrama/lexer/token/char.rb with RBS::Inline
+
 module Lrama
   class Lexer
     class Token

data/sig/{lrama → generated/lrama}/lexer/token/ident.rbs

@@ -1,3 +1,5 @@
+# Generated from lib/lrama/lexer/token/ident.rb with RBS::Inline
+
 module Lrama
   class Lexer
     class Token

data/sig/{lrama → generated/lrama}/lexer/token/instantiate_rule.rbs

@@ -1,12 +1,20 @@
+# Generated from lib/lrama/lexer/token/instantiate_rule.rb with RBS::Inline
+
 module Lrama
   class Lexer
     class Token
       class InstantiateRule < Token
         attr_reader args: Array[Lexer::Token]
+
         attr_reader lhs_tag: Lexer::Token::Tag?
 
+        # @rbs (s_value: String, ?alias_name: String, ?location: Location, ?args: Array[Lexer::Token], ?lhs_tag: Lexer::Token::Tag?) -> void
         def initialize: (s_value: String, ?alias_name: String, ?location: Location, ?args: Array[Lexer::Token], ?lhs_tag: Lexer::Token::Tag?) -> void
+
+        # @rbs () -> String
         def rule_name: () -> String
+
+        # @rbs () -> Integer
         def args_count: () -> Integer
       end
     end

data/sig/{lrama → generated/lrama}/lexer/token/tag.rbs

@@ -1,7 +1,10 @@
+# Generated from lib/lrama/lexer/token/tag.rb with RBS::Inline
+
 module Lrama
   class Lexer
     class Token
       class Tag < Token
+        # @rbs () -> String
         def member: () -> String
       end
     end

data/sig/{lrama → generated/lrama}/lexer/token/user_code.rbs

@@ -1,15 +1,20 @@
+# Generated from lib/lrama/lexer/token/user_code.rb with RBS::Inline
+
 module Lrama
   class Lexer
     class Token
       class UserCode < Token
         attr_accessor tag: Lexer::Token::Tag
-        @references: Array[Lrama::Grammar::Reference]
 
+        # @rbs () -> Array[Lrama::Grammar::Reference]
         def references: () -> Array[Lrama::Grammar::Reference]
 
         private
 
+        # @rbs () -> Array[Lrama::Grammar::Reference]
         def _references: () -> Array[Lrama::Grammar::Reference]
+
+        # @rbs (StringScanner scanner) -> Lrama::Grammar::Reference?
         def scan_reference: (StringScanner scanner) -> Lrama::Grammar::Reference?
       end
     end

data/sig/{lrama → generated/lrama}/lexer/token.rbs

@@ -1,22 +1,45 @@
+# Generated from lib/lrama/lexer/token.rb with RBS::Inline
+
 module Lrama
   class Lexer
     class Token
       attr_reader s_value: String
-      attr_accessor alias_name: String
+
       attr_reader location: Location
+
+      attr_accessor alias_name: String
+
       attr_accessor referred: bool
 
+      # @rbs (s_value: String, ?alias_name: String, ?location: Location) -> void
       def initialize: (s_value: String, ?alias_name: String, ?location: Location) -> void
 
+      # @rbs () -> String
       def to_s: () -> String
+
+      # @rbs (String string) -> bool
       def referred_by?: (String string) -> bool
+
+      # @rbs (Token other) -> bool
       def ==: (Token other) -> bool
+
+      # @rbs () -> Integer
       def first_line: () -> Integer
+
+      alias line first_line
+
+      # @rbs () -> Integer
       def first_column: () -> Integer
+
+      alias column first_column
+
+      # @rbs () -> Integer
       def last_line: () -> Integer
+
+      # @rbs () -> Integer
       def last_column: () -> Integer
-      alias line first_line
-      alias column first_column
+
+      # @rbs (Lrama::Grammar::Reference ref, String message) -> bot
       def invalid_ref: (Lrama::Grammar::Reference ref, String message) -> bot
     end
   end

data/sig/generated/lrama/logger.rbs

@@ -0,0 +1,14 @@
+# Generated from lib/lrama/logger.rb with RBS::Inline
+
+module Lrama
+  class Logger
+    # @rbs (IO out) -> void
+    def initialize: (IO out) -> void
+
+    # @rbs (String message) -> void
+    def warn: (String message) -> void
+
+    # @rbs (String message) -> void
+    def error: (String message) -> void
+  end
+end

data/sig/generated/lrama/trace_reporter.rbs

@@ -0,0 +1,25 @@
+# Generated from lib/lrama/trace_reporter.rb with RBS::Inline
+
+module Lrama
+  class TraceReporter
+    # @rbs (Lrama::Grammar grammar) -> void
+    def initialize: (Lrama::Grammar grammar) -> void
+
+    # @rbs (**Hash[Symbol, bool] options) -> void
+    def report: (**Hash[Symbol, bool] options) -> void
+
+    private
+
+    # @rbs rules: (bool rules, bool actions, bool only_explicit_rules, **untyped _) -> void
+    def _report: (?rules: untyped, ?actions: untyped, ?only_explicit_rules: untyped, **untyped _) -> untyped
+
+    # @rbs () -> void
+    def report_rules: () -> void
+
+    # @rbs () -> void
+    def report_only_explicit_rules: () -> void
+
+    # @rbs () -> void
+    def report_actions: () -> void
+  end
+end

data/sig/lrama/grammar/rule_builder.rbs

@@ -37,7 +37,6 @@ module Lrama
       def preprocess_references: () -> void
       def build_rules: () -> void
       def process_rhs: () -> void
-      def lhs_s_value: (Lexer::Token::InstantiateRule token, Grammar::Binding bindings) -> String
       def resolve_inline: () -> void
       def resolve_inline_rhs: (RuleBuilder rule_builder, Grammar::ParameterizingRule::Rhs inline_rhs, Integer index, ?Binding bindings) -> void
       def replace_inline_user_code: (Grammar::ParameterizingRule::Rhs inline_rhs, Integer index) -> Lexer::Token::UserCode?

data/sig/lrama/options.rbs

@@ -1,6 +1,7 @@
 module Lrama
   class Options
     attr_accessor skeleton: String
+    attr_accessor define: Hash[String, String]
     attr_accessor header: bool
     attr_accessor header_file: String?
     attr_accessor report_file: String?

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: lrama
 version: !ruby/object:Gem::Version
-  version: 0.6.11
+  version: 0.7.0
 platform: ruby
 authors:
 - Yuichiro Kaneko
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-12-23 00:00:00.000000000 Z
+date: 2025-01-21 00:00:00.000000000 Z
 dependencies: []
 description: LALR (1) parser generator written by Ruby
 email:
@@ -21,8 +21,10 @@ files:
 - ".codespellignore"
 - ".github/dependabot.yml"
 - ".github/workflows/codespell.yaml"
+- ".github/workflows/gh-pages.yml"
 - ".github/workflows/test.yaml"
 - ".gitignore"
+- ".rdoc_options"
 - ".rspec"
 - Gemfile
 - LEGAL.md
@@ -31,6 +33,7 @@ files:
 - README.md
 - Rakefile
 - Steepfile
+- doc/Index.md
 - doc/development/compressed_state_table/main.md
 - doc/development/compressed_state_table/parse.output
 - doc/development/compressed_state_table/parse.y
@@ -112,7 +115,19 @@ files:
 - parser.y
 - rbs_collection.lock.yaml
 - rbs_collection.yaml
-- sig/lrama/bitmap.rbs
+- sig/generated/lrama/bitmap.rbs
+- sig/generated/lrama/digraph.rbs
+- sig/generated/lrama/grammar/binding.rbs
+- sig/generated/lrama/lexer/grammar_file.rbs
+- sig/generated/lrama/lexer/location.rbs
+- sig/generated/lrama/lexer/token.rbs
+- sig/generated/lrama/lexer/token/char.rbs
+- sig/generated/lrama/lexer/token/ident.rbs
+- sig/generated/lrama/lexer/token/instantiate_rule.rbs
+- sig/generated/lrama/lexer/token/tag.rbs
+- sig/generated/lrama/lexer/token/user_code.rbs
+- sig/generated/lrama/logger.rbs
+- sig/generated/lrama/trace_reporter.rbs
 - sig/lrama/counterexamples.rbs
 - sig/lrama/counterexamples/derivation.rbs
 - sig/lrama/counterexamples/example.rbs
@@ -122,10 +137,8 @@ files:
 - 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
@@ -149,14 +162,6 @@ files:
 - 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
-- sig/lrama/lexer/token/char.rbs
-- sig/lrama/lexer/token/ident.rbs
-- 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
@@ -179,7 +184,7 @@ licenses:
 metadata:
   homepage_uri: https://github.com/ruby/lrama
   source_code_uri: https://github.com/ruby/lrama
-  documentation_uri: https://github.com/ruby/lrama
+  documentation_uri: https://ruby.github.io/lrama/
   changelog_uri: https://github.com/ruby/lrama/releases
   bug_tracker_uri: https://github.com/ruby/lrama/issues
 post_install_message:

data/sig/lrama/bitmap.rbs

@@ -1,7 +0,0 @@
-module Lrama
-  module Bitmap
-    def self.from_array: (Array[int] ary) -> Integer
-
-    def self.to_array: (Integer int) -> Array[Integer]
-  end
-end

data/sig/lrama/digraph.rbs

@@ -1,23 +0,0 @@
-module Lrama
-  class Digraph
-    def initialize: (Array[Integer] sets, Hash[Integer, Array[Integer]] relation, Hash[Integer, Integer] base_function) -> void
-    # X in the paper
-    @sets: Array[Integer]
-    # R in the paper
-    @relation: Hash[Integer, Array[Integer]]
-    # F' in the paper
-    @base_function: Hash[Integer, Integer]
-    # S in the paper
-    @stack: Array[Integer]
-    # N in the paper
-    @h: Hash[Integer, (Integer|Float)?]
-    # F in the paper
-    @result: Hash[Integer, Integer]
-
-    def compute: () -> Hash[Integer, Integer]
-
-    private
-
-    def traverse: (Integer x) -> void
-  end
-end

data/sig/lrama/grammar/binding.rbs

@@ -1,19 +0,0 @@
-module Lrama
-  class Grammar
-    class Binding
-      attr_reader actual_args: Array[Lexer::Token]
-      attr_reader count: Integer
-
-      @required_parameters_count: Integer
-      @parameters: Array[Lexer::Token]
-      @parameter_to_arg: untyped
-
-      def initialize: (Grammar::ParameterizingRule::Rule parameterizing_rule, Array[Lexer::Token] actual_args) -> void
-      def resolve_symbol: (Lexer::Token symbol) -> Lexer::Token
-
-      private
-
-      def parameter_to_arg: (Lexer::Token symbol) -> Lexer::Token?
-    end
-  end
-end

data/sig/lrama/lexer/grammar_file.rbs

@@ -1,17 +0,0 @@
-module Lrama
-  class Lexer
-    class GrammarFile
-      class Text < String
-      end
-      attr_reader path: String
-      attr_reader text: String
-
-      @lines: Array[String]
-
-      def initialize: (String path, String text) -> void
-
-      def ==: (GrammarFile other) -> bool
-      def lines: () -> Array[String]
-    end
-  end
-end

data/sig/lrama/lexer/location.rbs

@@ -1,26 +0,0 @@
-module Lrama
-  class Lexer
-    class Location
-      attr_reader grammar_file: GrammarFile
-      attr_reader first_line: Integer
-      attr_reader first_column: Integer
-      attr_reader last_line: Integer
-      attr_reader last_column: Integer
-
-      def initialize: (grammar_file: GrammarFile, first_line: Integer, first_column: Integer, last_line: Integer, last_column: Integer) -> void
-
-      def ==: (Location other) -> bool
-      def partial_location: (Integer, Integer) -> Location
-      def generate_error_message: (String) -> String
-      def line_with_carets: () -> String
-
-      private
-
-      def path: () -> String
-      def blanks: () -> String
-      def carets: () -> String
-      def text: () -> String
-      def _text: () -> Array[String]
-    end
-  end
-end