orthoses 0.1.0 → 0.4.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 64cbbb058a7d4dc7c5f6f0d8cc66a23a1b2026253ad20add3cc63777a1c42227
-  data.tar.gz: 15742e8389d7fc4e129bca6ab48203f13dad5b2338eff73a2b4c530ba239d327
+  metadata.gz: 0e53d784825b1c759916988c4aaca8e6942fd89e0de4c73dff022f40ca265027
+  data.tar.gz: 7e6fdb9ac599274b713a9930d15bb8b81267c3afcc4a7ed3a6c747a13c711201
 SHA512:
-  metadata.gz: 276874fcb60ce45b3b2ffe3388e963b596f65a466c4f36f5b3986b561f756f721d797e8217a27b6a292f988343fe8f4209886b876ba03e4512466b51903e4996
-  data.tar.gz: 73b2a614b599980d20d2d0334d87f4f508b163beff9a766979d67f39f49213a634c9e907725efd1f7a51e1552b5db90e80f3d766bba024ff050d50c5d5522b5c
+  metadata.gz: 61b9855a1f2744de78e9993d4adb024133aa08eeefa4541f9371bbb9598c500b8e4af2618ff9904039bbb086a2fde61b714c6ae20bc466077b1b46601f9d6735
+  data.tar.gz: 6a2eaea1e8da4d1231dbcf4ebb4b4b92e228a03656a89385a439ff651b5dc204a9fb5071e8fb11a0fec35e95e85e6e1c332cc341ecb72302bd3d2623e3779585

data/Gemfile.lock

@@ -0,0 +1,61 @@
+PATH
+  remote: .
+  specs:
+    orthoses (0.4.0)
+      rbs (~> 2.0)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    activesupport (7.0.3)
+      concurrent-ruby (~> 1.0, >= 1.0.2)
+      i18n (>= 1.6, < 2)
+      minitest (>= 5.1)
+      tzinfo (~> 2.0)
+    ast (2.4.2)
+    concurrent-ruby (1.1.10)
+    ffi (1.15.5)
+    i18n (1.10.0)
+      concurrent-ruby (~> 1.0)
+    language_server-protocol (3.16.0.3)
+    listen (3.7.1)
+      rb-fsevent (~> 0.10, >= 0.10.3)
+      rb-inotify (~> 0.9, >= 0.9.10)
+    minitest (5.15.0)
+    parallel (1.22.1)
+    parser (3.1.2.0)
+      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)
+    rgot (1.1.0)
+    steep (1.0.0)
+      activesupport (>= 5.1)
+      language_server-protocol (>= 3.15, < 4.0)
+      listen (~> 3.0)
+      parallel (>= 1.0.0)
+      parser (>= 3.0)
+      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)
+      concurrent-ruby (~> 1.0)
+    unicode-display_width (2.1.0)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  activesupport
+  orthoses!
+  rake (~> 13.0)
+  rgot (~> 1.1)
+  steep
+
+BUNDLED WITH
+   2.3.9

data/README.md

@@ -31,7 +31,7 @@ Orthoses::Builder.new do
       %r{app/models}.match?(path)
     }
   use YourCustom::Middleware
-  use Orthoses::IncludeExtendPrepend
+  use Orthoses::Mixin
   use Orthoses::Constant
   use Orthoses::Walk,
     root: "Foo"
@@ -48,7 +48,7 @@ end.call
 Add constant signature to class/module.
 Signatures are predicted from constant values.
 
-### Orthoses::IncludeExtendPrepend
+### Orthoses::Mixin
 
 Add module include/extend/prepend definition.
 It use `Module#{includeed,extended,prepended}` for capture.
@@ -103,6 +103,22 @@ class Tempfile < File
 end
 ```
 
+### Orthoses::Writer
+
+Write output RBS to `io` option object.
+`io` should be able to call `#write` method.
+This is useful when you want to combine outputs into a single output.
+
+### Orthoses::RBSPrototypeRB
+
+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::AvoidRecursiveAncestorError
+
+Mixin a module into an Object class raises `RBS::RecursiveAncestorError` when validation.
+Please add this middleware then.
 
 ## Development
 

data/examples/minitest/Rakefile

