ruby_mod_kit 0.0.1 → 0.0.3

data/sig/generated/ruby_mod_kit/feature/type/rbs_inline/type_overload_mission.rbs

@@ -0,0 +1,19 @@
+# Generated from lib/ruby_mod_kit/feature/type/rbs_inline/type_overload_mission.rb with RBS::Inline
+
+module RubyModKit
+  class Feature
+    class Type
+      class RbsInline
+        # The mission for parameter types
+        class TypeOverloadMission < Mission
+          # @rbs generation: Generation
+          # @rbs root_node: Node::ProgramNode
+          # @rbs parse_result: Prism::ParseResult
+          # @rbs memo_pad: MemoPad
+          # @rbs return: bool
+          def perform: (Generation generation, Node::ProgramNode root_node, Prism::ParseResult parse_result, MemoPad memo_pad) -> bool
+        end
+      end
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/feature/type/rbs_inline/type_parameter_mission.rbs

@@ -0,0 +1,19 @@
+# Generated from lib/ruby_mod_kit/feature/type/rbs_inline/type_parameter_mission.rb with RBS::Inline
+
+module RubyModKit
+  class Feature
+    class Type
+      class RbsInline
+        # The mission for parameter types
+        class TypeParameterMission < Mission
+          # @rbs generation: Generation
+          # @rbs root_node: Node::ProgramNode
+          # @rbs parse_result: Prism::ParseResult
+          # @rbs memo_pad: MemoPad
+          # @rbs return: bool
+          def perform: (Generation generation, Node::ProgramNode root_node, Prism::ParseResult parse_result, MemoPad memo_pad) -> bool
+        end
+      end
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/feature/type/rbs_inline/type_return_mission.rbs

@@ -0,0 +1,19 @@
+# Generated from lib/ruby_mod_kit/feature/type/rbs_inline/type_return_mission.rb with RBS::Inline
+
+module RubyModKit
+  class Feature
+    class Type
+      class RbsInline
+        # The mission for parameter types
+        class TypeReturnMission < Mission
+          # @rbs generation: Generation
+          # @rbs root_node: Node::ProgramNode
+          # @rbs parse_result: Prism::ParseResult
+          # @rbs memo_pad: MemoPad
+          # @rbs return: bool
+          def perform: (Generation generation, Node::ProgramNode root_node, Prism::ParseResult parse_result, MemoPad memo_pad) -> bool
+        end
+      end
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/feature/type/rbs_inline.rbs

@@ -0,0 +1,13 @@
+# Generated from lib/ruby_mod_kit/feature/type/rbs_inline.rb with RBS::Inline
+
+module RubyModKit
+  class Feature
+    class Type
+      # namespace for type with rbs-line feature
+      class RbsInline < Feature
+        # @rbs return: Array[Mission]
+        def create_missions: () -> Array[Mission]
+      end
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/feature/type/return_value_colon_corrector.rbs

@@ -0,0 +1,20 @@
+# Generated from lib/ruby_mod_kit/feature/type/return_value_colon_corrector.rb with RBS::Inline
+
+module RubyModKit
+  class Feature
+    class Type
+      # the class to correct `def foo: Some ...` -> `def foo ...`
+      class ReturnValueColonCorrector < Corrector
+        # @rbs return: Array[Symbol]
+        def correctable_error_types: () -> Array[Symbol]
+
+        # @rbs parse_error: Prism::ParseError
+        # @rbs generation: Generation
+        # @rbs root_node: Node::ProgramNode
+        # @rbs memo_pad: MemoPad
+        # @rbs return: void
+        def correct: (Prism::ParseError parse_error, Generation generation, Node::ProgramNode root_node, MemoPad memo_pad) -> void
+      end
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/feature/type/type_attr_mission.rbs

