rbs_heuristic_prototype 0.6.0 → 0.7.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5e7e11861501ff2a314a91b2f337ad4d2eb221ebe592370e45af6e92ea948702
-  data.tar.gz: 44ffa57df421f66295eca2b851a284aa081261ef54260cb2b504cad251462cf5
+  metadata.gz: fbe4430714610920d329586d8fbde2db9dd6f89f7b77731e2c1670d701c93cfe
+  data.tar.gz: b3295c9f086521d4d5c38540939a60b7d817f4ed4dc9ba1cafd58fc2755cb768
 SHA512:
-  metadata.gz: ab5dec88b9972879a5e138af3b6cec83570fde7dad9b639ce4d8a23b7c8e5f3658d58817b9fb0578bd201a511e5694b377a184842d933e08fdfb6608524ee848
-  data.tar.gz: 9f889db54fe192e9ec8e2b825fa65181e400f7f7459a1cc8a6a1f04917c6314390bd9c59194b87040e98e20859f345d5fde6f7bde803e2870dc13e4ebe31d44b
+  metadata.gz: ffc7778301c51fcb5f137d5ad2c7a83026e810c222cbb5c1f8e8d0a1a0849ca5d7c7c4c5d889758a5ab821c25711170ba714df3b2f831174e835f78efc26cbfc
+  data.tar.gz: c76cfe0346985b67cb4098a36a14a31e16a09f5ff5777cbb65dfad2c212b4cff110fcb7da88422a196d9f72448b253a17ba4166a74e5e753043ae40ab8a34cbe

data/.rubocop.yml

@@ -15,6 +15,9 @@ Style/StringLiteralsInInterpolation:
 Layout/LineLength:
   Max: 120
 
+Metrics/AbcSize:
+  Max: 30
+
 Metrics/BlockLength:
   Exclude:
     - "spec/**/*"

data/Gemfile.lock

@@ -1,13 +1,25 @@
 PATH
   remote: .
   specs:
-    rbs_heuristic_prototype (0.6.0)
+    rbs_heuristic_prototype (0.7.0)
+      actionmailer
       activesupport
+      parallel
       rbs
 
 GEM
   remote: https://rubygems.org/
   specs:
+    actionmailer (7.0.7.2)
+      actionpack (= 7.0.7.2)
+      actionview (= 7.0.7.2)
+      activejob (= 7.0.7.2)
+      activesupport (= 7.0.7.2)
+      mail (~> 2.5, >= 2.5.4)
+      net-imap
+      net-pop
+      net-smtp
+      rails-dom-testing (~> 2.0)
     actionpack (7.0.7.2)
       actionview (= 7.0.7.2)
       activesupport (= 7.0.7.2)
@@ -21,6 +33,9 @@ GEM
       erubi (~> 1.4)
       rails-dom-testing (~> 2.0)
       rails-html-sanitizer (~> 1.1, >= 1.2.0)
+    activejob (7.0.7.2)
+      activesupport (= 7.0.7.2)
+      globalid (>= 0.3.6)
     activemodel (7.0.7.2)
       activesupport (= 7.0.7.2)
     activerecord (7.0.7.2)
@@ -38,10 +53,13 @@ GEM
     concurrent-ruby (1.2.2)
     crass (1.0.6)
     csv (3.2.7)
+    date (3.3.3)
     diff-lcs (1.5.0)
     erubi (1.12.0)
     ffi (1.15.5)
     fileutils (1.7.1)
+    globalid (1.2.1)
+      activesupport (>= 6.1)
     i18n (1.14.1)
       concurrent-ruby (~> 1.0)
     json (2.6.3)
@@ -53,8 +71,23 @@ GEM
     loofah (2.21.3)
       crass (~> 1.0.2)
       nokogiri (>= 1.12.0)
+    mail (2.8.1)
+      mini_mime (>= 0.1.1)
+      net-imap
+      net-pop
+      net-smtp
     method_source (1.0.0)
+    mini_mime (1.1.5)
     minitest (5.19.0)
