orthoses-rails 0.2.0 → 0.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: fdff122ed7b5425e10cdf2fa105b8ffb7a583554589f93f8703bb014abbbafd0
-  data.tar.gz: 6d991ce9480237d0f605bbb3935c50f072c6794594b037e459ef3c0dfdcb92c3
+  metadata.gz: c109c955af37e4574528af34d8a3695450abf39f5359729625307c368b961259
+  data.tar.gz: 29d4ad1bf3e9d4a8d18e3108899c83cd133221d3f2dc1b3f3a6cb2165684c830
 SHA512:
-  metadata.gz: 2f1c3be987e9a8096a89918e4c16ef4ad8170c9e77d3e7a074541c98f4255944dde188b74f3d4693764e1f77d7fc600f6e67f9be6309aa2c433cecc746439af3
-  data.tar.gz: 49eaa832bc2a488b0b390df8fa962990898c6e9873f1476e9eae17d94073f9bc2e538be6fba54ebeaca7e33cc4245f0a68fff705f069e009c8284973d14906b8
+  metadata.gz: f491dab5ce7ce402058fec79a42c1c776434bbb88adedd8928b70031f614ef57051d9501c279c628903269413e55db24e3c9493101e79c758cfb5a202ba41f37
+  data.tar.gz: 701d609fb62bfa2d9ac0e226090844bc93d526328121516cc07cb3c8424c3f2992b4f365c3cb0680379c972238b68a3fdaa87d36a0c4849803732a5603b09f3f

data/examples/rails/Rakefile