@@ -0,0 +1,20 @@
+# Generated from lib/ruby_mod_kit/feature/type/type_attr_mission.rb with RBS::Inline
+
+module RubyModKit
+  class Feature
+    class Type
+      # The mission for parameter attributes
+      class TypeAttrMission < Mission
+        # @rbs return: void
+        def initialize: () -> void
+
+        # @rbs generation: Generation
+        # @rbs root_node: Node::ProgramNode
+        # @rbs _parse_result: Prism::ParseResult
+        # @rbs memo_pad: MemoPad
+        # @rbs return: bool
+        def perform: (Generation generation, Node::ProgramNode root_node, untyped _parse_result, MemoPad memo_pad) -> bool
+      end
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/feature/type.rbs

@@ -0,0 +1,14 @@
+# Generated from lib/ruby_mod_kit/feature/type.rb with RBS::Inline
+
+module RubyModKit
+  class Feature
+    # namespace for type feature
+    class Type < Feature
+      # @rbs return: Array[Corrector]
+      def create_correctors: () -> Array[Corrector]
+
+      # @rbs return: Array[Mission]
+      def create_missions: () -> Array[Mission]
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/feature.rbs

@@ -0,0 +1,16 @@
+# Generated from lib/ruby_mod_kit/feature.rb with RBS::Inline
+
+module RubyModKit
+  # the base class of feature
+  class Feature
+    # @rbs other: Feature
+    # @rbs return: -1 | 0 | 1 | nil
+    def <=>: (Feature other) -> (-1 | 0 | 1 | nil)
+
+    # @rbs return: Array[Corrector]
+    def create_correctors: () -> Array[Corrector]
+
+    # @rbs return: Array[Mission]
+    def create_missions: () -> Array[Mission]
+  end
+end

data/sig/generated/ruby_mod_kit/generation.rbs

@@ -9,7 +9,7 @@ module RubyModKit
 
     @missions: Array[Mission]
 
-    @memo: Memo
+    @memo_pad: MemoPad
 
     @root_node: Node::ProgramNode
 
@@ -19,17 +19,23 @@ module RubyModKit
 
     @filename: String | nil
 
+    @corrector_manager: CorrectorManager
+
+    @features: Array[Feature]
+
     attr_reader parse_result: Prism::ParseResult
 
     attr_reader script: String
 
     # @rbs script: String
     # @rbs missions: Array[Mission]
-    # @rbs memo: Memo
+    # @rbs memo_pad: MemoPad | nil
     # @rbs generation_num: Integer
     # @rbs filename: String | nil
+    # @rbs corrector_manager: CorrectorManager | nil
+    # @rbs features: Array[Feature] | nil
     # @rbs return: void
-    def initialize: (String script, ?missions: Array[Mission], ?memo: Memo, ?generation_num: Integer, ?filename: String | nil) -> void
+    def initialize: (String script, ?missions: Array[Mission], ?memo_pad: MemoPad | nil, ?generation_num: Integer, ?filename: String | nil, ?corrector_manager: CorrectorManager | nil, ?features: Array[Feature] | nil) -> void
 
     # @rbs return: void
     def init_missions: () -> void
@@ -43,9 +49,6 @@ module RubyModKit
     # @rbs return: String
     def name: () -> String
 
-    # @rbs return: void
-    def resolve: () -> void
-
     # @rbs return: bool
     def completed?: () -> bool
 
@@ -59,20 +62,24 @@ module RubyModKit
     # @rbs return: String
     def []: (Range[Integer] src_range) -> String
 
+    # @rbs offset: Integer
+    # @rbs return: String
+    def line_by_offset: (Integer offset) -> String
+
     # @rbs (Integer) -> String
-    #    | (Node) -> String
+    #    | (Node::BaseNode) -> String
     #    | (Prism::ParseError) -> String
     def line: (Integer) -> String
-            | (Node) -> String
+            | (Node::BaseNode) -> String
             | (Prism::ParseError) -> String
 
     # @rbs line_num: Integer
     # @rbs return: String
     def line__overload0: (Integer line_num) -> String
 
-    # @rbs node: Node
+    # @rbs node: Node::BaseNode
     # @rbs return: String