+    net-imap (0.4.1)
+      date
+      net-protocol
+    net-pop (0.1.2)
+      net-protocol
+    net-protocol (0.2.1)
+      timeout
+    net-smtp (0.4.0)
+      net-protocol
     nokogiri (1.15.4-x86_64-darwin)
       racc (~> 1.4)
     nokogiri (1.15.4-x86_64-linux)
@@ -108,7 +141,7 @@ GEM
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.12.0)
     rspec-support (3.12.0)
-    rubocop (1.56.2)
+    rubocop (1.56.4)
       base64 (~> 0.1.1)
       json (~> 2.3)
       language_server-protocol (>= 3.17.0)
@@ -143,6 +176,7 @@ GEM
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
     thor (1.2.2)
+    timeout (0.4.0)
     tzinfo (2.0.6)
       concurrent-ruby (~> 1.0)
     unicode-display_width (2.4.2)

data/README.md

@@ -40,7 +40,11 @@ by `rbs prototype` according to the heuristic rules.
 * Rule 5:
   * Convert a module reference without type arguments (ex. `include Enumerable`) to a module reference with type arguments (ex. `include Enumerable[untyped]`)
 * Rule 6:
-  * Convert a module definition of controller concerns to have its module-self-types (ex. `module Loginable` to `module Loginable: ApplicationController`)
+  * Convert a module definition of concerns to have its module-self-types (ex. `module Loginable` to `module Loginable: ApplicationController`)
+* Rule 7:
+  * Convert a module definition of helpers to have its module-self-types (ex. `module ApplicationHelper` to `module ApplicationHelper: ApplicationController, ActionView::Base`)
+* Rule 8:
+  * Convert an instance method of mailer class to a class method (ex. `AccountMailer#welcome_mail` to `AccountMailer.welcome_mail`)
 
 ## Development
 

data/lib/rbs_heuristic_prototype/filters/action_mailer_filter.rb

@@ -0,0 +1,79 @@
+# frozen_string_literal: true
+
+require "action_mailer"
+require_relative "base"
+
+module RbsHeuristicPrototype
+  module Filters
+    class ActionMailerFilter < Base
+      def process_class(decl)
+        klass = const_get(decl)
+        if klass&.ancestors&.include?(::ActionMailer::Base)
+          process_mailer_class(decl, klass)
+        else
+          super
+        end
+      end
+
+      def process_mailer_class(decl, _klass)
+        RBS::AST::Declarations::Class.new(
+          name: decl.name,
+          type_params: decl.type_params,
+          super_class: decl.super_class,
+          members: process_mailer_members(decl.members),
+          annotations: decl.annotations,
+          location: decl.location,
+          comment: decl.comment
+        )
+      end
+
+      def process_mailer_members(members)
+        visible = true
+        members.map do |member|
+          case member
+          when RBS::AST::Members::MethodDefinition
+            process_mailer_method(member, visible)
+          when RBS::AST::Members::Public
+            visible = true
+            process_member(member)
+          when RBS::AST::Members::Private
+            visible = false
+            process_member(member)
+          when RBS::AST::Members::Base
+            process_member(member)
+          else
+            process(member)
+          end
+        end
+      end
+
+      def process_mailer_method(member, visible)
+        return member if member.visibility == :private || !visible
+
+        RBS::AST::Members::MethodDefinition.new(
+          name: member.name,
+          kind: :singleton,
+          overloads: member.overloads.map { |overload| process_mailer_method_overload(overload) },
+          annotations: member.annotations,
+          location: member.location,
+          comment: member.comment,
+          overloading: member.overloading,
+          visibility: member.visibility
+        )
+      end
+
+      def process_mailer_method_overload(overload)
+        method_type = process_mailer_method_method_type(overload.method_type)
+        overload.update(method_type: method_type)
+      end
+
+      def process_mailer_method_method_type(method_type)
+        # @type var location: untyped
+        name = TypeName("::ActionMailer::MessageDelivery")
+        location = method_type.type.return_type.location
+        return_type = RBS::Types::Alias.new(name: name, args: [], location: location)
+        method_type.update(type: method_type.type.update(return_type: return_type))
+      end
+    end
+  end
+end

