ruby_mod_kit 0.0.2 → 0.0.3

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
-    @def_parents_memo: Hash[Integer, Memo::DefParent]
-
-    @methods_memo: Hash[Integer, Memo::Method]
-
-    @parameters_memo: Hash[Integer, Memo::Parameter]
-
-    attr_reader def_parents_memo: Hash[Integer, Memo::DefParent]
-
-    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 def_parent_node: Node::DefParentNode
-    # @rbs return: Memo::DefParent
-    def def_parent_memo: (Node::DefParentNode def_parent_node) -> Memo::DefParent
-
-    # @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

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

@@ -1,29 +1,31 @@
 # Generated from lib/ruby_mod_kit/node/def_parent_node.rb with RBS::Inline
 
 module RubyModKit
-  class Node
+  module Node
     # Transpiler program node
-    class DefParentNode < Node
+    class DefParentNode < Node::BaseNode
       @prism_node: Prism::ClassNode | Prism::ModuleNode
 
       @body_node: nil | Node::StatementsNode
 
-      @parent: Node
+      @parent: Node::BaseNode
+
+      @prev: Node::BaseNode | nil
 
       attr_reader prism_node: Prism::ClassNode | Prism::ModuleNode
 
-      attr_reader body_node: nil | Node::StatementsNode
+      attr_reader parent: Node::BaseNode
 
-      attr_reader parent: Node
+      attr_reader prev: Node::BaseNode | nil
 
       # @rbs prism_node: Prism::ClassNode | Prism::ModuleNode
-      # @rbs parent: Node
+      # @rbs parent: Node::BaseNode
+      # @rbs prev: Node::BaseNode | nil
       # @rbs return: void
-      def initialize: (Prism::ClassNode | Prism::ModuleNode prism_node, parent: Node) -> void
+      def initialize: (Prism::ClassNode | Prism::ModuleNode prism_node, parent: Node::BaseNode, ?prev: Node::BaseNode | nil) -> void
 
-      # @rbs child_prism_node: Prism::Node
-      # @rbs return: Node
-      def wrap: (Prism::Node child_prism_node) -> Node
+      # @rbs return: nil | Node::StatementsNode
+      def body_node: () -> (nil | Node::StatementsNode)
     end
   end
 end

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

@@ -1,23 +1,28 @@
 # Generated from lib/ruby_mod_kit/node/parameter_node.rb with RBS::Inline
 
 module RubyModKit
-  class Node
+  module Node
     # Transpiler program node
-    class ParameterNode < Node
-      type prism_node = Prism::RequiredParameterNode | Prism::OptionalKeywordParameterNode | Prism::OptionalParameterNode | Prism::RequiredKeywordParameterNode | Prism::RestParameterNode
-
+    class ParameterNode < Node::BaseNode
       @prism_node: prism_node
 
-      @parent: Node
+      @parent: Node::BaseNode
+
+      @prev: Node::BaseNode | nil
+
+      type prism_node = Prism::RequiredParameterNode | Prism::OptionalKeywordParameterNode | Prism::OptionalParameterNode | Prism::RequiredKeywordParameterNode | Prism::RestParameterNode
 
       attr_reader prism_node: prism_node
 
-      attr_reader parent: Node
+      attr_reader parent: Node::BaseNode
+
+      attr_reader prev: Node::BaseNode | nil
 
       # @rbs prism_node: prism_node
-      # @rbs parent: Node
+      # @rbs parent: Node::BaseNode
+      # @rbs prev: Node::BaseNode | nil
       # @rbs return: void
-      def initialize: (prism_node prism_node, parent: Node) -> void
+      def initialize: (prism_node prism_node, parent: Node::BaseNode, ?prev: Node::BaseNode | nil) -> void
 
       # @rbs return: Symbol | nil
       def name: () -> (Symbol | nil)

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

@@ -1,9 +1,9 @@
 # Generated from lib/ruby_mod_kit/node/program_node.rb with RBS::Inline
 
 module RubyModKit
-  class Node
+  module Node
     # Transpiler program node
-    class ProgramNode < Node
+    class ProgramNode < Node::BaseNode
       @prism_node: Prism::ProgramNode
 
       attr_reader prism_node: Prism::ProgramNode

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

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

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

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