-    def line__overload1: (Node node) -> String
+    def line__overload1: (Node::BaseNode node) -> String
 
     # @rbs parse_error: Prism::ParseError
     # @rbs return: String
@@ -91,11 +98,19 @@ module RubyModKit
     # @rbs return: Integer | nil
     def src_offset__overload1: (Prism::ParseError parse_error) -> (Integer | nil)
 
+    # @rbs return: void
+    def perform_corrector: () -> void
+
     # @rbs return: void
     def perform_missions: () -> void
 
     # @rbs mission: Mission
     # @rbs return: void
     def add_mission: (Mission mission) -> void
+
+    # @rbs src: String
+    # @rbs filename: String | nil
+    # @rbs return: Generation
+    def self.resolve: (String src, ?filename: String | nil) -> Generation
   end
 end

data/sig/generated/ruby_mod_kit/memo/def_parent_memo.rbs

@@ -0,0 +1,24 @@
+# Generated from lib/ruby_mod_kit/memo/def_parent_memo.rb with RBS::Inline
+
+module RubyModKit
+  module Memo
+    # The memo for def parent (class, module)
+    class DefParentMemo < OffsetMemo
+      @ivars_memo: Hash[Symbol, Memo::IvarMemo]
+
+      attr_reader ivars_memo: Hash[Symbol, Memo::IvarMemo]
+
+      # @rbs def_parent_node: Node::DefParentNode
+      # @rbs return: void
+      def initialize: (Node::DefParentNode def_parent_node) -> void
+
+      # @rbs name: Symbol
+      # @rbs return: Memo::IvarMemo
+      def ivar_memo: (Symbol name) -> Memo::IvarMemo
+
+      # @rbs offset_diff: OffsetDiff
+      # @rbs return: void
+      def succ: (OffsetDiff offset_diff) -> void
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/memo/{ivar.rbs → ivar_memo.rbs}

@@ -1,19 +1,27 @@
-# Generated from lib/ruby_mod_kit/memo/ivar.rb with RBS::Inline
+# Generated from lib/ruby_mod_kit/memo/ivar_memo.rb with RBS::Inline
 
 module RubyModKit
-  class Memo
+  module Memo
     # The memo for parameter type
-    class Ivar
+    class IvarMemo
       @type: nil | String
 
       @attr_kind: nil | Symbol
 
+      @offset: nil | Integer
+
+      @indent: String
+
       @name: Symbol
 
       attr_reader type: nil | String
 
       attr_reader attr_kind: nil | Symbol
 
+      attr_accessor offset: nil | Integer
+
+      attr_accessor indent: String
+
       # @rbs name: Symbol
       # @rbs return: void
       def initialize: (Symbol name) -> void
@@ -25,6 +33,10 @@ module RubyModKit
       # @rbs kind: Symbol | String
       # @rbs return: void
       def attr_kind=: (Symbol | String kind) -> void
+
+      # @rbs offset_diff: OffsetDiff
+      # @rbs return: void
+      def succ: (OffsetDiff offset_diff) -> void
     end
   end
 end

data/sig/generated/ruby_mod_kit/memo/{method.rbs → method_memo.rbs}

@@ -1,18 +1,18 @@
-# Generated from lib/ruby_mod_kit/memo/method.rb with RBS::Inline
+# Generated from lib/ruby_mod_kit/memo/method_memo.rb with RBS::Inline
 
 module RubyModKit
-  class Memo
+  module Memo
     # The memo for parameter type
-    class Method < OffsetMemo
+    class MethodMemo < OffsetMemo
       @name: Symbol
 
-      @parameters: Set[Memo::Parameter]
+      @parameters: Set[Memo::ParameterMemo]
 
       @type: String
 
       attr_reader name: Symbol
 
-      attr_reader parameters: Set[Memo::Parameter]
+      attr_reader parameters: Set[Memo::ParameterMemo]
 
       attr_reader type: String
 
@@ -22,9 +22,9 @@ module RubyModKit
       # @rbs return: void
       def initialize: (Node::DefNode node) -> void
 