@@ -0,0 +1,244 @@
+REPO_ROOT = "#{File.dirname(__FILE__)}/src"
+$:.unshift("#{REPO_ROOT}/actioncable/lib")
+$:.unshift("#{REPO_ROOT}/actionmailbox/lib")
+$:.unshift("#{REPO_ROOT}/actionmailer/lib")
+$:.unshift("#{REPO_ROOT}/actionpack/lib")
+$:.unshift("#{REPO_ROOT}/actiontext/lib")
+$:.unshift("#{REPO_ROOT}/actionview/lib")
+$:.unshift("#{REPO_ROOT}/activejob/lib")
+$:.unshift("#{REPO_ROOT}/activemodel/lib")
+$:.unshift("#{REPO_ROOT}/activerecord/lib")
+$:.unshift("#{REPO_ROOT}/activestorage/lib")
+$:.unshift("#{REPO_ROOT}/activesupport/lib")
+$:.unshift("#{REPO_ROOT}/railties/lib")
+
+require 'orthoses'
+require 'orthoses-rails'
+require 'openssl'
+require 'cgi'
+require 'uri'
+
+Orthoses.logger.level = :error
+
+Orthoses::Utils.unautoload!
+
+def run_child_process
+  pid = fork do
+    yield
+  end
+  Process.wait(pid)
+end
+
+def switch_branch(name)
+  cd "src" do
+    sh "git switch #{name}"
+  end
+end
+
+def generate(out_dir, version)
+  loader = -> () {
+    # require "rails/all"
+    require "rails/app_updater"
+    require "active_support"
+    require "active_record"
+    require "active_job"
+    require "active_model"
+    require "active_storage"
+    require "action_dispatch"
+    require "action_mailbox"
+    require "action_mailer"
+    require "action_pack"
+    require "action_text"
+    require "action_view"
+
+    [
+      ActiveSupport,
+      ActiveModel,
+      ActiveJob,
+      ActiveRecord,
+      ActiveStorage,
+      ActionDispatch,
+      ActionMailbox,
+      ActionMailer,
+      ActionText,
+      ActionView,
+    ].each do |rails_mod|
+      rails_mod.eager_load!
+      Orthoses::Utils.each_const_recursive(rails_mod, on_error: -> (e) {
+        Orthoses.logger.warn "skip load const by [#{e.root}][#{e.const}](#{e.error.class})#{e.error.message}"
+      })
+      v = rails_mod.respond_to?(:version) ? rails_mod.version : nil
+      puts "loaded #{rails_mod}: v#{v}"
+    end
+    Orthoses::Utils.unautoload!
+  }
+  Orthoses::Builder.new do
+    use Orthoses::CreateFileByName,
+      base_dir: "#{out_dir}/#{version}",
+      header: "# !!! GENERATED CODE !!!"
+    use Orthoses::AvoidRecursiveAncestorError
+    use Orthoses::Filter,
+      if: -> (name, content) {
+        # OMG, both ERB and Erb are exist...
+        return false if name.start_with?("Erb")
+
+        # ArgumentError
+        return false if name.start_with?("I18n::Tests")
+
+        # FIXME: too hard
+        return false if name.include?("::Generators")
+
+        true
+      }
+    use Orthoses::Constant,
+      strict: false,
+      if: -> (current, const, _val, _rbs) {
+        !Orthoses::Utils.rbs_defined_const?("#{current}::#{const}", collection: true)
+      },
+      on_error: -> (e) {
+        Orthoses.logger.warn "[Orthoses::Constant] skip load const by #{e.root}[::#{e.const}] (#{e.error.class}) #{e.error.message}"
+      }
+    Orthoses::ActiveSupport.each do |middleware, **args|
+      use middleware, **args
+    end
+    use Orthoses::ActiveRecord::QueryMethods
+    use Orthoses::ActiveRecord::KnownSig
+    use Orthoses::ActiveModel::KnownSig
+    use Orthoses::ObjectSpaceAll
+    use Orthoses::LoadRBS,
+      paths: Dir.glob('patch/**/*.rbs')
+    use Orthoses::LoadRBS,
+      paths: Dir.glob('known_sig/**/*.rbs')
+    # require in method
+    use Orthoses::Tap do |store|
+      store.delete("DummyERB")
+      store.delete("DummyCompiler")
+    end
+    # see activerecord/lib/active_record/migration/compatibility.rb
+    use Orthoses::Tap do |store|
+      # TODO: make middleware
+      if defined?(ActiveRecord::Migration::Compatibility::V7_0)
+        store["ActiveRecord::Migration::Compatibility::V6_1"].header = nil
+        store["ActiveRecord::Migration::Compatibility::V7_0"].header = "class ActiveRecord::Migration::Compatibility::V7_0 < ActiveRecord::Migration::Current"
+      elsif defined?(ActiveRecord::Migration::Compatibility::V6_1)
+        store["ActiveRecord::Migration::Compatibility::V6_0"].header = nil
+        store["ActiveRecord::Migration::Compatibility::V6_1"].header = "class ActiveRecord::Migration::Compatibility::V6_1 < ActiveRecord::Migration::Current"
+      elsif defined?(ActiveRecord::Migration::Compatibility::V6_0)
+        store["ActiveRecord::Migration::Compatibility::V5_2"].header = nil
+        store["ActiveRecord::Migration::Compatibility::V6_0"].header = "class ActiveRecord::Migration::Compatibility::V6_0 < ActiveRecord::Migration::Current"
+      end
+    end
+    # class_eval in #each
+    # see activerecord/lib/active_record/migration/command_recorder.rb
+    use Orthoses::Tap do |store|
+      content = store["ActiveRecord::Migration::CommandRecorder"]
+      ActiveRecord::Migration::CommandRecorder::ReversibleAndIrreversibleMethods.each do |method|
+        content << "def #{method}: (*untyped args) ?{ () -> void } -> untyped"
+      end
+    end
+    # class_eval in #each
+    # see activerecord/lib/active_record/migration/command_recorder.rb
+    use Orthoses::Tap do |store|
+      content = store["ActiveRecord::Migration::CommandRecorder::StraightReversions"]
+      {
+        execute_block:     :execute_block,
+        create_table:      :drop_table,
+        create_join_table: :drop_join_table,
+        add_column:        :remove_column,
+        add_index:         :remove_index,
+        add_timestamps:    :remove_timestamps,
+        add_reference:     :remove_reference,
+        add_foreign_key:   :remove_foreign_key,
+        add_check_constraint: :remove_check_constraint,
+        enable_extension:  :disable_extension
+      }.each do |cmd, inv|
+        [[inv, cmd], [cmd, inv]].uniq.each do |method, inverse|
+          content << "def invert_#{method}: (untyped args) ?{ () -> void } -> [Symbol, untyped, Proc]"
+        end
+      end
+    end
+    # singleton_class.class_eval in included
+    use Orthoses::Tap do |store|
+      store["ActiveRecord::ModelSchema"].body.tap do |body|
+        body.delete("alias _inheritance_column= inheritance_column=")
+        body.delete("alias inheritance_column= real_inheritance_column=")
+      end
+    end
+    # alias in included block
+    use Orthoses::Tap do |store|
+      store["ActiveRecord::ConnectionAdapters::ColumnMethods"].body.tap do |body|
+        body.delete("alias blob binary")
+        body.delete("alias numeric decimal")
+      end
+    end
+    # > Use async_exec instead of exec_params on pg versions before 1.1
+    use Orthoses::Tap do |store|
+      store["PG::Connection"].body.clear
+    end
+    # Entrust to auto super class
+    use Orthoses::Tap do |store|
+      store.each do |_, content|
+        if content.header&.include?(" < Type::")
+          content.header.sub!(/ < Type::(.*)/, " < ::ActiveModel::Type::\\1")
+        end
+        # delegate to auto_header
+        if content.header&.start_with?("class Arel")
+          content.header = nil
+        end
+      end
+      store["ActionView::Helpers::Tags::CollectionRadioButtons::RadioButtonBuilder"].header = nil
+      store["ActionView::Helpers::Tags::CollectionCheckBoxes::CheckBoxBuilder"].header = nil
+      store["ActionView::SyntaxErrorInTemplate"].header = nil
+      # MigrationProxy cannot resolve name since class alias.
+      store["ActiveRecord::NullMigration"].header = nil
+    end
+    use Orthoses::Mixin,
+      if: -> (base_mod, how, mod) {
+        mod != Enumerable # TODO
+      }
+    use Orthoses::DelegateClass
+    use Orthoses::Attribute
+    use Orthoses::RBSPrototypeRB,
+      paths: Dir.glob('src/{railties,action{cable,mailbox,mailer,pack,text,view},active{job,model,record,storage,support}}/lib/**/*.rb'),
+      constant_filter: -> (member) { false },
+      mixin_filter: -> (member) { false }
+    run loader
+  end.call
+
+  sh "rbs --collection ../../rbs_collection.yaml -I #{out_dir}/#{version}/ validate --silent"
+  # $ cat out/7.0/**/*.rbs | wc
+  # 72210  332252 2551928
+end
+
+namespace :generate do
+  task :v60 do
+    switch_branch("6-0-stable")
+    run_child_process { generate("out", "6.0") }
+  end
+
+  task :v61 do
+    switch_branch("6-1-stable")
+    run_child_process { generate("out", "6.1") }
+  end
+
+  task :v70 do
+    switch_branch("7-0-stable")
+    run_child_process { generate("out", "7.0") }
+  end
+end
+
+task :clean do
+  FileUtils.rm_rf("out")
+end
+
+task :test do
+  sh "steep check"
+end
+
+task default: [
+  :clean,
+
+  'generate:v60',
+  'generate:v61',
+  'generate:v70',
+]

