Add PSLR-related RBS signatures, fix replace_term_attributes keyword argument defaults and nil guard, and update type annotations for details, format_ratio, and grammar delegated methods

Author: ydah

lib/lrama/grammar.rb

@@ -42,6 +42,11 @@ class Grammar
     #     def nterms: () -> Array[Grammar::Symbol]
     #     def find_symbol_by_s_value!: (::String s_value) -> Grammar::Symbol
     #     def ielr_defined?: () -> bool
+    #     def pslr_defined?: () -> bool
+    #     def token_patterns: () -> Array[Grammar::TokenPattern]
+    #     def lex_prec: () -> Grammar::LexPrec
+    #     def pslr_max_states: () -> Integer?
+    #     def pslr_max_state_ratio: () -> Float?
     #   end
     #
     #   include Symbols::Resolver::_DelegatedMethods

lib/lrama/grammar/symbols/resolver.rb

@@ -232,11 +232,11 @@ def find_nterm_by_id!(id)
         end
 
         # @rbs (Grammar::Symbol sym, id: Lexer::Token::Base, ?alias_name: String?, ?tag: Lexer::Token::Tag?, ?token_id: Integer?) -> void
-        def replace_term_attributes(sym, id:, alias_name:, tag:, token_id:)
+        def replace_term_attributes(sym, id:, alias_name: nil, tag: nil, token_id: nil)
           sym.id = id
           sym.alias_name = alias_name
           sym.tag = tag
-          sym.token_id = token_id
+          sym.token_id = token_id if token_id
         end
 
         # @rbs () -> void

lib/lrama/reporter/pslr.rb

@@ -1,3 +1,4 @@
+# rbs_inline: enabled
 # frozen_string_literal: true
 
 module Lrama
@@ -30,7 +31,7 @@ def report(io, states)
 
       private
 
-      # @rbs (Float?) -> String
+      # @rbs (Numeric?) -> String
       def format_ratio(value)
         return "n/a" if value.nil?
 

lib/lrama/state/pslr_inadequacy.rb

@@ -16,7 +16,7 @@ class PslrInadequacy
       attr_reader :type #: Symbol
       attr_reader :state #: State
       attr_reader :conflicting_states #: Array[State]
-      attr_reader :details #: Hash[Symbol, Object]
+      attr_reader :details #: Hash[Symbol, untyped]
 
       # @rbs (type: Symbol, state: State, conflicting_states: Array[State], details: Hash[Symbol, untyped]) -> void
       def initialize(type:, state:, conflicting_states:, details:)