raap 0.5.0 → 0.7.0

data/sig/raap.rbs

@@ -19,15 +19,15 @@ module RaaP
 
   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, ?allow_private: bool) -> 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, ?coverage: 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, ?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, ?allow_private: bool, ?coverage: bool) -> instance
 
       def self.keyword_init?: () -> true
 
-      def self.members: () -> [ :dirs, :requires, :library, :timeout, :size_from, :size_to, :size_by, :allow_private]
+      def self.members: () -> [ :dirs, :requires, :library, :timeout, :size_from, :size_to, :size_by, :allow_private, :coverage]
 
-      def 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, :allow_private, :coverage]
 
       attr_accessor dirs: ::Array[String]
 
@@ -44,6 +44,8 @@ module RaaP
       attr_accessor size_by: ::Integer
 
       attr_accessor allow_private: bool
+
+      attr_accessor coverage: bool
     end
 
     type property_result = [Integer, Symbol, ::RBS::MethodType, StringIO?]
@@ -71,6 +73,39 @@ module RaaP
     def report: () -> Integer
   end
 
+  module Coverage
+    type locs = [::RBS::Buffer::loc, ::RBS::Buffer::loc]
+    type accuracy = :abs | :opt
+    class Writer
+      @method_type: ::RBS::MethodType
+      @cov: ::Set[Symbol]
+      @cur: Integer
+
+      def initialize: (::RBS::MethodType, Set[Symbol]) -> void
+      def write: (IO) -> void
+
+      private
+
+      def method_type_location: () -> ::RBS::Location[untyped, untyped]
+      def slice: (Integer, Range[Integer]) -> String
+      def write_param: (IO, String, ::RBS::Types::Function::Param, accuracy) -> void
+      def write_type: (IO, String, ::RBS::Types::t, accuracy) -> void
+      def green: (String) -> String
+      def red: (String) -> String
+      def yellow: (String) -> String
+    end
+
+    self.@cov: Set[Symbol]?
+    self.@method_type: ::RBS::MethodType
+
+    def self.start: (::RBS::MethodType) -> void
+    def self.running?: () -> bool
+    def self.log: (String | Symbol) -> void
+    def self.cov: () -> Set[Symbol]
+    def self.show: (IO) -> void
+    def self.new_type_with_log: (String, ::RBS::Types::t) -> Type
+  end
+
   class FunctionType
     @fun: ::RBS::Types::Function
 
@@ -83,6 +118,7 @@ module RaaP
     def to_symbolic_call_recursive: (untyped, size: Integer) -> untyped
     def build_args_type: () -> Array[Type]
     def build_kwargs_type: () -> Hash[Symbol, Type]
+    def build_type_with_coverage: (String, ::RBS::Types::Function::Param) -> Type
   end
 
   class MethodProperty
@@ -108,10 +144,13 @@ module RaaP
     def call: (size: Integer, stats: Stats) -> (Result::Success | Result::Failure | Result::Skip | Result::Exception)
     def check_return: (receiver_value: untyped, return_value: untyped) -> ([Symbol] | [Symbol, Exception])
     def return_type: () -> RBS::Types::t
+    def original_return_type: () -> RBS::Types::t
+    def coverage: (String, untyped, RBS::Types::t, ?RBS::Test::TypeCheck?) -> void
   end
 
   class MethodType
     attr_reader rbs: ::RBS::MethodType
+    attr_reader original_rbs: ::RBS::MethodType
     @fun_type: FunctionType
 
     def initialize: (::RBS::MethodType | String method, ?type_params_decl: Array[untyped], ?type_args: Array[untyped], ?self_type: ::RBS::Types::ClassInstance?, ?instance_type: ::RBS::Types::ClassInstance?, ?class_type: ::RBS::Types::ClassSingleton?) -> void
@@ -134,6 +173,8 @@ module RaaP
     def self.loader: () -> ::RBS::EnvironmentLoader
     def self.parse_type: (String) -> ::RBS::Types::t
     def self.parse_method_type: (String) -> ::RBS::MethodType
+    def self.parse_member: (String) -> ::RBS::AST::Members::Attribute
+    def self._shift_location: (untyped, Integer) -> void
     def self.find_alias_decl: (::RBS::TypeName, Symbol) -> ::RBS::AST::Members::Alias?
   end
 
@@ -242,7 +283,7 @@ module RaaP
     GENERATORS: Hash[String, ^() -> Sized[untyped]]
     SIMPLE_SOURCE: Array[String]
 
-    def self.register: (String) { () [self: instance] -> Sized[untyped] } -> void
+    def self.register: (String) { () [self: instance] -> untyped } -> void
     def self.random: () -> Type
     def self.random_without_basic_object: () -> Type
     def self.call_new_from: (Module, ::RBS::Types::ClassInstance, size: Integer) -> symbolic_call
@@ -278,8 +319,8 @@ module RaaP
     def symbol: () -> Sized[Symbol]
     def array: (Type) -> Sized[Array[untyped]]
     def dict: (Type, Type) -> Sized[Hash[untyped, untyped]]
-    def encoding: () -> Sized[symbolic_call]
-    def bool: () -> Sized[bool]
+    def encoding: () -> symbolic_call
+    def bool: () -> bool
     def temp_method_object: () -> ::Method
   end
 
@@ -289,19 +330,19 @@ module RaaP
       def class: () -> class
     end
 
-    class Interface < BasicObject
+    class Interface
       @type: ::RBS::Types::Interface
       @size: Integer
       @definition: ::RBS::Definition
 
-      def self.define_method_from_interface: (Class base_class, String | ::RBS::Types::Interface type, ?size: Integer) -> void
+      def self.define_method_from_interface: (::Module base_class, String | ::RBS::Types::Interface type, ?size: Integer) -> void
       def initialize: (String | ::RBS::Types::Interface | String, ?size: Integer) -> void
       def respond_to?: (Symbol, ?boolish) -> bool
       def inspect: () -> String
       def class: () -> class
     end
 
-    class Intersection < BasicObject
+    module Intersection
       @type: ::RBS::Types::Intersection
       @children: Array[Type]
       @size: Integer
@@ -328,7 +369,7 @@ module RaaP
       def class: () -> class
     end
 
-    class Variable < BasicObject
+    class Variable
       attr_reader type: ::RBS::Types::Variable
 
       def initialize: (::RBS::Types::Variable | String | Symbol) -> void

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: raap
 version: !ruby/object:Gem::Version
-  version: 0.5.0
+  version: 0.7.0
 platform: ruby
 authors:
 - ksss
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-04-23 00:00:00.000000000 Z
+date: 2024-05-08 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -57,6 +57,7 @@ files:
 - lib/raap.rb
 - lib/raap/bind_call.rb
 - lib/raap/cli.rb
+- lib/raap/coverage.rb
 - lib/raap/function_type.rb
 - lib/raap/method_property.rb
 - lib/raap/method_type.rb
@@ -76,6 +77,8 @@ files:
 - lib/raap/value/variable.rb
 - lib/raap/value/void.rb
 - lib/raap/version.rb
+- lib/shims.rb
+- public/example.webp
 - public/jacket.webp
 - rbs_collection.lock.yaml
 - rbs_collection.yaml
@@ -94,14 +97,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 3.3.0
+      version: 3.0.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.5.3
+rubygems_version: 3.5.9
 signing_key:
 specification_version: 4
 summary: RBS as a Property