orthoses 0.9.0 → 1.0.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 9a88a402248539e68e824aeb28c7a47a17b2b8c8920c454dbec4fe87305a5999
-  data.tar.gz: 1c9e0aa222e72261b5b5fd09649023c61eff09043823a4eb3e98d909aff93fc7
+  metadata.gz: b99546cf07198d891673d96f57a8cd22602db3442fc8526377e113dc82716351
+  data.tar.gz: 45d4d49fd66765eac0429d90718ae7b4bc3f66181f67efd97c9f4a5b4e970955
 SHA512:
-  metadata.gz: b825842ed1899b7e51ee40376845a4e869563c2fbe66e56a16ebe62672291acdb2a9e9e66a29bf4a7a8d0e3644fb6d2848b268cc2a09fbbe9adc3f85ef955872
-  data.tar.gz: 21bfe767137adea2246fcbb1f6883266f0b76aa1c367faafe773fcf902184374cda1ee175d4b62eee99435714dfc1bec7b1403d20db4dab5de3faabc4df98754
+  metadata.gz: e4d4ebe91a584ab50850ccdf60a489e37fe1c4da99fd8bc9ed2f8aa255b2e35f5b60b0b3ab5f2662833d34f8514f87be84018b17a97dcda76db4e57e1f52a834
+  data.tar.gz: 78696a4162f7e469c52e059cf4fdc09160926f354ab5b3343db681d7ba78360c1406889da81830c585dda30a95921d9753fced392ad92f72324f27a8d0ad3747

data/Gemfile

@@ -5,7 +5,7 @@ source "https://rubygems.org"
 # Specify your gem's dependencies in orthoses.gemspec
 gemspec
 
+gem "rbs"
 gem "rake", "~> 13.0"
 gem "rgot", "~> 1.1"
 gem "steep"
-gem "activesupport"

data/Gemfile.lock

@@ -1,13 +1,13 @@
 PATH
   remote: .
   specs:
-    orthoses (0.9.0)
+    orthoses (1.0.0)
       rbs (~> 2.0)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (7.0.3)
+    activesupport (7.0.3.1)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)
@@ -15,45 +15,45 @@ GEM
     ast (2.4.2)
     concurrent-ruby (1.1.10)
     ffi (1.15.5)
-    i18n (1.10.0)
+    i18n (1.12.0)
       concurrent-ruby (~> 1.0)
-    language_server-protocol (3.16.0.3)
+    language_server-protocol (3.17.0.0)
     listen (3.7.1)
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
-    minitest (5.15.0)
+    minitest (5.16.3)
     parallel (1.22.1)
-    parser (3.1.2.0)
+    parser (3.1.2.1)
       ast (~> 2.4.1)
     rainbow (3.1.1)
     rake (13.0.6)
     rb-fsevent (0.11.1)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rbs (2.5.0)
+    rbs (2.6.0)
     rgot (1.1.0)
-    steep (1.0.0)
+    steep (1.1.1)
       activesupport (>= 5.1)
       language_server-protocol (>= 3.15, < 4.0)
       listen (~> 3.0)
       parallel (>= 1.0.0)
-      parser (>= 3.0)
+      parser (>= 3.1)
       rainbow (>= 2.2.2, < 4.0)
       rbs (>= 2.3.2)
       terminal-table (>= 2, < 4)
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
-    tzinfo (2.0.4)
+    tzinfo (2.0.5)
       concurrent-ruby (~> 1.0)
-    unicode-display_width (2.1.0)
+    unicode-display_width (2.2.0)
 
 PLATFORMS
   ruby
 
 DEPENDENCIES
-  activesupport
   orthoses!
   rake (~> 13.0)
+  rbs
   rgot (~> 1.1)
   steep
 

data/README.md

@@ -24,12 +24,11 @@ Orthoses::Builder.new do
   use Orthoses::CreateFileByName
     base_dir: Rails.root.join("sig/out"),
     header: "# !!! GENERATED CODE !!!"
-  use Orthoses::Filter,
-    if: -> (name, _content) {
-      path, _lineno = Object.const_source_location(name)
-      return false unless path
-      %r{app/models}.match?(path)
-    }
+  use Orthoses::Filter do |name, _content|
+    path, _lineno = Object.const_source_location(name)
+    return false unless path
+    %r{app/models}.match?(path)
+  end
   use YourCustom::Middleware
   use Orthoses::Mixin
   use Orthoses::Constant
@@ -45,10 +44,6 @@ end.call
 
 `Orthoses::Utils` is a collection of useful methods.
 
-### Orthoses::Utils.unautoload!
-
-Load all const by recursive.
-
 ### Orthoses::Utils.each_const_recursive
 
 Yield const by recursive.
@@ -151,11 +146,19 @@ Run `rbs prototype rb` command process to `paths` option files.
 `content_filter` option could filter with content decl.
 `mixin_filter` option could filter with mixin(include, extend, prepend) decl.
 
+### Orthoses::RBSPrototypeRuntime
+
+Run `rbs prototype runtime` command process with `patterns` option string.
+
 ### Orthoses::AvoidRecursiveAncestorError
 
 Mixin a module into an Object class raises `RBS::RecursiveAncestorError` when validation.
 Please add this middleware then.
 