@@ -0,0 +1,48 @@
+file :src do
+  sh "git clone https://github.com/minitest/minitest.git src"
+end
+
+desc "generate minitest"
+task :minitest => :src do
+  $:.unshift(File.expand_path("src/lib"))
+
+  out = Pathname('out')
+  out.rmtree rescue nil
+  require 'orthoses'
+
+  Orthoses::Builder.new do
+    use Orthoses::CreateFileByName,
+      base_dir: out.to_s
+    use Orthoses::Filter, if: ->(name, content) {
+      name.start_with?("Minitest") || name == "Kernel"
+    }
+    use Orthoses::Constant,
+      strict: false,
+      if: ->(current, const, val, rbs){
+        !Orthoses::Utils.rbs_defined_const?("#{current}::#{const}")
+      }
+    use Orthoses::Mixin
+    use Orthoses::RBSPrototypeRB,
+      paths: Dir.glob('src/lib/minitest{.rb,/*.rb}'),
+      constant_filter: ->(_) { false },
+      mixin_filter: ->(_) { false }
+    run ->(){
+      require_relative 'src/lib/minitest'
+      require_relative 'src/lib/minitest/test'
+      require_relative 'src/lib/minitest/spec'
+      require_relative 'src/lib/minitest/parallel'
+      require_relative 'src/lib/minitest/mock'
+      require_relative 'src/lib/minitest/benchmark'
+
+      require_relative 'src/lib/minitest/pride_plugin'
+    }
+  end.call
+
+  sh "rbs -r mutex_m -I #{out} validate --silent"
+  out.join("manifest.yaml").write <<~YAML
+    dependencies:
+      - name: mutex_m
+  YAML
+end
+
+task default: :minitest

data/examples/simple_middleware.rb

@@ -0,0 +1,11 @@
+module Orthoses
+  class Simple
+    def initialize(loader)
+      @loader = loader
+    end
+
+    def call
+      @loader.call
+    end
+  end
+end

data/examples/simple_middleware.rbs

@@ -0,0 +1,7 @@
+module Orthoses
+  class Simple
+    @loader: Orthoses::_Call
+    include Orthoses::_MiddleWare
+    def initialize: (Orthoses::_Call loader) -> void
+  end
+end

data/lib/orthoses/avoid_recursive_ancestor_error.rb

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

data/lib/orthoses/builder.rb

@@ -5,7 +5,7 @@ module Orthoses
   #   Builder.new do
   #     use Orthoses::CreateFileByName
   #     use Orthoses::Constant
-  #     use Orthoses::IncludeExtendPrepend
+  #     use Orthoses::Mixin
   #     use Orthoses::Walk,
   #       root: "Foo"
   #     run ->() { require 'foo' }

data/lib/orthoses/call_tracer.rb

@@ -20,7 +20,7 @@ module Orthoses
     end
 
     def trace(target, &block)
-      TracePoint.new(:call) do |tp|
+      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]
@@ -47,7 +47,8 @@ module Orthoses
           end
         end
         @result << [called_method, argument]
-      end.enable(target: target, &block)
+      end
+      t.enable(target: target, &block)
     end
   end
 end

data/lib/orthoses/content/duplication_checker.rb

@@ -0,0 +1,60 @@
+module Orthoses
+  class Content
+    # Check and drop duplication method, const etc...
+    class DuplicationChecker
+      def initialize(decl)
+        @decl = decl
+      end
+
+      def update_decl
+        uniq_map = {}
+        @decl.members.reverse_each do |member|
+          key = member_key(member)
+          if uniq_map.key?(key)
+            Orthoses.logger.warn("#{@decl.name}::#{member_to_s(member)} was droped since duplication")
+          else
+            uniq_map[key] = member
+          end
+        end
+        drop_known_method_definition(uniq_map)
+        @decl.members.replace(uniq_map.values.reverse)
+      end
+
+      private
+
+      def drop_known_method_definition(uniq_map)
+        env = Utils.rbs_environment(collection: true)
+        if m_entry = env.class_decls[@decl.name.absolute!]
+          m_entry.decls.each do |d|
+            d.decl.members.each do |member|
+              case member
+              when RBS::AST::Members::MethodDefinition, RBS::AST::Members::Alias
+                uniq_map.delete(member_key(member))
+              end
+            end
+          end
+        end
+      end
+
+      def member_to_s(member)
+        out = StringIO.new
+        RBS::Writer.new(out: out).write_member(member)
+        out.string.chomp
+      end
+
+      def member_key(member)
+        case member
+        when RBS::AST::Members::MethodDefinition
+          # member.types.hash is different
+          [member.class, member.name, member.kind]
+        when RBS::AST::Members::LocationOnly
+          [member.class]
+        when RBS::AST::Members::Alias
+          [RBS::AST::Members::MethodDefinition, member.new_name, member.kind]
+        else
+          [member.class, member.name]
+        end
+      end
+    end
+  end
+end

