sig/raap.rbs in raap-0.2.0 vs sig/raap.rbs in raap-0.3.0

@@ -17,19 +17,19 @@
     def self.inspect: (untyped) -> String
   end
 
   class CLI
     class Option < ::Struct[untyped]
-      def self.new: (?dirs: ::Array[String], ?requires: ::Array[String], ?libraries: ::Array[String], ?timeout: (Integer | Float | nil), ?size_from: ::Integer, ?size_to: ::Integer, ?size_by: ::Integer) -> instance
+      def self.new: (?dirs: ::Array[String], ?requires: ::Array[String], ?libraries: ::Array[String], ?timeout: (Integer | Float | nil), ?size_from: ::Integer, ?size_to: ::Integer, ?size_by: ::Integer, ?allow_private: bool) -> instance
 
-      def self.[]: (?dirs: ::Array[String], ?requires: ::Array[String], ?libraries: ::Array[String], ?timeout: (Integer | Float | nil), ?size_from: ::Integer, ?size_to: ::Integer, ?size_by: ::Integer) -> instance
+      def self.[]: (?dirs: ::Array[String], ?requires: ::Array[String], ?libraries: ::Array[String], ?timeout: (Integer | Float | nil), ?size_from: ::Integer, ?size_to: ::Integer, ?size_by: ::Integer, ?allow_private: bool) -> instance
 
       def self.keyword_init?: () -> true
 
-      def self.members: () -> [ :dirs, :requires, :library, :timeout, :size_from, :size_to, :size_by]
+      def self.members: () -> [ :dirs, :requires, :library, :timeout, :size_from, :size_to, :size_by, :allow_private]
 
-      def members: () -> [ :dirs, :requires, :library, :timeout, :size_from, :size_to, :size_by]
+      def members: () -> [ :dirs, :requires, :library, :timeout, :size_from, :size_to, :size_by, :allow_private]
 
       attr_accessor dirs: ::Array[String]
 
       attr_accessor requires: ::Array[String]
 
@@ -40,10 +40,12 @@
       attr_accessor size_from: ::Integer
 
       attr_accessor size_to: ::Integer
 
       attr_accessor size_by: ::Integer
+
+      attr_accessor allow_private: bool
     end
 
     @argv: Array[String]
 
     def self.option: () -> Option
@@ -79,16 +81,19 @@
     class Stats
       attr_accessor success: Integer
       attr_accessor skip: Integer
       attr_accessor exception: Integer
     end
-    attr_reader receiver_type: Type
-    attr_reader method_name: Symbol
-    attr_reader method_type: MethodType
-    attr_reader size_step: _Each[Integer]
-    attr_reader timeout: (Integer | Float | nil)
-    def initialize: (receiver_type: Type, method_name: Symbol, method_type: MethodType, size_step: _Each[Integer], timeout: (Integer | Float | nil)) -> void
+
+    @receiver_type: Type
+    @method_name: Symbol
+    @method_type: MethodType
+    @size_step: _Each[Integer]
+    @timeout: (Integer | Float | nil)
+    @allow_private: bool
+
+    def initialize: (receiver_type: Type, method_name: Symbol, method_type: MethodType, size_step: _Each[Integer], timeout: (Integer | Float | nil), ?allow_private: bool) -> void
     def run: () { (Result::Success | Result::Failure | Result::Skip | Result::Exception) -> void } -> Stats
 
     private
 
     def call: (size: Integer, stats: Stats) -> (Result::Success | Result::Failure | Result::Skip | Result::Exception)
@@ -104,34 +109,10 @@
     def pick_arguments: (?size: Integer, ?eval: bool) -> [Array[untyped], Hash[Symbol, untyped], ::Proc?]
     def pick_block: (?size: Integer, ?eval: bool) -> ::Proc?
     def check_return: (untyped) -> bool
   end
 