data/examples/rails/known_sig/action_cable/connection/test_cookie_jar.rbs

@@ -0,0 +1,2 @@
+class ActionCable::Connection::TestCookieJar < ActiveSupport::HashWithIndifferentAccess[untyped, untyped]
+end

data/examples/rails/known_sig/action_controller/metal.rbs

@@ -0,0 +1,4 @@
+class ActionController::Metal < ::AbstractController::Base
+  @_request: ::ActionDispatch::Request
+  @_response: ::ActionDispatch::Response
+end

data/examples/rails/known_sig/action_dispatch/cookies/cookie_jar.rbs

@@ -0,0 +1,3 @@
+class ActionDispatch::Cookies::CookieJar
+  def to_h: () -> Hash[untyped, untyped]
+end

data/examples/rails/known_sig/action_dispatch/response.rbs

@@ -0,0 +1,4 @@
+class ActionDispatch::Response
+  # The HTTP status code.
+  attr_reader status: Integer
+end

data/examples/rails/patch/drb/drb_undumped.rbs

@@ -0,0 +1,2 @@
+module DRb::DRbUndumped
+end

data/examples/rails/patch/drb.rbs

@@ -0,0 +1,2 @@
+ module DRb
+ end

data/examples/rails/patch/erubi/engine.rbs