-      # @rbs parameter_memo: Memo::Parameter
-      # @rbs return: Memo::Parameter
-      def add_parameter: (Memo::Parameter parameter_memo) -> Memo::Parameter
+      # @rbs parameter_memo: Memo::ParameterMemo
+      # @rbs return: Memo::ParameterMemo
+      def add_parameter: (Memo::ParameterMemo parameter_memo) -> Memo::ParameterMemo
 
       # @rbs return: bool
       def untyped?: () -> bool

data/sig/generated/ruby_mod_kit/memo/offset_memo.rbs

@@ -1,7 +1,7 @@
 # Generated from lib/ruby_mod_kit/memo/offset_memo.rb with RBS::Inline
 
 module RubyModKit
-  class Memo
+  module Memo
     # The base class for located memo
     class OffsetMemo
       @offset: Integer

data/sig/generated/ruby_mod_kit/memo/overload_memo.rbs

@@ -0,0 +1,32 @@
+# Generated from lib/ruby_mod_kit/memo/overload_memo.rb with RBS::Inline
+
+module RubyModKit
+  module Memo
+    # The memo for parameter type
+    class OverloadMemo < OffsetMemo
+      @name: Symbol
+
+      @overload_types: [ [ Array[String], String ] ]
+
+      @offset_corrected: bool
+
+      attr_reader name: Symbol
+
+      attr_reader overload_types: [ [ Array[String], String ] ]
+
+      # @rbs offset: Integer
+      # @rbs name: Symbol
+      # @rbs return: void
+      def initialize: (Integer offset, Symbol name) -> void
+
+      # @rbs root_node: Node::ProgramNode
+      # @rbs return: Integer
+      def correct_offset: (Node::ProgramNode root_node) -> Integer
+
+      # @rbs parameter_types: Array[String]
+      # @rbs return_value_type: String
+      # @rbs return: void
+      def add_overload_type: (Array[String] parameter_types, String return_value_type) -> void
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/memo/{parameter.rbs → parameter_memo.rbs}

@@ -1,9 +1,9 @@
-# Generated from lib/ruby_mod_kit/memo/parameter.rb with RBS::Inline
+# Generated from lib/ruby_mod_kit/memo/parameter_memo.rb with RBS::Inline
 
 module RubyModKit
-  class Memo
+  module Memo
     # The memo for parameter type
-    class Parameter < OffsetMemo
+    class ParameterMemo < OffsetMemo
       @type: String
 
       @ivar_parameter: bool

data/sig/generated/ruby_mod_kit/memo.rbs

@@ -1,41 +1,7 @@
 # Generated from lib/ruby_mod_kit/memo.rb with RBS::Inline
 
 module RubyModKit
-  # The class of transpiler generation.
-  class Memo
-    @classes_memo: Hash[Integer, Memo::Class]
-
-    @methods_memo: Hash[Integer, Memo::Method]
-
-    @parameters_memo: Hash[Integer, Memo::Parameter]
-
-    attr_reader classes_memo: Hash[Integer, Memo::Class]
-
-    attr_reader methods_memo: Hash[Integer, Memo::Method]
-
-    attr_reader parameters_memo: Hash[Integer, Memo::Parameter]
-
-    # @rbs return: void
-    def initialize: () -> void
-
-    # @rbs offset_diff: OffsetDiff
-    # @rbs return: void
-    def succ: (OffsetDiff offset_diff) -> void
-
-    # @rbs class_node: Node::ClassNode
-    # @rbs return: Memo::Class
-    def class_memo: (Node::ClassNode class_node) -> Memo::Class
-
-    # @rbs def_node: Node::DefNode
-    # @rbs return: Memo::Method
-    def method_memo: (Node::DefNode def_node) -> Memo::Method
-
-    # @rbs node: Node
-    # @rbs return: Memo::Parameter
-    def parameter_memo: (Node node) -> Memo::Parameter
-
-    # @rbs type: String
-    # @rbs return: String
-    def self.unify_type: (String type) -> String
+  # The namespace of transpiler memo.
+  module Memo
   end
 end