-  class MethodValue < Data
-    def self.new: (untyped receiver_value, [Array[untyped], Hash[Symbol, untyped], ::Proc?] arguments, Symbol method_name, Integer size) -> instance
-                | (receiver_value: untyped, arguments: [Array[untyped], Hash[Symbol, untyped], ::Proc?], method_name: Symbol, size: Integer) -> instance
-
-    def self.[]: (untyped receiver_value, [Array[untyped], Hash[Symbol, untyped], ::Proc?] arguments, Symbol method_name, Integer size) -> instance
-               | (receiver_value: untyped, arguments: [Array[untyped], Hash[Symbol, untyped], ::Proc?], method_name: Symbol, size: Integer) -> instance
-
-    def self.members: () -> [ :receiver_value, :arguments, :method_name, :size ]
-    def members: () -> [ :receiver_value, :arguments, :method_name, :size ]
-
-    attr_reader receiver_value: untyped
-    attr_reader arguments: [Array[untyped], Hash[Symbol, untyped], ::Proc?]
-    attr_reader method_name: Symbol
-    attr_reader size: Integer
-
-    def to_symbolic_call: () -> symbolic_call
-    def call_str: () -> String
-
-    private
-
-    def argument_str: () -> String
-    def block_str: () -> String?
-  end
-
   module Minitest
   end
 
   module RBS
     self.@builder: ::RBS::DefinitionBuilder
@@ -144,37 +125,37 @@
     def self.parse_type: (String) -> ::RBS::Types::t
   end
 
   module Result
     interface _MethodValueReturnValue
-      def method_value: () -> MethodValue
+      def symbolic_call: () -> symbolic_call
       def return_value: () -> untyped
     end
     module CalledStr : _MethodValueReturnValue
       def called_str: () -> String
     end
     class Success < Data
-      def self.new: (method_value: MethodValue, return_value: untyped) -> instance
-      attr_reader method_value: MethodValue
+      def self.new: (symbolic_call: symbolic_call, return_value: untyped) -> instance
+      attr_reader symbolic_call: symbolic_call
       attr_reader return_value: untyped
       include CalledStr
     end
     class Failure < Data
-      def self.new: (method_value: MethodValue, return_value: untyped, symbolic_call: symbolic_call) -> instance
-      attr_reader method_value: MethodValue
-      attr_reader return_value: untyped
+      def self.new: (symbolic_call: symbolic_call, return_value: untyped, ?exception: ::Exception?) -> instance
       attr_reader symbolic_call: symbolic_call
+      attr_reader return_value: untyped
+      attr_reader exception: ::Exception?
       include CalledStr
     end
     class Skip < Data
-      def self.new: (method_value: MethodValue?, exception: ::Exception) -> instance
-      attr_reader method_value: MethodValue?
+      def self.new: (symbolic_call: symbolic_call?, exception: ::Exception) -> instance
+      attr_reader symbolic_call: symbolic_call?
       attr_reader exception: ::Exception
     end
     class Exception < Data
-      def self.new: (method_value: MethodValue?, exception: ::Exception) -> instance
-      attr_reader method_value: MethodValue?
+      def self.new: (symbolic_call: symbolic_call?, exception: ::Exception) -> instance
+      attr_reader symbolic_call: symbolic_call?
       attr_reader exception: ::Exception
     end
   end
 
   class Sized[T]
@@ -194,17 +175,21 @@
       def +: (String) -> String
       def to_s: () -> String
     end
 
     attr_reader symbolic_call: untyped
-    def initialize: (untyped) -> void
+    attr_reader allow_private: bool
+
+    def initialize: (untyped, ?allow_private: bool) -> void
     def eval: () -> untyped
-    def walk: () ?{ (symbolic_call) -> untyped} -> untyped
+    def call_str: () -> String
     def to_lines: () -> Array[String]
 
     private
 
+    def try_eval: (untyped) -> untyped
+    def walk: () ?{ (symbolic_call) -> untyped} -> untyped
     def _walk: (untyped) ?{ (symbolic_call) -> untyped} -> untyped
     def eval_one: (symbolic_call) -> untyped
     def var_name: (Module) -> String
     def printable?: (untyped) -> bool
     def printable: (untyped) -> String
@@ -299,10 +284,10 @@
       def initialize: (::RBS::Types::Intersection, size: Integer) -> void
       def inspect: () -> String
       def class: () -> class
     end
 
-    class Module < BasicObject
+    class Module
       attr_reader type: ::RBS::Types::ClassInstance
 
       def initialize: (::RBS::Types::ClassInstance) -> void
       def inspect: () -> String
       def class: () -> class