@@ -0,0 +1,4 @@
+module Erubi
+  class Engine
+  end
+end

data/examples/rails/patch/erubi.rbs

@@ -0,0 +1,2 @@
+module Erubi
+end

data/examples/rails/patch/minitest/kernel.rbs

@@ -0,0 +1,44 @@
+%a{annotate:rdoc:skip}
+module Kernel : ::BasicObject
+  private
+
+  # <!--
+  #   rdoc-file=lib/minitest/spec.rb
+  #   - describe(desc, *additional_desc, &block)
+  # -->
+  # Describe a series of expectations for a given target `desc`.
+  #
+  # Defines a test class subclassing from either Minitest::Spec or from the
+  # surrounding describe's class. The surrounding class may subclass
+  # Minitest::Spec manually in order to easily share code:
+  #
+  #     class MySpec < Minitest::Spec
+  #       # ... shared code ...
+  #     end
+  #
+  #     class TestStuff < MySpec
+  #       it "does stuff" do
+  #         # shared code available here
+  #       end
+  #       describe "inner stuff" do
+  #         it "still does stuff" do
+  #           # ...and here
+  #         end
+  #       end
+  #     end
+  #
+  # For more information on getting started with writing specs, see:
+  #
+  # http://www.rubyinside.com/a-minitestspec-tutorial-elegant-spec-style-testing-t
+  # hat-comes-with-ruby-5354.html
+  #
+  # For some suggestions on how to improve your specs, try:
+  #
+  # http://betterspecs.org
+  #
+  # but do note that several items there are debatable or specific to rspec.
+  #
+  # For more information about expectations, see Minitest::Expectations.
+  #
+  def describe: (untyped desc, *untyped additional_desc) { () -> untyped } -> untyped
+end

data/examples/rails/patch/minitest/minitest/abstract_reporter.rbs

@@ -0,0 +1,49 @@
+# <!-- rdoc-file=lib/minitest.rb -->
+# Defines the API for Reporters. Subclass this and override whatever you want.
+# Go nuts.
+#
+class Minitest::AbstractReporter
+  # <!--
+  #   rdoc-file=lib/minitest.rb
+  #   - start()
+  # -->
+  # Starts reporting on the run.
+  #
+  def start: () -> nil
+
+  # <!--
+  #   rdoc-file=lib/minitest.rb
+  #   - prerecord(klass, name)
+  # -->
+  # About to start running a test. This allows a reporter to show that it is
+  # starting or that we are in the middle of a test run.
+  #
+  def prerecord: (untyped klass, untyped name) -> nil
+
+  # <!--
+  #   rdoc-file=lib/minitest.rb
+  #   - record(result)
+  # -->
+  # Output and record the result of the test. Call
+  # [result#result_code](rdoc-ref:Runnable#result_code) to get the result
+  # character string. Stores the result of the run if the run did not pass.
+  #
+  def record: (untyped result) -> nil
+
+  # <!--
+  #   rdoc-file=lib/minitest.rb
+  #   - report()
+  # -->
+  # Outputs the summary of the run.
+  #
+  def report: () -> nil
+
+  # <!--
+  #   rdoc-file=lib/minitest.rb
+  #   - passed?()
+  # -->
+  # Did this run pass?
+  #
+  def passed?: () -> true
+  include Mutex_m
+end

data/examples/rails/patch/minitest/minitest/assertion.rbs

@@ -0,0 +1,16 @@
+# <!-- rdoc-file=lib/minitest.rb -->
+# Represents run failures.
+#
+class Minitest::Assertion < ::Exception
+  def error: () -> self
+
+  # <!--
+  #   rdoc-file=lib/minitest.rb
+  #   - location()
+  # -->
+  # Where was this run before an assertion was raised?
+  #
+  def location: () -> untyped
+  def result_code: () -> untyped
+  def result_label: () -> "Failure"
+end