+### Orthoses::Autoload
+
+Force load const defined by `autoload`.
+
 ## Development
 
 After checking out the repo, run `bin/setup` to install dependencies. You can also run `bin/console` for an interactive prompt that will allow you to experiment.

data/examples/minitest/Rakefile

@@ -13,9 +13,9 @@ task :minitest => :src do
   Orthoses::Builder.new do
     use Orthoses::CreateFileByName,
       base_dir: out.to_s
-    use Orthoses::Filter, if: ->(name, content) {
+    use Orthoses::Filter do |name, content|
       name.start_with?("Minitest") || name == "Kernel"
-    }
+    end
     use Orthoses::Constant,
       strict: false,
       if: ->(current, const, val, rbs){

data/lib/orthoses/attribute.rb

@@ -40,8 +40,6 @@ module Orthoses
         end
       end
 
-      store["Module"].body.delete("prepend Orthoses::Attribute::Hook")
-
       attr.captures.each do |capture|
         m = capture.method.receiver.to_s.match(/#<Class:([\w:]+)>/)
         if m && m[1]

data/lib/orthoses/autoload.rb

@@ -0,0 +1,37 @@
+# frozen_string_literal: true
+
+module Orthoses
+  class Autoload
+    module Hook
+      def autoload(name, path)
+        super
+      end
+    end
+
+    def initialize(loader)
+      @loader = loader
+    end
+
+    def call
+      ::Module.prepend(Hook)
+
+      autoload = CallTracer.new
+
+      store = autoload.trace(Hook.instance_method(:autoload)) do
+        @loader.call
+      end
+
+      autoload.captures.each do |capture|
+        base_mod = capture.method.receiver
+        name = capture.argument[:name]
+        begin
+          base_mod.const_get(name)
+        rescue NameError, LoadError, ArgumentError => e
+          Orthoses.logger.warn("[Orthoses::Autoload] raise `#{e.message} (#{e.class})` when try to unautoload `#{base_mod}::#{name}`")
+        end
+      end
+
+      store
+    end
+  end
+end

data/lib/orthoses/call_tracer/capturable.rb

@@ -0,0 +1,42 @@
+# frozen_string_literal: true
+
+module Orthoses
+  class CallTracer
+    module Capturable
+      def build_capture(tp)
+        Capture.new(
+          method: build_method(tp),
+          argument: build_argument(tp),
+        )
+      end
+
+      private
+
+      def build_method(tp)
+        METHOD_METHOD.bind(tp.self).call(tp.method_id)
+      end
+
+      def build_argument(tp)
+        tp.parameters.each_with_object({}) do |op_name, hash|
+          name = op_name[1]
+          case name
+          when :*, :**, :&, nil
+            # skip
+          else
+            hash[name] = tp.binding.local_variable_get(name).then do |var|
+              case var
+              when Module, Thread::Backtrace::Location
+                var
+              else
+                var.dup
+              end
+            rescue => err
+              warn("#dup fail (#{err.class}) #{err.message}")
+              var
+            end
+          end
+        end
+      end
+    end
+  end
+end

data/lib/orthoses/call_tracer/lazy.rb

@@ -0,0 +1,22 @@
+# frozen_string_literal: true
+
+module Orthoses
+  class CallTracer
+    class Lazy
+      include Capturable
+
+      attr_reader :captures
+
+      def initialize
+        @captures = []
+        @lazy_trace_point = LazyTracePoint.new(:call) do |tp|
+          @captures << build_capture(tp)
+        end
+      end
+
+      def trace(name, &block)
+        @lazy_trace_point.enable(target: name, &block)
+      end
+    end
+  end
+end

data/lib/orthoses/call_tracer.rb

@@ -16,46 +16,22 @@ module Orthoses
     class Capture < Struct.new(:method, :argument, keyword_init: true)
     end
 
+    autoload :Lazy, 'orthoses/call_tracer/lazy'
+    require_relative 'call_tracer/capturable'
+
+    include Capturable
+
     attr_accessor :captures
 
     def initialize
       @captures = []
+      @target_tp = TracePoint.new(:call) do |tp|
+        @captures << build_capture(tp)
+      end
     end
 
     def trace(target, &block)
-      t = TracePoint.new(:call) do |tp|
-        called_method = tp.self.method(tp.method_id)
-        argument = tp.parameters.each_with_object({}) do |op_name, hash|
-          name = op_name[1]
-          case name
-          when :*, :**, :&, nil
-            # skip
-          else
-            hash[name] = tp.binding.local_variable_get(name).then do |var|
-              case var
-              when Module
-                var # avoid missing name
-              else
-                var.dup
-              end
-            rescue => err
-              case var
-              when Thread::Backtrace::Location
-                # known
-              else
-                warn("#dup fail (#{err.class}) #{err.message}")
-              end
-              var
-            end
-          end
-        end
-
-        @captures << Capture.new(
-          method: called_method,
-          argument: argument,
-        )
-      end
-      t.enable(target: target, &block)
+      @target_tp.enable(target: target, &block)
     end
   end
 end

data/lib/orthoses/constant.rb

@@ -2,7 +2,7 @@
 
 module Orthoses
   class Constant
-    def initialize(loader, strict:, if: nil, on_error: nil)
+    def initialize(loader, strict: false, if: nil, on_error: nil)
       @loader = loader
       @strict = strict
       @if = binding.local_variable_get(:if)

data/lib/orthoses/content/duplication_checker.rb

@@ -2,18 +2,20 @@ module Orthoses
   class Content
     # Check and drop duplication method, const etc...
     class DuplicationChecker
-      def initialize(decl)
+      def initialize(decl, env: nil)
         @decl = decl
+        @env = env || Utils.rbs_environment(collection: true)
       end
 
       def update_decl
+        return unless @decl.respond_to?(:members)
         uniq_map = {}
         @decl.members.each do |member|
           key = member_key(member)
           drop_member = uniq_map[key]
           uniq_map[key] = member
           if drop_member
-            Orthoses.logger.warn("#{@decl.name}::#{drop_member} was droped since duplication")
+            Orthoses.logger.info("#{@decl.name} \"#{member.location.source}\" was droped since duplication")
           end
         end
         drop_known_method_definition(uniq_map)
@@ -23,20 +25,24 @@ module Orthoses
       private
 
       def drop_known_method_definition(uniq_map)
-        env = Utils.rbs_environment(collection: true)
-        if m_entry = env.class_decls[@decl.name.absolute!]
+        decl_name = @decl.name.absolute!
+        if m_entry = @env.class_decls[decl_name]
           m_entry.decls.each do |d|
             d.decl.members.grep_v(RBS::AST::Members::LocationOnly).each do |member|
               uniq_map.delete(member_key(member))
             end
           end
         end
-      end
 
-      def member_to_s(member)
-        out = StringIO.new
-        RBS::Writer.new(out: out).write_member(member)
-        out.string.chomp
+        constants_in_uniq_map = uniq_map.select do |key, value|
+          value.kind_of?(RBS::AST::Declarations::Constant)
+        end
+        constants_in_uniq_map.each do |key, value|
+          type_name = decl_name + value.name
+          if @env.constant_decls[type_name]
+            uniq_map.delete(key)
+          end
+        end
       end
 
       def member_key(member)

data/lib/orthoses/content/header_builder.rb

@@ -43,7 +43,7 @@ module Orthoses
       end
 
       def build_super_class(primary)
-        return nil if primary.decl.super_class.then { |s| s.nil? || s.name.relative!.to_s.then { |n| n == "Object" || n == "Random::Base" } }
+        return nil if primary.decl.super_class.then { |s| s.nil? || s.name.relative!.to_s.then { |n| n == "Object" || n == "Random::Base" || n.start_with?("RBS::Unnamed") } }
 
         context = build_context(entry: primary)
         super_class_name = @resolver.resolve(primary.decl.super_class.name, context: context) || primary.decl.super_class.name

data/lib/orthoses/content.rb

@@ -35,6 +35,14 @@ module Orthoses
       @body.concat(other)
     end
 
+    def empty?
+      @body.empty?
+    end
+
+    def delete(val)
+      @body.delete(val)
+    end
+
     def to_rbs
       auto_header
       uniqed_body_string
@@ -45,14 +53,36 @@ module Orthoses
       uniqed_body_decl
     end
 
-    private
+    def uniq!
+      out = ArrayIO.new
+      writer = RBS::Writer.new(out: out)
+      to_decl.members.each do |member|
+        writer.write_member(member)
+      end
+      @body.replace(out.to_a)
+    end
 
     def original_rbs
-      <<~RBS
-        #{@header}
-          #{@body.join("\n")}
-        end
-      RBS
+      a = [@header]
+      a << "  #{@body.join("\n  ")}" if @body.length > 0
+      a << "end"
+      a.join("\n")
+    end
+
+    private
+
+    class ArrayIO
+      def initialize
+        @outs = []
+      end
+
+      def puts(line)
+        @outs << line
+      end
+
+      def to_a
+        @outs
+      end
     end
 
     def uniqed_body_string

data/lib/orthoses/create_file_by_name.rb

@@ -1,11 +1,16 @@
 # frozen_string_literal: true
 
+require 'orthoses/outputable'
+
 module Orthoses
   class CreateFileByName
-    def initialize(loader, base_dir:, header: nil)
+    prepend Outputable
+
+    def initialize(loader, base_dir:, header: nil, if: nil)
       @loader = loader
       @base_dir = base_dir
       @header = header
+      @if = binding.local_variable_get(:if)
     end
 
     using(Module.new {
@@ -28,12 +33,15 @@ module Orthoses
       store = @loader.call
 
       store.each do |name, content|
-        rbs = begin
-          content.to_rbs
+        begin
+          content.uniq!
         rescue NameError, LoadError => err
           Orthoses.logger.error(err.inspect)
           next
         end
+
+        next unless @if.nil? || @if.call(name, content)
+
         file_path = Pathname("#{@base_dir}/#{name.to_s.split('::').map(&:underscore).join('/')}.rbs")
         file_path.dirname.mkpath
         file_path.open('w+') do |out|
@@ -41,7 +49,7 @@ module Orthoses
             out.puts @header
             out.puts
           end
-          out.puts rbs
+          out.puts content.original_rbs
         end
         Orthoses.logger.info("Generate file to #{file_path.to_s}")
       end

data/lib/orthoses/filter.rb

@@ -2,19 +2,21 @@
 
 module Orthoses
   # Filter current store.
-  #   use Orthoses::Filter,
-  #     # filter stored key and value if proc return true
-  #     if: -> (name, content) { Orthoses.rbs_defined_class?(name) }
+  # filter stored key and value if proc return true
+  #   use Orthoses::Filter do |name, content|
+  #     Orthoses.rbs_defined_class?(name)
+  #   end
   class Filter
-    def initialize(loader, if:)
+    def initialize(loader, if: nil, &block)
       @loader = loader
       @if = binding.local_variable_get(:if)
+      @block = block || @if || raise(ArgumentError, "should give a block")
     end
 
     def call
       @loader.call.tap do |store|
         store.filter! do |name, content|
-          @if.call(name, content).tap do
+          @block.call(name, content).tap do
             Orthoses.logger.debug("Filter pass [#{name}]")
           end
         end

data/lib/orthoses/lazy_trace_point.rb

@@ -0,0 +1,103 @@
+# frozen_string_literal: true
+
+module Orthoses
+  # TracePoint wrapper that allows setting hooks
+  # even if the target is undefined
+  #   LazyTracePoint.new(:call) do |tp|
+  #     ...
+  #   end.enable(target: 'Class#class_attribute') do
+  #     require 'active_support/core_ext/class/attribute'
+  #     ...
+  #   end
+  class LazyTracePoint < TracePoint
+    # for TracePoint target
+    ::Module.prepend(Module.new{
+      def method_added(id)
+        super
+      end
+    })
+    ::BasicObject.prepend(Module.new{
+      def singleton_method_added(id)
+        super
+      end
+    })
+
+    METHOD_METHOD = ::Kernel.instance_method(:method)
+    INSTANCE_METHOD_METHOD = ::Module.instance_method(:instance_method)
+    UNBOUND_NAME_METHOD = ::Module.instance_method(:name)
+    METHOD_ADDED_METHOD = ::Module.instance_method(:method_added)
+    SINGLETON_METHOD_ADDED_METHOD = ::BasicObject.instance_method(:singleton_method_added)
+
+    def initialize(*events, &block)
+      @mod_name = nil
+      @instance_method_id = nil
+      @singleton_method_id = nil
+      super
+    end
+
+    def enable(target: nil, target_line: nil, target_thread: nil, &block)
+      return super unless target.kind_of?(String)
+
+      case
+      when target.include?('#')
+        @mod_name, instance_method_id = target.split('#', 2)
+        @instance_method_id = instance_method_id.to_sym
+        @singleton_method_id = nil
+
+        trace_instance_method(&block)
+      when target.include?('.')
+        @mod_name, singleton_method_id = target.split('.', 2)
+        @singleton_method_id = singleton_method_id.to_sym
+        @instance_method_id = nil
+
+        trace_singleton_method(&block)
+      else
+        raise ArgumentError, "argument shuold be 'Foo#foo' or 'Foo.foo' format"
+      end
+    end
+
+    private
+
+    def trace_instance_method(&block)
+      # try to load
+      target = Object.const_get(@mod_name).instance_method(@instance_method_id)
+      enable(target: target, &block)
+    rescue NameError
+      TracePoint.new(:call) do |tp|
+        id = tp.binding.local_variable_get(:id)
+        next unless id == @instance_method_id
+
+        mod_name = UNBOUND_NAME_METHOD.bind(tp.self).call
+
+        next unless mod_name
+        next unless mod_name == @mod_name
+
+        enable(target: INSTANCE_METHOD_METHOD.bind(tp.self).call(id))
+        tp.disable
+      end.enable(target: METHOD_ADDED_METHOD, &block)
+    ensure
+      disable
+    end
+
+    def trace_singleton_method(&block)
+      # try to load
+      target = Object.const_get(@mod_name).method(@singleton_method_id)
+      enable(target: target, &block)
+    rescue NameError
+      TracePoint.new(:call) do |tp|
+        id = tp.binding.local_variable_get(:id)
+        next unless id == @singleton_method_id
+
+        mod_name = UNBOUND_NAME_METHOD.bind(tp.self).call
+
+        next unless mod_name
+        next unless mod_name == @mod_name
+
+        enable(target: METHOD_METHOD.bind(tp.self).call(id))
+        tp.disable
+      end.enable(target: SINGLETON_METHOD_ADDED_METHOD, &block)
+    ensure
+      disable
+    end
+  end
+end

data/lib/orthoses/load_rbs.rb

@@ -11,7 +11,9 @@ module Orthoses
 
     def call
       @loader.call.tap do |store|
-        env = Content::Environment.load_from_paths(@paths)
+        paths = @paths
+        paths = paths.call if paths.instance_of?(Proc)
+        env = Content::Environment.load_from_paths(paths.to_a)
         env.write_to(store: store)
       end
     end

data/lib/orthoses/mixin.rb

@@ -34,8 +34,6 @@ module Orthoses
         end
       end
 
-      store["Module"].body.delete("prepend Orthoses::Mixin::Hook")
-
       collect_definitions(store, include, :include)
       collect_definitions(store, extend, :extend)
       collect_definitions(store, prepend, :prepend)
@@ -58,6 +56,8 @@ module Orthoses
           mod_name = Utils.module_name(mod)
           next unless mod_name
 
+          next if mod_name.start_with?("Orthoses")
+
           known_type_params = Utils.known_type_params(mod)
           next unless known_type_params.nil? || known_type_params.empty?
 

data/lib/orthoses/object_space_all.rb

@@ -2,9 +2,8 @@
 
 module Orthoses
   class ObjectSpaceAll
-    def initialize(loader, if: nil)
+    def initialize(loader)
       @loader = loader
-      @if = binding.local_variable_get(:if)
     end
 
     def call
@@ -14,7 +13,6 @@ module Orthoses
       after_modules.each do |mod|
         mod_name = Utils.module_name(mod)
         next if mod_name.nil?
-        next unless @if.nil? || @if.call(mod)
 
         store[mod_name]
       end

data/lib/orthoses/outputable/avoid_recursive_ancestor_error.rb

@@ -0,0 +1,37 @@
+# frozen_string_literal: true
+
+module Orthoses
+  module Outputable
+    # AvoidRecursiveAncestorError is an internal middleware
+    # It's using on orthoses/outputable.rb
+    class AvoidRecursiveAncestorError
+      def initialize(loader)
+        @loader = loader
+      end
+
+      def call
+        @loader.call.tap do |store|
+          object_mixins = {}
+          collect_mixin_recursive(store, "Object", object_mixins)
+
+          object_mixins.each_key do |object_mixin|
+            store[object_mixin].header = "module #{object_mixin} : BasicObject"
+          end
+        end
+      end
+
+      private
+
+      def collect_mixin_recursive(store, name, mixins)
+        store[name].to_decl.members.each do |member|
+          case member
+          when RBS::AST::Members::Mixin
+            member_name = member.name.relative!.to_s
+            mixins[member_name] = true
+            collect_mixin_recursive(store, member_name, mixins)
+          end
+        end
+      end
+    end
+  end
+end

data/lib/orthoses/outputable.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+require 'orthoses/outputable/avoid_recursive_ancestor_error'
+
+module Orthoses
+  # Module for output middleware.
+  # Call internal some middleware on output phase.
+  #   class Sample
+  #     prepend Outputable
+  #
+  #     def initialize(loader)
+  #       ...
+  #     def call
+  #       ...
+  module Outputable
+    def call
+      @loader = AvoidRecursiveAncestorError.new(@loader)
+      super
+    end
+  end
+end

data/lib/orthoses/path_helper.rb

@@ -0,0 +1,38 @@
+# frozen_string_literal: true
+
+# Helper for find best version dir.
+#   Orthoses::PathHelper.best_version_paths(
+#     ::ActiveSupport::VERSION::STRING,
+#     "known_sig/activesupport")
+module Orthoses
+  class PathHelper
+    class << self
+      def best_version_paths(current, base_dir)
+        new(current, base_dir).best_version_paths
+      end
+    end
+
+    def initialize(current, base_dir)
+      @current = current
+      @base_dir = base_dir
+    end
+
+    def best_version_paths
+      best_version = find_best_version
+      Dir.glob("#{@base_dir}/#{best_version}/**/*.rbs")
+    end
+
+    def find_best_version
+      current_v = Gem::Version.new(@current)
+      versions = version_dir
+      versions.reverse.bsearch { |v| v <= current_v } || versions.first
+    end
+
+    def version_dir
+      Dir.glob("#{@base_dir}/*")
+        .map(&File.method(:basename))
+        .map(&Gem::Version.method(:new))
+        .sort
+    end
+  end
+end

data/lib/orthoses/rbs_prototype_runtime.rb

@@ -0,0 +1,32 @@
+module Orthoses
+  # Call `rbs prototype runtime` and add to store
+  #     use Orthoses::RBSPrototypeRuntime,
+  #       patterns: ['Foo::*']
+  class RBSPrototypeRuntime
+    def initialize(loader, patterns:)
+      @loader = loader
+      @patterns = patterns
+    end
+
+    def call
+      @loader.call.tap do |store|
+        content_env = Orthoses::Content::Environment.new
+
+        patterns = @patterns
+        env = RBS::Environment.new
+        merge = true
+        owners_included = []
+        RBS::Prototype::Runtime.new(
+          patterns: patterns,
+          env: env,
+          merge: merge,
+          owners_included: owners_included,
+        ).decls.each do |decl|
+          content_env << decl
+        end
+
+        content_env.write_to(store: store)
+      end
+    end
+  end
+end

data/lib/orthoses/utils.rb

@@ -3,13 +3,14 @@
 module Orthoses
   module Utils
     def self.unautoload!
+      warn "`Orthoses::Utils.unautoload!` is deprecated. please use `Orthoses::Autoload` middleware instead."
       ObjectSpace.each_object(Module) do |mod|
         each_const_recursive(mod)
       end
     end
 
     def self.each_const_recursive(root, cache: {}, on_error: nil, &block)
-      root.constants(false).each do |const|
+      root.constants(false).sort.each do |const|
         val = root.const_get(const)
         next if cache[const].equal?(val)
         cache[const] = val

data/lib/orthoses/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Orthoses
-  VERSION = "0.9.0"
+  VERSION = "1.0.0"
 end

data/lib/orthoses/writer.rb

@@ -1,5 +1,7 @@
 module Orthoses
   class Writer
+    prepend Outputable
+
     def initialize(loader, io:)
       @loader = loader
       @io = io

data/lib/orthoses.rb

@@ -4,7 +4,6 @@ require 'rbs'
 require 'pathname'
 
 require_relative 'orthoses/attribute'
-require_relative 'orthoses/avoid_recursive_ancestor_error'
 require_relative 'orthoses/builder'
 require_relative 'orthoses/call_tracer'
 require_relative 'orthoses/constant'
@@ -15,16 +14,26 @@ require_relative 'orthoses/filter'
 require_relative 'orthoses/mixin'
 require_relative 'orthoses/load_rbs'
 require_relative 'orthoses/object_space_all'
+require_relative 'orthoses/outputable'
+require_relative 'orthoses/path_helper'
 require_relative 'orthoses/pp'
 require_relative 'orthoses/rbs_prototype_rb'
+require_relative 'orthoses/rbs_prototype_runtime'
 require_relative 'orthoses/store'
 require_relative 'orthoses/tap'
+require_relative 'orthoses/autoload'
 require_relative 'orthoses/utils'
 require_relative 'orthoses/version'
 require_relative 'orthoses/walk'
 require_relative 'orthoses/writer'
 
 module Orthoses
+  # Use autoload just in case there are side effects.
+  autoload :LazyTracePoint, 'orthoses/lazy_trace_point'
+
+  METHOD_METHOD = ::Kernel.instance_method(:method)
+  INSTANCE_METHOD_METHOD = ::Module.instance_method(:instance_method)
+
   class ConstLoadError < StandardError
     attr_reader :root
     attr_reader :const

data/sig/orthoses/attribute/hook.rbs

@@ -2,10 +2,7 @@
 
 module Orthoses::Attribute::Hook
   def attr: (*untyped names) -> untyped
-
   def attr_accessor: (*untyped names) -> untyped
-
   def attr_reader: (*untyped names) -> untyped
-
   def attr_writer: (*untyped names) -> untyped
 end

data/sig/orthoses/autoload/hook.rbs

@@ -0,0 +1,5 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+module Orthoses::Autoload::Hook
+  def autoload: (untyped name, untyped path) -> untyped
+end

data/sig/orthoses/autoload.rbs

@@ -0,0 +1,6 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::Autoload
+  def initialize: (untyped loader) -> void
+  def call: () -> untyped
+end

data/sig/orthoses/builder.rbs

@@ -5,6 +5,5 @@ class Orthoses::Builder
   def use: (untyped middleware, *untyped args, **untyped key) ?{ () -> untyped } -> untyped
   def run: (untyped loader) -> untyped
   def to_loader: () -> untyped
-
   def call: () { () -> void } -> Orthoses::store
 end

data/sig/orthoses/call_tracer/capturable.rbs

@@ -0,0 +1,7 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+module Orthoses::CallTracer::Capturable
+  def build_capture: (untyped tp) -> untyped
+  private def build_method: (untyped tp) -> untyped
+  private def build_argument: (untyped tp) -> untyped
+end

data/sig/orthoses/call_tracer/lazy.rbs

@@ -0,0 +1,6 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::CallTracer::Lazy
+  def initialize: () -> void
+  def trace: (untyped name) ?{ () -> untyped } -> untyped
+end

data/sig/orthoses/call_tracer.rbs

@@ -2,7 +2,6 @@
 
 class Orthoses::CallTracer
   def initialize: () -> void
-
   def trace: [T] (Method | UnboundMethod) ?{ () -> T } -> T
   attr_accessor captures: Array[Capture]
 end

data/sig/orthoses/constant.rbs

@@ -1,7 +1,7 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 class Orthoses::Constant
-  def initialize: (Orthoses::_Call loader, strict: bool, ?if: ^(Module, Symbol, untyped) -> boolish, ?on_error: ^(Orthoses::ConstLoadError) -> void) -> void
+  def initialize: (Orthoses::_Call loader, ?strict: bool, ?if: ^(Module, Symbol, untyped) -> boolish | nil, ?on_error: ^(Orthoses::ConstLoadError) -> void | nil) -> void
   def call: () -> Orthoses::store
   @loader: Orthoses::_Call
   @strict: bool

data/sig/orthoses/content/array_io.rbs

@@ -0,0 +1,7 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::Content::ArrayIO
+  def initialize: () -> void
+  def puts: (untyped line) -> untyped
+  def to_a: () -> untyped
+end

data/sig/orthoses/content/duplication_checker.rbs

@@ -1,9 +1,8 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 class Orthoses::Content::DuplicationChecker
-  def initialize: (untyped decl) -> void
-  def update_decl: () -> untyped
+  def initialize: (untyped decl, ?env: untyped?) -> void
+  def update_decl: () -> (nil | untyped)
   private def drop_known_method_definition: (untyped uniq_map) -> untyped
-  private def member_to_s: (untyped member) -> untyped
   private def member_key: (untyped member) -> untyped
 end

data/sig/orthoses/content/environment.rbs

@@ -2,7 +2,6 @@
 
 class Orthoses::Content::Environment
   def self.load_from_paths: (untyped paths) -> untyped
-
   def initialize: (?constant_filter: constant_filter?, ?mixin_filter: mixin_filter?, ?attribute_filter: attribute_filter?) -> void
   def <<: (RBS::AST::Declarations::t decl) -> RBS::Environment
   def write_to: (store: Orthoses::store) -> void

data/sig/orthoses/content.rbs

@@ -4,10 +4,12 @@ class Orthoses::Content
   def initialize: (name: String) -> void
   def <<: (String) -> void
   def concat: (Array[String]) -> void
+  def empty?: () -> untyped
+  def delete: (untyped val) -> untyped
   def to_rbs: () -> String
   def to_decl: () -> untyped
-  private def original_rbs: () -> ::String
-
+  def uniq!: () -> untyped
+  def original_rbs: () -> untyped
   private def uniqed_body_string: () -> String
   private def uniqed_body_decl: () -> RBS::AST::Declarations::t
   private def auto_header: () -> (nil | untyped)

data/sig/orthoses/filter.rbs

@@ -1,7 +1,8 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 class Orthoses::Filter
-  def initialize: (Orthoses::_Call loader, if: ^(String, Orthoses::Content) -> boolish) -> void
+  def initialize: (Orthoses::_Call loader) { (String, Orthoses::Content) -> boolish } -> void
   def call: () -> Orthoses::store
   @loader: Orthoses::_Call
+  @block: ^(String, Orthoses::Content) -> boolish
 end

data/sig/orthoses/lazy_trace_point.rbs

@@ -0,0 +1,15 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::LazyTracePoint < ::TracePoint
+  def method_added: (untyped id) -> untyped
+  def singleton_method_added: (untyped id) -> untyped
+  def initialize: (*untyped events) ?{ () -> untyped } -> void
+  def enable: (?target: untyped?, ?target_line: untyped?, ?target_thread: untyped?) ?{ () -> untyped } -> untyped
+  private def trace_instance_method: () ?{ () -> untyped } -> untyped
+  private def trace_singleton_method: () ?{ () -> untyped } -> untyped
+  INSTANCE_METHOD_METHOD: UnboundMethod
+  METHOD_ADDED_METHOD: UnboundMethod
+  METHOD_METHOD: UnboundMethod
+  SINGLETON_METHOD_ADDED_METHOD: UnboundMethod
+  UNBOUND_NAME_METHOD: UnboundMethod
+end

data/sig/orthoses/load_rbs.rbs

@@ -1,8 +1,9 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 class Orthoses::LoadRBS
-  def initialize: (Orthoses::_Call loader, paths: Array[_ToS]) -> void
+  def initialize: (Orthoses::_Call loader, paths: paths) -> void
   def call: () -> Orthoses::store
+  type paths = Array[String] | ^() -> Array[String]
   @loader: Orthoses::_Call
-  @paths: Array[_ToS]
+  @paths: paths
 end

data/sig/orthoses/mixin/hook.rbs

@@ -2,8 +2,6 @@
 
 module Orthoses::Mixin::Hook
   def include: (*untyped modules) -> untyped
-
   def extend: (*untyped modules) -> untyped
-
   def prepend: (*untyped modules) -> untyped
 end

data/sig/orthoses/{avoid_recursive_ancestor_error.rbs → outputable/avoid_recursive_ancestor_error.rbs}

@@ -1,8 +1,8 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
-class Orthoses::AvoidRecursiveAncestorError
+class Orthoses::Outputable::AvoidRecursiveAncestorError
   def initialize: (Orthoses::_Call loader) -> void
   def call: () -> Orthoses::store
-  def set_object_mixins_recursive: (untyped store, untyped name, untyped object_mixins) -> untyped
+  private def collect_mixin_recursive: (untyped store, untyped name, untyped mixins) -> untyped
   @loader: Orthoses::_Call
 end

data/sig/orthoses/outputable.rbs

@@ -0,0 +1,5 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+module Orthoses::Outputable
+  def call: () -> untyped
+end

data/sig/orthoses/path_helper.rbs

@@ -0,0 +1,9 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::PathHelper
+  def self.best_version_paths: (untyped current, untyped base_dir) -> untyped
+  def initialize: (untyped current, untyped base_dir) -> void
+  def best_version_paths: () -> untyped
+  def find_best_version: () -> untyped
+  def version_dir: () -> untyped
+end

data/sig/orthoses/rbs_prototype_runtime.rbs

@@ -0,0 +1,6 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::RBSPrototypeRuntime
+  def initialize: (untyped loader, patterns: untyped) -> void
+  def call: () -> untyped
+end

data/sig/orthoses/utils.rbs

@@ -1,29 +1,17 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 module Orthoses::Utils
-  def self.unautoload!: () -> void
-
+  def self.unautoload!: () -> untyped
   def self.each_const_recursive: (Module root, ?cache: Hash[untyped, true], ?on_error: ^(Orthoses::ConstLoadError) -> void) ?{ (Module, Symbol, untyped) -> void } -> void
-
   def self.rbs_defined_const?: (String name, ?library: (String | Array[String])?, ?collection: boolish) -> bool
-
   def self.rbs_defined_class?: (String name, ?library: (String | Array[String])?, ?collection: boolish) -> bool
-
   def self.rbs_type_name: (String) -> RBS::TypeName
-
   def self.rbs_environment: (?library: String | Array[String] | nil, ?collection: boolish, ?cache: boolish) -> RBS::Environment
-
   def self.object_to_rbs: (untyped object, strict: bool) -> String
-
   def self.module_name: (Module mod) -> String?
-
   def self.module_to_type_name: (Module) -> RBS::TypeName?
-
   def self.known_type_params: (Module | String) -> Array[RBS::AST::TypeParam]?
-
   def self.new_store: () -> Orthoses::store
-
   UNBOUND_NAME_METHOD: UnboundMethod
-
   attr_accessor self.rbs_collection_pathname: Pathname
 end

data/sig/orthoses.rbs

@@ -1,9 +1,9 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 module Orthoses
-  VERSION: "0.9.0"
-
+  VERSION: "1.0.0"
   attr_accessor self.logger: ::Logger
-
   type store = Hash[String, Orthoses::Content]
+  INSTANCE_METHOD_METHOD: UnboundMethod
+  METHOD_METHOD: UnboundMethod
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: orthoses
 version: !ruby/object:Gem::Version
-  version: 0.9.0
+  version: 1.0.0
 platform: ruby
 authors:
 - ksss
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2022-06-14 00:00:00.000000000 Z
+date: 2022-09-09 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -41,9 +41,11 @@ files:
 - examples/simple_middleware.rbs
 - lib/orthoses.rb
 - lib/orthoses/attribute.rb
-- lib/orthoses/avoid_recursive_ancestor_error.rb
+- lib/orthoses/autoload.rb
 - lib/orthoses/builder.rb
 - lib/orthoses/call_tracer.rb
+- lib/orthoses/call_tracer/capturable.rb
+- lib/orthoses/call_tracer/lazy.rb
 - lib/orthoses/constant.rb
 - lib/orthoses/content.rb
 - lib/orthoses/content/duplication_checker.rb
@@ -52,11 +54,16 @@ files:
 - lib/orthoses/create_file_by_name.rb
 - lib/orthoses/delegate_class.rb
 - lib/orthoses/filter.rb
+- lib/orthoses/lazy_trace_point.rb
 - lib/orthoses/load_rbs.rb
 - lib/orthoses/mixin.rb
 - lib/orthoses/object_space_all.rb
+- lib/orthoses/outputable.rb
+- lib/orthoses/outputable/avoid_recursive_ancestor_error.rb
+- lib/orthoses/path_helper.rb
 - lib/orthoses/pp.rb
 - lib/orthoses/rbs_prototype_rb.rb
+- lib/orthoses/rbs_prototype_runtime.rb
 - lib/orthoses/store.rb
 - lib/orthoses/tap.rb
 - lib/orthoses/utils.rb
@@ -69,14 +76,18 @@ files:
 - sig/orthoses/_middle_ware.rbs
 - sig/orthoses/attribute.rbs
 - sig/orthoses/attribute/hook.rbs
-- sig/orthoses/avoid_recursive_ancestor_error.rbs
+- sig/orthoses/autoload.rbs
+- sig/orthoses/autoload/hook.rbs
 - sig/orthoses/builder.rbs
 - sig/orthoses/builder/call_logable.rbs
 - sig/orthoses/call_tracer.rbs
+- sig/orthoses/call_tracer/capturable.rbs
 - sig/orthoses/call_tracer/capture.rbs
+- sig/orthoses/call_tracer/lazy.rbs
 - sig/orthoses/const_load_error.rbs
 - sig/orthoses/constant.rbs
 - sig/orthoses/content.rbs
+- sig/orthoses/content/array_io.rbs
 - sig/orthoses/content/duplication_checker.rbs
 - sig/orthoses/content/environment.rbs
 - sig/orthoses/content/header_builder.rbs
@@ -84,13 +95,18 @@ files:
 - sig/orthoses/delegate_class.rbs
 - sig/orthoses/delegate_class/hook.rbs
 - sig/orthoses/filter.rbs
+- sig/orthoses/lazy_trace_point.rbs
 - sig/orthoses/load_rbs.rbs
 - sig/orthoses/mixin.rbs
 - sig/orthoses/mixin/hook.rbs
 - sig/orthoses/name_space_error.rbs
 - sig/orthoses/object_space_all.rbs
+- sig/orthoses/outputable.rbs
+- sig/orthoses/outputable/avoid_recursive_ancestor_error.rbs
+- sig/orthoses/path_helper.rbs
 - sig/orthoses/pp.rbs
 - sig/orthoses/rbs_prototype_rb.rbs
+- sig/orthoses/rbs_prototype_runtime.rbs
 - sig/orthoses/store.rbs
 - sig/orthoses/tap.rbs
 - sig/orthoses/utils.rbs
@@ -117,7 +133,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.3.15
+rubygems_version: 3.4.0.dev
 signing_key:
 specification_version: 4
 summary: Framework for Generate RBS

data/lib/orthoses/avoid_recursive_ancestor_error.rb

@@ -1,29 +0,0 @@
-module Orthoses
-  class AvoidRecursiveAncestorError
-    def initialize(loader)
-      @loader = loader
-    end
-
-    def call
-      @loader.call.tap do |store|
-        object_mixins = {}
-        set_object_mixins_recursive(store, "Object", object_mixins)
-
-        object_mixins.each_key do |object_mixin|
-          store[object_mixin].header = "module #{object_mixin} : BasicObject"
-        end
-      end
-    end
-
-    def set_object_mixins_recursive(store, name, object_mixins)
-      store[name].to_decl.members.each do |member|
-        case member
-        when RBS::AST::Members::Mixin
-          member_name = member.name.relative!.to_s
-          object_mixins[member_name] = true
-          set_object_mixins_recursive(store, member_name, object_mixins)
-        end
-      end
-    end
-  end
-end