data/sig/generated/ruby_mod_kit/memo_pad.rbs

@@ -0,0 +1,46 @@
+# Generated from lib/ruby_mod_kit/memo_pad.rb with RBS::Inline
+
+module RubyModKit
+  # The class for bundling memos.
+  class MemoPad
+    @def_parents_memo: Hash[Integer, Memo::DefParentMemo]
+
+    @methods_memo: Hash[Integer, Memo::MethodMemo]
+
+    @parameters_memo: Hash[Integer, Memo::ParameterMemo]
+
+    @overloads_memo: Hash[Integer, Memo::OverloadMemo]
+
+    attr_reader def_parents_memo: Hash[Integer, Memo::DefParentMemo]
+
+    attr_reader methods_memo: Hash[Integer, Memo::MethodMemo]
+
+    attr_reader parameters_memo: Hash[Integer, Memo::ParameterMemo]
+
+    attr_reader overloads_memo: Hash[Integer, Memo::OverloadMemo]
+
+    # @rbs return: void
+    def initialize: () -> void
+
+    # @rbs offset_diff: OffsetDiff
+    # @rbs return: void
+    def succ: (OffsetDiff offset_diff) -> void
+
+    # @rbs def_parent_node: Node::DefParentNode
+    # @rbs return: Memo::DefParentMemo
+    def def_parent_memo: (Node::DefParentNode def_parent_node) -> Memo::DefParentMemo
+
+    # @rbs def_node: Node::DefNode
+    # @rbs return: Memo::MethodMemo
+    def method_memo: (Node::DefNode def_node) -> Memo::MethodMemo
+
+    # @rbs offset: Integer
+    # @rbs name: Symbol
+    # @rbs return: Memo::OverloadMemo
+    def overload_memo: (Integer offset, Symbol name) -> Memo::OverloadMemo
+
+    # @rbs node: Node::BaseNode
+    # @rbs return: Memo::ParameterMemo
+    def parameter_memo: (Node::BaseNode node) -> Memo::ParameterMemo
+  end
+end

data/sig/generated/ruby_mod_kit/mission.rbs

@@ -1,22 +1,14 @@
 # Generated from lib/ruby_mod_kit/mission.rb with RBS::Inline
 
 module RubyModKit
-  # The class of transpiler mission.
+  # The base class of transpiler mission.
   class Mission
-    @offset: Integer
-
-    attr_accessor offset: Integer
-
-    # @rbs offset: Integer
-    # @rbs return: void
-    def initialize: (Integer offset) -> void
-
     # @rbs _generation: Generation
-    # @rbs _root_node: Node
+    # @rbs _root_node: Node::ProgramNode
     # @rbs _parse_result: Prism::ParseResult
-    # @rbs _memo: Memo
+    # @rbs _memo_pad: MemoPad
     # @rbs return: void
-    def perform: (untyped _generation, untyped _root_node, untyped _parse_result, untyped _memo) -> void
+    def perform: (untyped _generation, untyped _root_node, untyped _parse_result, untyped _memo_pad) -> void
 
     # @rbs offset_diff: OffsetDiff
     # @rbs return: void

data/sig/generated/ruby_mod_kit/node/base_node.rbs