data/lib/orthoses/content/environment.rb

@@ -0,0 +1,72 @@
+module Orthoses
+  class Content
+    class Environment
+      def initialize(constant_filter: nil, mixin_filter: nil)
+        @load_env = RBS::Environment.new
+        @known_env = Utils.rbs_environment(collection: true)
+        @constant_filter = constant_filter
+        @mixin_filter = mixin_filter
+      end
+
+      def <<(decl)
+        if known_class_entry = @known_env.class_decls[decl.name.absolute!]
+          decl.type_params.replace(known_class_entry.primary.decl.type_params)
+        end
+        @load_env << decl
+      rescue RBS::DuplicatedDeclarationError => err
+        Orthoses.logger.warn(err.inspect)
+      end
+
+      def write_to(store:)
+        each do |add_content|
+          content = store[add_content.name]
+          content.header ||= add_content.header
+          content.concat(add_content.body)
+        end
+      end
+
+      def each
+        header_builder = HeaderBuilder.new(env: @load_env)
+
+        @load_env.class_decls.each do |type_name, m_entry|
+          name = type_name.relative!.to_s
+          content = Content.new(name: name)
+          content.header = header_builder.build(entry: m_entry, name_hint: name)
+          decls_to_lines(m_entry.decls.map(&:decl)).each do |line|
+            content << line
+          end
+          yield content
+        end
+
+        @load_env.interface_decls.each do |type_name, s_entry|
+          name = type_name.relative!.to_s
+          content = Content.new(name: name)
+          content.header = header_builder.build(entry: s_entry)
+          decls_to_lines([s_entry.decl]).each do |line|
+            content << line
+          end
+          yield content
+        end
+      end
+
+      def decls_to_lines(decls)
+        out = StringIO.new
+        writer = RBS::Writer.new(out: out)
+        decls.each do |decl|
+          next unless decl.respond_to?(:members)
+          decl.members.each do |member|
+            next if member.respond_to?(:members)
+            case member
+            when RBS::AST::Declarations::Constant
+              next unless @constant_filter.nil? || @constant_filter.call(member)
+            when RBS::AST::Members::Mixin
+              next unless @mixin_filter.nil? || @mixin_filter.call(member)
+            end
+            writer.write_member(member)
+          end
+        end
+        out.string.each_line(chomp: true).to_a
+      end
+    end
+  end
+end

data/lib/orthoses/content/header_builder.rb

@@ -0,0 +1,93 @@
+module Orthoses
+  class Content
+    class HeaderBuilder
+      def initialize(env:)
+        @env = env
+        @resolver = RBS::TypeNameResolver.from_env(env)
+      end
+
+      def build(entry:, name_hint: nil)
+        case entry
+        when RBS::Environment::ModuleEntry
+          build_module(entry: entry, name_hint: name_hint)
+        when RBS::Environment::ClassEntry
+          build_class(entry: entry, name_hint: name_hint)
+        when RBS::Environment::SingleEntry
+          build_interface(entry: entry, name_hint: name_hint)
+        else
+          raise
+        end
+      end
+
+      private
+
+      def build_module(entry:, name_hint: nil)
+        primary = entry.primary
+        full_name = name_hint || primary.decl.name.relative!
+
+        self_types =
+          if primary.decl.self_types.empty?
+            nil
+          else
+            " : #{primary.decl.self_types.join(', ')}"
+          end
+
+        "module #{name_and_params(full_name, primary.decl.type_params)}#{self_types}"
+      end
+
+      def build_class(entry:, name_hint: nil)
+        primary = entry.primary
+        full_name = name_hint || primary.decl.name.relative!
+
+        "class #{name_and_params(full_name, primary.decl.type_params)}#{build_super_class(primary)}"
+      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" } }
+
+        context = primary.outer.length.times.map do |i|
+          primary.outer[0, i + 1].map(&:name).inject(:+).to_namespace.absolute!
+        end
+
+        super_class_name = @resolver.resolve(primary.decl.super_class.name, context: context) || primary.decl.super_class.name
+        if primary.decl.super_class.args.empty?
+          if super_class_entry = @env.class_decls[super_class_name.absolute!]
+            super_primary = super_class_entry.primary
+            " < #{name_and_args(super_class_name, super_primary.decl.type_params.map { :untyped })}"
+          else
+            " < #{name_and_args(super_class_name, [])}"
+          end
+        else
+          " < #{name_and_args(super_class_name, primary.decl.super_class.args)}"
+        end
+      end
+
+      def build_interface(entry:, name_hint: nil)
+        full_name = name_hint || entry.decl.name.relative!
+        "interface #{name_and_params(full_name, entry.decl.type_params)}"
+      end
+
+      def name_and_params(name, params)
+        if params.empty?
+          "#{name}"
+        else
+          ps = params.each.map do |param|
+            param.to_s
+          end
+
+          "#{name}[#{ps.join(", ")}]"
+        end
+      end
+
+      def name_and_args(name, args)
+        if name && args
+          if args.empty?
+            "#{name}"
+          else
+            "#{name}[#{args.join(", ")}]"
+          end
+        end
+      end
+    end
+  end
+end