data/lib/rbs_heuristic_prototype/filters/base.rb

@@ -85,8 +85,13 @@ module RbsHeuristicPrototype
 
       def const_get(decl)
         init = Kernel # : singleton(Class)?
-        decl.name.to_namespace.path.inject(init) do |const, mod|
-          const&.const_get(mod)
+        case decl
+        when String
+          init&.const_get(decl)
+        when RBS::AST::Declarations::Module, RBS::AST::Declarations::Class
+          decl.name.to_namespace.path.inject(init) do |const, mod|
+            const&.const_get(mod)
+          end
         end
       rescue StandardError
         nil

data/lib/rbs_heuristic_prototype/filters/deep_module_filter.rb

@@ -12,7 +12,7 @@ module RbsHeuristicPrototype
         @stack = [::Kernel]
       end
 
-      def process_module(decl) # rubocop:disable Metrics/AbcSize
+      def process_module(decl)
         if decl.name.namespace.empty?
           namespaces = []
           stack << const_get(decl)
@@ -57,7 +57,7 @@ module RbsHeuristicPrototype
         namespaces
       end
 
-      def obj_to_decl(obj) # rubocop:disable Metrics/AbcSize, Metrics/MethodLength
+      def obj_to_decl(obj) # rubocop:disable Metrics/MethodLength
         if obj.is_a?(Class)
           if (superclass = obj.superclass)
             super_class = RBS::AST::Declarations::Class::Super.new(name: TypeName(superclass.name.to_s),

data/lib/rbs_heuristic_prototype/filters/rails_concerns_filter.rb

@@ -0,0 +1,84 @@
+# frozen_string_literal: true
+
+require_relative "base"
+require "active_support/concern"
+
+module RbsHeuristicPrototype
+  module Filters
+    class RailsConcernsFilter < Base
+      attr_reader :stack
+
+      def initialize(env)
+        super
+        @stack = [::Kernel]
+      end
+
+      def process_module(decl)
+        mod = stack.last&.const_get(decl.name.to_s)
+        stack << mod
+        if mod && concern?(mod) && decl.self_types.empty?
+          RBS::AST::Declarations::Module.new(
+            name: decl.name,
+            type_params: decl.type_params,
+            members: decl.members,
+            self_types: self_types_for(mod),
+            annotations: decl.annotations,
+            location: decl.location,
+            comment: decl.comment
+          )
+        else
+          super
+        end
+      ensure
+        stack.pop
+      end
+
+      def process_class(decl)
+        mod = stack.last&.const_get(decl.name.to_s)
+        stack << mod
+        super
+      ensure
+        stack.pop
+      end
+
+      def concern?(mod)
+        mod.singleton_class.ancestors.include?(ActiveSupport::Concern)
+      end
+
+      def self_types_for(mod)
+        names = case module_type_for(mod)
+                when :controller
+                  self_types_for_controller(mod)
+                else
+                  []
+                end
+
+        names.map do |name|
+          RBS::AST::Declarations::Module::Self.new(name: name, args: [], location: nil)
+        end
+      end
+
+      def self_types_for_controller(mod)
+        if const_get("ApplicationController") && !(mod > ApplicationController)
+          [TypeName("::ApplicationController")]
+        else
+          [TypeName("::ActionController::Base")]
+        end
+      end
+
+      def module_type_for(mod)
+        source_location = Kernel.const_source_location(mod.name.to_s)
+        return :unknown unless source_location
+
+        filename, = source_location.first
+
+        case filename
+        when %r{app/controllers/concerns}
+          :controller
+        else
+          :unknown
+        end
+      end
+    end
+  end
+end

data/lib/rbs_heuristic_prototype/filters/rails_helpers_filter.rb

@@ -0,0 +1,75 @@
+# frozen_string_literal: true
+
+require_relative "base"
+require "active_support/concern"
+
+module RbsHeuristicPrototype
+  module Filters
+    class RailsHelpersFilter < Base
+      attr_reader :stack
+
+      def initialize(env)
+        super
+        @stack = [::Kernel]
+      end
+
+      def process_module(decl)
+        mod = stack.last&.const_get(decl.name.to_s)
+        stack << mod
+        if mod && helper?(mod) && decl.self_types.empty?
+          RBS::AST::Declarations::Module.new(
+            name: decl.name,
+            type_params: decl.type_params,
+            members: decl.members,
+            self_types: self_types_for(mod),
+            annotations: decl.annotations,
+            location: decl.location,
+            comment: decl.comment
+          )
+        else
+          super
+        end
+      ensure
+        stack.pop
+      end
+
+      def process_class(decl)
+        mod = stack.last&.const_get(decl.name.to_s)
+        stack << mod
+        super
+      ensure
+        stack.pop
+      end
+
+      def helper?(mod)
+        return false unless mod.name.to_s.end_with?("Helper")
+
+        source_location = Kernel.const_source_location(mod.name.to_s)
+        return false unless source_location
+
+        filename, = source_location.first
+        return false unless filename
+
+        filename.include?("app/helpers")
+      end
+
+      def self_types_for(mod)
+        names = []
+        names << if const_get("ApplicationController")
+                   TypeName("::ApplicationController")
+                 else
+                   TypeName("::ActionController::Base")
+                 end
+        names << if mod.name == "ApplicationHelper"
+                   TypeName("::ActionView::Base")
+                 else
+                   TypeName("::ApplicationHelper")
+                 end
+
+        names.map do |name|
+          RBS::AST::Declarations::Module::Self.new(name: name, args: [], location: nil)
+        end
+      end
+    end
+  end
+end

data/lib/rbs_heuristic_prototype/filters/type_args_filter.rb

@@ -25,7 +25,7 @@ module RbsHeuristicPrototype
         if class_decl && decl.args.empty?
           RBS::AST::Declarations::Class::Super.new(
             name: decl.name,
-            args: class_decl.type_params.size.times.map { :untyped },
+            args: class_decl.type_params.size.times.map { RBS::Types::Bases::Any.new(location: nil) },
             location: decl.location
           )
         else
@@ -47,7 +47,7 @@ module RbsHeuristicPrototype
         if class_decl && decl.args.empty?
           RBS::AST::Members::Include.new(
             name: decl.name,
-            args: class_decl.type_params.size.times.map { :untyped },
+            args: class_decl.type_params.size.times.map { RBS::Types::Bases::Any.new(location: nil) },
             annotations: decl.annotations,
             location: decl.location,
             comment: decl.comment

data/lib/rbs_heuristic_prototype/rake_task.rb

@@ -1,16 +1,19 @@
 # frozen_string_literal: true
 
 require "pathname"
+require "parallel"
 require "rake"
 require "rake/tasklib"
 
 module RbsHeuristicPrototype
   class RakeTask < Rake::TaskLib
     FILTERS = {
+      action_mailer: "RbsHeuristicPrototype::Filters::ActionMailerFilter",
       active_model_validations: "RbsHeuristicPrototype::Filters::ActiveModelValidationsFilter",
       boolean_methods: "RbsHeuristicPrototype::Filters::BooleanMethodsFilter",
-      controller_concerns: "RbsHeuristicPrototype::Filters::ControllerConcernsFilter",
       deep_module: "RbsHeuristicPrototype::Filters::DeepModuleFilter",
+      rails_concerns: "RbsHeuristicPrototype::Filters::RailsConcernsFilter",
+      # rails_helpers: "RbsHeuristicPrototype::Filters::RailsHelpersFilter",
       symbol_array_constants: "RbsHeuristicPrototype::Filters::SymbolArrayConstantsFilter",
       type_args: "RbsHeuristicPrototype::Filters::TypeArgsFilter"
     }.freeze
@@ -39,9 +42,9 @@ module RbsHeuristicPrototype
     def define_apply_task
       desc "Apply heuristic filters to prototype signatures"
       task("#{name}:apply": :environment) do
-        require "rbs_heuristic_prototype"  # load RbsHeuristicPrototype lazily
+        require "rbs_heuristic_prototype" # load RbsHeuristicPrototype lazily
 
-        path.find do |entry|
+        Parallel.each(path.find) do |entry|
           next unless entry.file?
 
           env = FILTERS.inject(load_env(entry)) do |result, (_name, filter)|

data/lib/rbs_heuristic_prototype/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module RbsHeuristicPrototype
-  VERSION = "0.6.0"
+  VERSION = "0.7.0"
 end

data/lib/rbs_heuristic_prototype.rb

@@ -1,9 +1,11 @@
 # frozen_string_literal: true
 
+require_relative "rbs_heuristic_prototype/filters/action_mailer_filter"
 require_relative "rbs_heuristic_prototype/filters/active_model_validations_filter"
 require_relative "rbs_heuristic_prototype/filters/boolean_methods_filter"
-require_relative "rbs_heuristic_prototype/filters/controller_concerns_filter"
 require_relative "rbs_heuristic_prototype/filters/deep_module_filter"
+require_relative "rbs_heuristic_prototype/filters/rails_concerns_filter"
+require_relative "rbs_heuristic_prototype/filters/rails_helpers_filter"
 require_relative "rbs_heuristic_prototype/filters/symbol_array_constants_filter"
 require_relative "rbs_heuristic_prototype/filters/type_args_filter"
 require_relative "rbs_heuristic_prototype/rake_task"

data/rbs_collection.lock.yaml

@@ -2,7 +2,7 @@
 sources:
 - type: git
   name: ruby/gem_rbs_collection
-  revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+  revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
   remote: https://github.com/ruby/gem_rbs_collection.git
   repo_dir: gems
 path: ".gem_rbs_collection"
@@ -11,12 +11,20 @@ gems:
   version: '0'
   source:
     type: stdlib
+- name: actionmailer
+  version: '7.0'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
 - name: actionpack
   version: '6.0'
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: actionview
@@ -24,7 +32,15 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
+- name: activejob
+  version: '6.0'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: activemodel
@@ -32,7 +48,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: activerecord
@@ -40,7 +56,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: activesupport
@@ -48,7 +64,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: ast
@@ -56,7 +72,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: base64
@@ -72,19 +88,31 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: date
   version: '0'
   source:
     type: stdlib
+- name: erb
+  version: '0'
+  source:
+    type: stdlib
+- name: globalid
+  version: '1.1'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
 - name: i18n
   version: '1.10'
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: json
@@ -95,6 +123,14 @@ gems:
   version: '0'
   source:
     type: stdlib
+- name: mail
+  version: '2.8'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
 - name: minitest
   version: '0'
   source:
@@ -112,7 +148,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: optparse
@@ -124,7 +160,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: pathname
@@ -136,7 +172,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: rails-dom-testing
@@ -144,7 +180,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: railties
@@ -152,7 +188,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: rainbow
@@ -160,7 +196,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 306d1aec19defeb177e217d8aad9812a52bcd5eb
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: rbs
@@ -183,10 +219,22 @@ gems:
   version: '0'
   source:
     type: stdlib
+- name: thor
+  version: '1.2'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: 8149bc3fc0f720d935dc0592dc8886e03052f65f
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
 - name: time
   version: '0'
   source:
     type: stdlib
+- name: timeout
+  version: '0'
+  source:
+    type: stdlib
 - name: tsort
   version: '0'
   source:

data/rbs_heuristic_prototype.gemspec

@@ -27,6 +27,8 @@ Gem::Specification.new do |spec|
   spec.executables = spec.files.grep(%r{\Aexe/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]
 
+  spec.add_dependency "actionmailer"
   spec.add_dependency "activesupport"
+  spec.add_dependency "parallel"
   spec.add_dependency "rbs"
 end

data/sig/rbs_heuristic_prototype/filters/action_mailer_filter.rbs

@@ -0,0 +1,12 @@
+module RbsHeuristicPrototype
+  module Filters
+    class ActionMailerFilter < Base
+      def process_class: (RBS::AST::Declarations::Class decl) -> RBS::AST::Declarations::Class
+      def process_mailer_class: (RBS::AST::Declarations::Class decl, Class klass) -> RBS::AST::Declarations::Class
+      def process_mailer_members: (Array[RBS::AST::Declarations::Class::member] members) -> Array[RBS::AST::Declarations::t | RBS::AST::Members::t]
+      def process_mailer_method: (RBS::AST::Members::MethodDefinition member, bool visibility) -> RBS::AST::Members::MethodDefinition
+      def process_mailer_method_overload: (RBS::AST::Members::MethodDefinition::Overload overload) -> RBS::AST::Members::MethodDefinition::Overload
+      def process_mailer_method_method_type: (RBS::MethodType method_type) -> RBS::MethodType
+    end
+  end
+end

data/sig/rbs_heuristic_prototype/filters/base.rbs

@@ -10,7 +10,7 @@ module RbsHeuristicPrototype
       def process_class: (RBS::AST::Declarations::Class decl) -> RBS::AST::Declarations::Class
       def process_constant: (RBS::AST::Declarations::Constant member) -> RBS::AST::Declarations::Constant
       def process_member: (RBS::AST::Members::t member) -> RBS::AST::Members::t
-      def const_get: (RBS::AST::Declarations::Class | RBS::AST::Declarations::Module decl) -> singleton(Class)?
+      def const_get: (String | RBS::AST::Declarations::Class | RBS::AST::Declarations::Module decl) -> singleton(Class)?
     end
   end
 end

data/sig/rbs_heuristic_prototype/filters/rails_concerns_filter.rbs

@@ -0,0 +1,13 @@
+module RbsHeuristicPrototype
+  module Filters
+    class RailsConcernsFilter < Base
+      attr_reader stack: Array[Module]
+
+      def process_module: (RBS::AST::Declarations::Module decl) -> RBS::AST::Declarations::Module
+      def concern?: (Module mod) -> bool
+      def self_types_for: (Module mod) -> Array[RBS::AST::Declarations::Module::Self]
+      def self_types_for_controller: (Module mod) -> Array[RBS::TypeName]
+      def module_type_for: (Module mod) -> (:controller | :unknown)
+    end
+  end
+end

data/sig/rbs_heuristic_prototype/filters/{controller_concerns_filter.rbs → rails_helpers_filter.rbs}

@@ -1,8 +1,10 @@
 module RbsHeuristicPrototype
   module Filters
-    class BooleanMethodsFilter < Base
+    class RailsHelpersFilter < Base
+      attr_reader stack: Array[Module]
+
       def process_module: (RBS::AST::Declarations::Module decl) -> RBS::AST::Declarations::Module
-      def controller_concern?: (Module mod) -> bool
+      def helper?: (Module mod) -> bool
       def self_types_for: (Module mod) -> Array[RBS::AST::Declarations::Module::Self]
     end
   end

data/sig/rbs_heuristic_prototype/filters/type_args_filter.rbs

@@ -0,0 +1,11 @@
+module RbsHeuristicPrototype
+  module Filters
+    class TypeArgsFilter < Base
+      def process_class: (RBS::AST::Declarations::Class decl) -> RBS::AST::Declarations::Class
+      def process_super_class: (RBS::AST::Declarations::Class::Super?) -> RBS::AST::Declarations::Class::Super?
+      def process_member: (RBS::AST::Members::t member) -> RBS::AST::Members::t
+      def process_include: (RBS::AST::Members::Include) -> RBS::AST::Members::Include
+      def external_env: () -> RBS::Environment
+    end
+  end
+end

metadata

@@ -1,15 +1,29 @@
 --- !ruby/object:Gem::Specification
 name: rbs_heuristic_prototype
 version: !ruby/object:Gem::Version
-  version: 0.6.0
+  version: 0.7.0
 platform: ruby
 authors:
 - Takeshi KOMIYA
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2023-09-03 00:00:00.000000000 Z
+date: 2023-10-10 00:00:00.000000000 Z
 dependencies:
+- !ruby/object:Gem::Dependency
+  name: actionmailer
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 - !ruby/object:Gem::Dependency
   name: activesupport
   requirement: !ruby/object:Gem::Requirement
@@ -24,6 +38,20 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: '0'
+- !ruby/object:Gem::Dependency
+  name: parallel
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
 - !ruby/object:Gem::Dependency
   name: rbs
   requirement: !ruby/object:Gem::Requirement
@@ -58,11 +86,13 @@ files:
 - Steepfile
 - lib/generators/rbs_heuristic_prototype/install_generator.rb
 - lib/rbs_heuristic_prototype.rb
+- lib/rbs_heuristic_prototype/filters/action_mailer_filter.rb
 - lib/rbs_heuristic_prototype/filters/active_model_validations_filter.rb
 - lib/rbs_heuristic_prototype/filters/base.rb
 - lib/rbs_heuristic_prototype/filters/boolean_methods_filter.rb
-- lib/rbs_heuristic_prototype/filters/controller_concerns_filter.rb
 - lib/rbs_heuristic_prototype/filters/deep_module_filter.rb
+- lib/rbs_heuristic_prototype/filters/rails_concerns_filter.rb
+- lib/rbs_heuristic_prototype/filters/rails_helpers_filter.rb
 - lib/rbs_heuristic_prototype/filters/symbol_array_constants_filter.rb
 - lib/rbs_heuristic_prototype/filters/type_args_filter.rb
 - lib/rbs_heuristic_prototype/rake_task.rb
@@ -73,15 +103,17 @@ files:
 - sig/gems/rake.rbs
 - sig/generators/rbs_heuristic_prototype/install_generator.rbs
 - sig/rbs_heuristic_prototype.rbs
+- sig/rbs_heuristic_prototype/filters/action_mailer_filter.rbs
 - sig/rbs_heuristic_prototype/filters/active_model_validations_filter.rbs
 - sig/rbs_heuristic_prototype/filters/base.rbs
 - sig/rbs_heuristic_prototype/filters/boolean_methods_filter.rbs
-- sig/rbs_heuristic_prototype/filters/controller_concerns_filter.rbs
 - sig/rbs_heuristic_prototype/filters/deep_module_filter.rbs
+- sig/rbs_heuristic_prototype/filters/rails_concerns_filter.rbs
+- sig/rbs_heuristic_prototype/filters/rails_helpers_filter.rbs
 - sig/rbs_heuristic_prototype/filters/symbol_array_constants_filter.rbs
+- sig/rbs_heuristic_prototype/filters/type_args_filter.rbs
 - sig/rbs_heuristic_prototype/rake_task.rbs
 - sig/shims/active_model.rbs
-- sig/shims/thor.rbs
 homepage: https://github.com/tk0miya/rbs_heuristic_prototype
 licenses:
 - MIT

data/lib/rbs_heuristic_prototype/filters/controller_concerns_filter.rb

@@ -1,47 +0,0 @@
-# frozen_string_literal: true
-
-require_relative "base"
-require "active_support/concern"
-
-module RbsHeuristicPrototype
-  module Filters
-    class ControllerConcernsFilter < Base
-      def process_module(decl)
-        mod = const_get(decl)
-        if controller_concern?(mod) && decl.self_types.empty?
-          RBS::AST::Declarations::Module.new(
-            name: decl.name,
-            type_params: decl.type_params,
-            members: decl.members,
-            self_types: self_types_for(mod),
-            annotations: decl.annotations,
-            location: decl.location,
-            comment: decl.comment
-          )
-        else
-          decl
-        end
-      end
-
-      def controller_concern?(mod)
-        return false unless mod.instance_variable_defined?(:@_dependencies)
-
-        source_location = Kernel.const_source_location(mod.name)
-        return false unless source_location
-
-        filename, = source_location.first
-        filename.include?("app/controllers/concerns")
-      end
-
-      def self_types_for(mod)
-        name = if Kernel.const_get("ApplicationController") && !(mod > ApplicationController)
-                 TypeName("::ApplicationController")
-               else
-                 TypeName("::ActionController::Base")
-               end
-
-        [RBS::AST::Declarations::Module::Self.new(name: name, args: [], location: nil)]
-      end
-    end
-  end
-end

data/sig/shims/thor.rbs

@@ -1,5 +0,0 @@
-class Thor
-  module Actions
-    def create_file: (String destination, *String? args, ?config: bool) ?{ () -> void } -> untyped
-  end
-end