@@ -0,0 +1,65 @@
+# Generated from lib/ruby_mod_kit/node/base_node.rb with RBS::Inline
+
+module RubyModKit
+  module Node
+    # The class of transpile node.
+    class BaseNode
+      @location: Prism::Location
+
+      @children: Array[Node::BaseNode]
+
+      @ancestors: Array[Node::BaseNode]
+
+      @prev: Node::BaseNode | nil
+
+      attr_reader location: Prism::Location
+
+      attr_reader prev: Node::BaseNode | nil
+
+      # @rbs return: void
+      def initialize: () -> void
+
+      # @rbs return: Array[Node::BaseNode]
+      def children: () -> Array[Node::BaseNode]
+
+      # @rbs return: Array[Node::BaseNode]
+      def ancestors: () -> Array[Node::BaseNode]
+
+      # @rbs return: Symbol
+      def name: () -> Symbol
+
+      # @rbs offset: Integer
+      # @rbs return: Node::BaseNode | nil
+      def node_at: (Integer offset) -> (Node::BaseNode | nil)
+
+      # @rbs offset: Integer
+      # @rbs return: Node::StatementsNode | nil
+      def statements_node_at: (Integer offset) -> (Node::StatementsNode | nil)
+
+      # @rbs offset: Integer
+      # @rbs return: Node::DefNode | nil
+      def def_node_at: (Integer offset) -> (Node::DefNode | nil)
+
+      # @rbs offset: Integer
+      # @rbs return: Node::ParameterNode | nil
+      def parameter_node_at: (Integer offset) -> (Node::ParameterNode | nil)
+
+      # @rbs offset: Integer
+      # @rbs return: Node::DefParentNode | nil
+      def def_parent_node_at: (Integer offset) -> (Node::DefParentNode | nil)
+
+      # @rbs offset: Integer
+      # @rbs return: bool
+      def include?: (Integer offset) -> bool
+
+      # @rbs return: Prism::Node & Prism::_Node
+      def prism_node: () -> (Prism::Node & Prism::_Node)
+
+      # @rbs return: Integer
+      def offset: () -> Integer
+
+      # @rbs return: String
+      def inspect: () -> String
+    end
+  end
+end

data/sig/generated/ruby_mod_kit/node/call_node.rbs

@@ -1,25 +1,30 @@
 # Generated from lib/ruby_mod_kit/node/call_node.rb with RBS::Inline
 
 module RubyModKit
-  class Node
+  module Node
     # Transpiler method call node
-    class CallNode < Node
+    class CallNode < Node::BaseNode
       @prism_node: Prism::CallNode
 
       @name: Symbol
 
-      @parent: Node
+      @parent: Node::BaseNode
+
+      @prev: Node::BaseNode | nil
 
       attr_reader prism_node: Prism::CallNode
 
       attr_reader name: Symbol
 
-      attr_reader parent: Node
+      attr_reader parent: Node::BaseNode
+
+      attr_reader prev: Node::BaseNode | nil
 
       # @rbs prism_node: Prism::CallNode
-      # @rbs parent: Node
+      # @rbs parent: Node::BaseNode
+      # @rbs prev: Node::BaseNode | nil
       # @rbs return: void
-      def initialize: (Prism::CallNode prism_node, parent: Node) -> void
+      def initialize: (Prism::CallNode prism_node, parent: Node::BaseNode, ?prev: Node::BaseNode | nil) -> void
     end
   end
 end

data/sig/generated/ruby_mod_kit/node/def_node.rbs

@@ -1,21 +1,26 @@
 # Generated from lib/ruby_mod_kit/node/def_node.rb with RBS::Inline
 
 module RubyModKit
-  class Node
+  module Node
     # Transpiler program node
-    class DefNode < Node
+    class DefNode < Node::BaseNode
       @prism_node: Prism::DefNode
 
-      @parent: Node
+      @parent: Node::BaseNode
+
+      @prev: Node::BaseNode | nil
 
       attr_reader prism_node: Prism::DefNode
 
-      attr_reader parent: Node
+      attr_reader parent: Node::BaseNode
+
+      attr_reader prev: Node::BaseNode | nil
 
       # @rbs prism_node: Prism::DefNode
-      # @rbs parent: Node
+      # @rbs parent: Node::BaseNode
+      # @rbs prev: Node::BaseNode | nil
       # @rbs return: void
-      def initialize: (Prism::DefNode prism_node, parent: Node) -> void
+      def initialize: (Prism::DefNode prism_node, parent: Node::BaseNode, ?prev: Node::BaseNode | nil) -> void
 
       # @rbs return: Symbol
       def name: () -> Symbol