data/lib/orthoses/content.rb

@@ -1,5 +1,9 @@
 # frozen_string_literal: true
 
+require 'orthoses/content/duplication_checker'
+require 'orthoses/content/environment'
+require 'orthoses/content/header_builder'
+
 module Orthoses
   # Common interface for output.
   # Orthoses::Content expect to use result of middleware.
@@ -17,31 +21,79 @@ module Orthoses
     attr_accessor :header
 
     def initialize(name:)
+      Orthoses.logger.debug("Create Orthoses::Content for #{name}")
       @name = name
       @body = []
       @header = nil
     end
 
     def <<(line)
-      Orthoses.logger.debug("[#{name}] << #{line} on #{__FILE__}:#{__LINE__}")
       @body << line
     end
 
     def concat(other)
-      Orthoses.logger.debug("[#{name}] concat #{other} on #{__FILE__}:#{__LINE__}")
       @body.concat(other)
     end
 
     def to_rbs
-      if @header.nil?
-        auto_header
-      end
-      body_uniq("#{@header}\n#{@body.map { |b| "  #{b}\n" }.join}end\n")
+      auto_header
+      uniqed_body_string
+    end
+
+    def to_decl
+      auto_header
+      uniqed_body_decl
     end
 
     private
 
+    def original_rbs
+      <<~RBS
+        #{@header}
+          #{@body.join("\n")}
+        end
+      RBS
+    end
+
+    def uniqed_body_string
+      out = StringIO.new
+      writer = RBS::Writer.new(out: out)
+      writer.write_decl(uniqed_body_decl)
+      out.string
+    end
+
+    def uniqed_body_decl
+      buffer = RBS::Buffer.new(
+        name: "orthoses/content.rb",
+        content: original_rbs
+      )
+      parsed_decls = RBS::Parser.parse_signature(buffer)
+      unless parsed_decls.length == 1
+        raise "expect decls.length == 1, but got #{parsed_decls.length}"
+      end
+      parsed_decl = parsed_decls.first or raise
+      parsed_decl.tap do |decl|
+        DuplicationChecker.new(decl).update_decl
+      end
+    rescue RBS::ParsingError
+      Orthoses.logger.error "```rbs\n#{original_rbs}```"
+      raise
+    end
+
     def auto_header
+      if name.split('::').last.start_with?('_')
+        self.header = "interface #{name}"
+        return
+      end
+
+      env = Utils.rbs_environment(collection: true)
+      if entry = env.class_decls[TypeName(name).absolute!]
+        @header = Content::HeaderBuilder.new(env: env).build(entry: entry)
+        return
+      end
+
+      return unless @header.nil?
+
       val = Object.const_get(name)
 
       case val
@@ -85,29 +137,5 @@ module Orthoses
         end
       end
     end
-
-    def body_uniq(rbs)
-      buffer = RBS::Buffer.new(
-        name: "orthoses/content.rb",
-        content: rbs
-      )
-      out = StringIO.new
-      writer = RBS::Writer.new(out: out)
-      decls = RBS::Parser.parse_signature(buffer).map do |parsed_decl|
-        before_members = parsed_decl.members.dup
-        parsed_decl.members.uniq! { |m| [m.class, m.respond_to?(:name) ? m.name : nil] }
-        (before_members - parsed_decl.members).each do |droped_member|
-          Orthoses.logger.warn("#{parsed_decl.name}::#{droped_member.name.to_s}: #{droped_member.to_s} was droped since duplication")
-        end
-        parsed_decl
-      end
-      writer.write(decls)
-      out.string
-    rescue RBS::ParsingError
-      puts "```rbs"
-      puts rbs
-      puts "```"
-      raise
-    end
   end
 end

data/lib/orthoses/create_file_by_name.rb

@@ -28,6 +28,12 @@ module Orthoses
       store = @loader.call
 
       store.each do |name, content|
+        rbs = begin
+          content.to_rbs
+        rescue NameError, LoadError => err
+          Orthoses.logger.error(err.inspect)
+          next
+        end
         file_path = Pathname("#{@base_dir}/#{name.to_s.split('::').map(&:underscore).join('/')}.rbs")
         file_path.dirname.mkpath
         file_path.open('w+') do |out|
@@ -35,7 +41,7 @@ module Orthoses
             out.puts @header
             out.puts
           end
-          out.puts content.to_rbs
+          out.puts rbs
         end
         Orthoses.logger.info("Generate file to #{file_path.to_s}")
       end

data/lib/orthoses/delegate_class.rb

@@ -29,17 +29,22 @@ module Orthoses
           next unless subclass_name
           delegate_to_class_name = Utils.module_name(delegate_to_class)
           next unless delegate_to_class_name
-          store[subclass_name].header = "class #{subclass_name} < #{delegate_to_class_name}"
+
+          header = "class #{subclass_name} < ::#{delegate_to_class_name}#{temporary_type_params(delegate_to_class_name)}"
+          store[subclass_name].header = header
         end
       end
       store
     end
 
-    def from_DelegateClass?(klass)
-      klass.name.nil? &&
-        klass.superclass == Delegator &&
-        klass.instance_methods.include?(:__setobj__) &&
-        klass.instance_method(:__setobj__).source_location.first.end_with?("delegate.rb")
+    def temporary_type_params(name)
+      Utils.known_type_params(name)&.then do |params|
+        if params.empty?
+          nil
+        else
+          "[#{params.map { :untyped }.join(', ')}]"
+        end
+      end
     end
   end
 end

data/lib/orthoses/load_rbs.rb

@@ -11,79 +11,16 @@ module Orthoses
 
     def call
       @loader.call.tap do |store|
-        tmp_env = RBS::Environment.new
-
+        env = Content::Environment.new
         @paths.each do |path|
           Orthoses.logger.debug("Load #{path}")
           buffer = RBS::Buffer.new(name: path.to_s, content: File.read(path.to_s, encoding: "UTF-8"))
-          decls = RBS::Parser.parse_signature(buffer)
-          decls.each { |decl| tmp_env << decl }
-        end
-
-        tmp_env.class_decls.each do |type_name, m_entry|
-          name = type_name.relative!.to_s
-          content = store[name]
-          case decl = m_entry.decls.first.decl
-          when RBS::AST::Declarations::Module
-            self_types = decl.self_types.empty? ? nil : " : #{decl.self_types.join(', ')}"
-            content.header = "module #{name_and_params(name, decl.type_params)}#{self_types}"
-          when RBS::AST::Declarations::Class
-            super_class = decl.super_class.nil? ? nil : " < #{name_and_args(decl.super_class.name, decl.super_class.args)}"
-            content.header = "class #{name_and_params(name, decl.type_params)}#{super_class}"
-          end
-          decls_to_lines(m_entry.decls.map(&:decl)).each do |line|
-            content << line
-          end
-        end
-
-        tmp_env.interface_decls.each do |type_name, s_entry|
-          name = type_name.relative!.to_s
-          content = store[name]
-          decl = s_entry.decl
-          content.header = "interface #{name_and_params(name, decl.type_params)}"
-          decls_to_lines([decl]).each do |line|
-            content << line
-          end
-        end
-      end
-    end
-
-    private
-
-    def name_and_params(name, params)
-      if params.empty?
-        "#{name}"
-      else
-        ps = params.each.map do |param|
-          param.to_s
-        end
-
-        "#{name}[#{ps.join(", ")}]"
-      end
-    end
-
-    def name_and_args(name, args)
-      if name && args
-        if args.empty?
-          "#{name}"
-        else
-          "#{name}[#{args.join(", ")}]"
-        end
-      end
-    end
-
-    def decls_to_lines(decls)
-      out = StringIO.new
-      writer = RBS::Writer.new(out: out)
-      decls.each do |decl|
-        if decl.respond_to?(:members)
-          decl.members.each do |member|
-            next if member.respond_to?(:members)
-            writer.write_member(member)
+          RBS::Parser.parse_signature(buffer).each do |decl|
+            env << decl
           end
         end
+        env.write_to(store: store)
       end
-      out.string.each_line(chomp: true).to_a
     end
   end
 end

data/lib/orthoses/{include_extend_prepend.rb → mixin.rb}

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
 module Orthoses
-  class IncludeExtendPrepend
+  class Mixin
     def initialize(loader, if: nil)
       @loader = loader
       @if = binding.local_variable_get(:if)
@@ -37,15 +37,7 @@ module Orthoses
           next unless known_type_params.nil? || known_type_params.empty?
           next unless @if.nil? || @if.call(base_mod, how, mod)
 
-          if base_mod_name == "Object"
-            # avoid RecursiveAncestorError
-            content = store[mod_name]
-            if content.header.nil?
-              content.header = "module #{Utils.module_to_type_name(mod)} : ::BasicObject"
-            end
-          else
-            store[mod_name]
-          end
+          store[mod_name]
 
           "#{how} #{mod_name}"
         end

data/lib/orthoses/rbs_prototype_rb.rb

@@ -0,0 +1,35 @@
+module Orthoses
+  # Call `rbs prototype rb` and add to store
+  #     use Orthoses::RBSPrototypeRB,
+  #       paths: Dir.glob("lib/**/*.rb")
+  class RBSPrototypeRB
+    def initialize(loader, paths:, constant_filter: nil, mixin_filter: nil)
+      @loader = loader
+      @paths = paths
+      @constant_filter = constant_filter
+      @mixin_filter = mixin_filter
+    end
+
+    def call
+      @loader.call.tap do |store|
+        parser = RBS::Prototype::RB.new
+        @paths.each do |path|
+          begin
+            Orthoses.logger.debug("parse #{path} by RBS::Prototype::RB")
+            parser.parse File.read(path.to_s)
+          rescue => err
+            Orthoses.logger.error("Parse error #{err.inspect} by RBS::Prototype::RB #{path}")
+          end
+        end
+        env = Orthoses::Content::Environment.new(
+          constant_filter: @constant_filter,
+          mixin_filter: @mixin_filter,
+        )
+        parser.decls.each do |decl|
+          env << decl
+        end
+        env.write_to(store: store)
+      end
+    end
+  end
+end

data/lib/orthoses/utils.rb

@@ -63,11 +63,11 @@ module Orthoses
       when "stdlib"
         RBS::Repository::DEFAULT_STDLIB_ROOT.each_entry do |path|
           lib = path.to_s
-          loader.add(library: lib.to_s) unless lib == "." || lib == ".."
+          loader.add(library: lib.to_s, version: nil) unless lib == "." || lib == ".."
         end
       else
         Array(library).each do |lib|
-          loader.add(library: lib.to_s)
+          loader.add(library: lib.to_s, version: nil)
         end
       end
 
@@ -117,10 +117,13 @@ module Orthoses
             "{ #{object.map { |k, v| "#{k}: #{object_to_rbs(v, strict: strict)}" }.join(', ')} }"
           else
             keys = object.keys.map { |k| object_to_rbs(k, strict: strict) }.uniq
-            values = object.values.map { |k| object_to_rbs(k, strict: strict) }.uniq
+            values = object.values.map { |v| object_to_rbs(v, strict: strict) }.uniq
             "Hash[#{keys.join(' | ')}, #{values.join(' | ')}]"
           end
         end
+      when ARGF
+        # see also https://github.com/ruby/rbs/pull/975
+        'untyped'
       else
         Utils.module_name(object.class) || 'untyped'
       end

data/lib/orthoses/version.rb

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

data/lib/orthoses/writer.rb

@@ -0,0 +1,16 @@
+module Orthoses
+  class Writer
+    def initialize(loader, io:)
+      @loader = loader
+      @io = io
+    end
+
+    def call
+      @loader.call.tap do |store|
+        store.each do |name, content|
+          @io.write content.to_rbs
+        end
+      end
+    end
+  end
+end

data/lib/orthoses.rb

@@ -3,6 +3,7 @@
 require 'rbs'
 require 'pathname'
 
+require_relative 'orthoses/avoid_recursive_ancestor_error'
 require_relative 'orthoses/builder'
 require_relative 'orthoses/call_tracer'
 require_relative 'orthoses/constant'
@@ -10,15 +11,17 @@ require_relative 'orthoses/content'
 require_relative 'orthoses/create_file_by_name'
 require_relative 'orthoses/delegate_class'
 require_relative 'orthoses/filter'
-require_relative 'orthoses/include_extend_prepend'
+require_relative 'orthoses/mixin'
 require_relative 'orthoses/load_rbs'
 require_relative 'orthoses/object_space_all'
 require_relative 'orthoses/pp'
+require_relative 'orthoses/rbs_prototype_rb'
 require_relative 'orthoses/store'
 require_relative 'orthoses/tap'
 require_relative 'orthoses/utils'
 require_relative 'orthoses/version'
 require_relative 'orthoses/walk'
+require_relative 'orthoses/writer'
 
 module Orthoses
   class ConstLoadError < StandardError

data/sig/orthoses/avoid_recursive_ancestor_error.rbs

@@ -0,0 +1,7 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::AvoidRecursiveAncestorError
+  @loader: Orthoses::_Call
+  include Orthoses::_MiddleWare
+  def initialize: (Orthoses::_Call loader) -> void
+end

data/sig/orthoses/call_tracer.rbs

@@ -2,4 +2,5 @@
 
 class Orthoses::CallTracer
   attr_accessor result: Array[[ Method, Hash[Symbol, untyped] ]]
+  def trace: [T] (Method | UnboundMethod) ?{ () -> T } -> T
 end

data/sig/orthoses/content/duplication_checker.rbs

@@ -0,0 +1,4 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::Content::DuplicationChecker
+end

data/sig/orthoses/content/environment.rbs

@@ -0,0 +1,13 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::Content::Environment
+  type constant_filter = ^(RBS::AST::Declarations::Constant) -> boolish
+  type mixin_filter = ^(RBS::AST::Members::Mixin) -> boolish
+  @env: RBS::Environment
+  @constant_filter: constant_filter?
+  @mixin_filter: mixin_filter?
+  def initialize: (?constant_filter: constant_filter?, ?mixin_filter: mixin_filter?) -> void
+  def <<: (RBS::AST::Declarations::t decl) -> RBS::Environment
+  def write_to: (store: Orthoses::store) -> void
+  def each: () { (Orthoses::Content) -> void } -> void
+end

data/sig/orthoses/content.rbs

@@ -8,4 +8,7 @@ class Orthoses::Content
   def <<: (String) -> void
   def concat: (Array[String]) -> void
   def to_rbs: () -> String
+  private
+  def uniqed_body_string: () -> String
+  def uniqed_body_decl: () -> RBS::AST::Declarations::t
 end

data/sig/orthoses/delegate_class.rbs

@@ -1,4 +1,7 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 class Orthoses::DelegateClass
+  @loader: Orthoses::_Call
+  include Orthoses::_MiddleWare
+  def initialize: (Orthoses::_Call loader) -> void
 end

data/sig/orthoses/load_rbs.rbs

@@ -1,4 +1,8 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 class Orthoses::LoadRBS
+  @loader: Orthoses::_Call
+  @paths: Array[_ToS]
+  include Orthoses::_MiddleWare
+  def initialize: (Orthoses::_Call loader, paths: Array[_ToS]) -> void
 end

data/sig/orthoses/{include_extend_prepend.rbs → mixin.rbs}

@@ -1,4 +1,4 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
-class Orthoses::IncludeExtendPrepend
+class Orthoses::Mixin
 end

data/sig/orthoses/object_space_all.rbs

@@ -1,4 +1,7 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 class Orthoses::ObjectSpaceAll
+  @loader: Orthoses::_Call
+  include Orthoses::_MiddleWare
+  def initialize: (Orthoses::_Call loader, ?if: ^(Module) -> boolish) -> void
 end

data/sig/orthoses/rbs_prototype_rb.rbs

@@ -0,0 +1,10 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::RBSPrototypeRB
+  @loader: Orthoses::_Call
+  include Orthoses::_MiddleWare
+  def initialize: (Orthoses::_Call loader, paths: Array[_ToS], ?constant_filter: Orthoses::Content::Environment::constant_filter?, ?mixin_filter: Orthoses::Content::Environment::mixin_filter?) -> void
+  @paths: Array[_ToS]
+  @constant_filter: Orthoses::Content::Environment::constant_filter?
+  @mixin_filter: Orthoses::Content::Environment::mixin_filter?
+end

data/sig/orthoses/tap.rbs

@@ -1,4 +1,7 @@
 # THIS IS GENERATED CODE from `$ rake generate_self_sig`
 
 class Orthoses::Tap
+  @loader: Orthoses::_Call
+  include Orthoses::_MiddleWare
+  def initialize: (Orthoses::_Call loader) -> void
 end

data/sig/orthoses/writer.rbs

@@ -0,0 +1,7 @@
+# THIS IS GENERATED CODE from `$ rake generate_self_sig`
+
+class Orthoses::Writer
+  @loader: Orthoses::_Call
+  include Orthoses::_MiddleWare
+  def initialize: (Orthoses::_Call loader, io: _Writer) -> void
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: orthoses
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.4.0
 platform: ruby
 authors:
 - ksss
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2022-05-08 00:00:00.000000000 Z
+date: 2022-05-23 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -33,47 +33,62 @@ extra_rdoc_files: []
 files:
 - CODE_OF_CONDUCT.md
 - Gemfile
+- Gemfile.lock
 - LICENSE.txt
 - README.md
+- examples/minitest/Rakefile
+- examples/simple_middleware.rb
+- examples/simple_middleware.rbs
 - lib/orthoses.rb
+- lib/orthoses/avoid_recursive_ancestor_error.rb
 - lib/orthoses/builder.rb
 - lib/orthoses/call_tracer.rb
 - lib/orthoses/constant.rb
 - lib/orthoses/content.rb
+- lib/orthoses/content/duplication_checker.rb
+- lib/orthoses/content/environment.rb
+- lib/orthoses/content/header_builder.rb
 - lib/orthoses/create_file_by_name.rb
 - lib/orthoses/delegate_class.rb
 - lib/orthoses/filter.rb
-- lib/orthoses/include_extend_prepend.rb
 - lib/orthoses/load_rbs.rb
+- lib/orthoses/mixin.rb
 - lib/orthoses/object_space_all.rb
 - lib/orthoses/pp.rb
+- lib/orthoses/rbs_prototype_rb.rb
 - lib/orthoses/store.rb
 - lib/orthoses/tap.rb
 - lib/orthoses/utils.rb
 - lib/orthoses/version.rb
 - lib/orthoses/walk.rb
+- lib/orthoses/writer.rb
 - orthoses.gemspec
 - sig/orthoses.rbs
 - sig/orthoses/_call.rbs
 - sig/orthoses/_middle_ware.rbs
+- sig/orthoses/avoid_recursive_ancestor_error.rbs
 - sig/orthoses/builder.rbs
 - sig/orthoses/builder/call_logable.rbs
 - sig/orthoses/call_tracer.rbs
 - sig/orthoses/const_load_error.rbs
 - sig/orthoses/constant.rbs
 - sig/orthoses/content.rbs
+- sig/orthoses/content/duplication_checker.rbs
+- sig/orthoses/content/environment.rbs
 - sig/orthoses/create_file_by_name.rbs
 - sig/orthoses/delegate_class.rbs
 - sig/orthoses/filter.rbs
-- sig/orthoses/include_extend_prepend.rbs
 - sig/orthoses/load_rbs.rbs
+- sig/orthoses/mixin.rbs
 - sig/orthoses/name_space_error.rbs
 - sig/orthoses/object_space_all.rbs
 - sig/orthoses/pp.rbs
+- sig/orthoses/rbs_prototype_rb.rbs
 - sig/orthoses/store.rbs
 - sig/orthoses/tap.rbs
 - sig/orthoses/utils.rbs
 - sig/orthoses/walk.rbs
+- sig/orthoses/writer.rbs
 homepage: https://github.com/ksss/orthoses
 licenses:
 - MIT
@@ -95,7 +110,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.4.0.dev
+rubygems_version: 3.3.7
 signing_key:
 specification_version: 4
 summary: Framework for Generate RBS