raap 0.3.0 → 0.5.0

data/lib/raap/value/variable.rb

@@ -1,10 +1,21 @@
+# frozen_string_literal: true
+
 module RaaP
   module Value
     class Variable < BasicObject
       attr_reader :type
 
       def initialize(type)
-        @type = type
+        @type =
+          if type.respond_to?(:to_sym)
+            # @type var type: String | Symbol
+            ::RBS::Types::Variable.new(name: type.to_sym, location: nil)
+          else
+            type
+          end
+        unless @type.instance_of?(::RBS::Types::Variable)
+          ::Kernel.raise ::TypeError, "not a variable type: #{@type}"
+        end
       end
 
       def inspect = "#<var #{type}>"

data/lib/raap/value/void.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 module RaaP
   module Value
     class Void < BasicObject

data/lib/raap/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module RaaP
-  VERSION = "0.3.0"
+  VERSION = "0.5.0"
 end

data/lib/raap.rb

@@ -15,7 +15,9 @@ module RaaP
     attr_accessor :logger
   end
 
-  self.logger = ::Logger.new($stdout)
+  self.logger = ::Logger.new($stdout, formatter: proc { |severity, _datetime, _progname, msg|
+    "[RaaP] #{severity}: #{msg}\n"
+  })
   self.logger.level = ::Logger::INFO
 
   autoload :BindCall, "raap/bind_call"
@@ -23,7 +25,6 @@ module RaaP
   autoload :FunctionType, "raap/function_type"
   autoload :MethodProperty, "raap/method_property"
   autoload :MethodType, "raap/method_type"
-  autoload :Minitest, "raap/minitest"
   autoload :RBS, "raap/rbs"
   autoload :Result, "raap/result"
   autoload :Sized, "raap/sized"

data/rbs_collection.lock.yaml

@@ -5,10 +5,58 @@ gems:
   version: '0'
   source:
     type: stdlib
+- name: activesupport
+  version: '7.0'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: bc4cbee282cfb013be8c44a3fe7a374491492400
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
+- name: base64
+  version: '0'
+  source:
+    type: stdlib
+- name: bigdecimal
+  version: '0'
+  source:
+    type: stdlib
+- name: concurrent-ruby
+  version: '1.1'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: bc4cbee282cfb013be8c44a3fe7a374491492400
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
+- name: connection_pool
+  version: '2.4'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: bc4cbee282cfb013be8c44a3fe7a374491492400
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
+- name: date
+  version: '0'
+  source:
+    type: stdlib
+- name: erb
+  version: '0'
+  source:
+    type: stdlib
 - name: fileutils
   version: '0'
   source:
     type: stdlib
+- name: i18n
+  version: '1.10'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: bc4cbee282cfb013be8c44a3fe7a374491492400
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
 - name: io-console
   version: '0'
   source:
@@ -46,7 +94,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: be76a75932e8ed6ee91a95ba936cf88b674bf044
+    revision: bc4cbee282cfb013be8c44a3fe7a374491492400
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: rbs
@@ -57,6 +105,18 @@ gems:
   version: '0'
   source:
     type: stdlib
+- name: securerandom
+  version: '0'
+  source:
+    type: stdlib
+- name: singleton
+  version: '0'
+  source:
+    type: stdlib
+- name: time
+  version: '0'
+  source:
+    type: stdlib
 - name: timeout
   version: '0'
   source:

data/rbs_collection.yaml

@@ -15,6 +15,5 @@ path: .gem_rbs_collection
 
 gems:
   - name: activesupport
-    ignore: true
   - name: steep
     ignore: true

data/sig/raap.rbs

@@ -6,8 +6,8 @@ module RaaP
   def self.logger=: (::Logger) -> void
 
   module BindCall
-    def self.define_singleton_method: (untyped, Symbol) { (*untyped, **untyped) -> untyped } -> void
-    def self.respond_to?: (untyped, Symbol, ?bool) -> bool
+    def self.define_method: (untyped, Symbol) { (*untyped, **untyped) -> untyped } -> void
+    def self.respond_to?: (untyped, untyped, ?boolish) -> bool
     def self.instance_of?: (untyped, Module) -> bool
     def self.is_a?: (untyped, Module) -> bool
     def self.extend: (untyped, Module) -> void
@@ -46,33 +46,41 @@ module RaaP
       attr_accessor allow_private: bool
     end
 
+    type property_result = [Integer, Symbol, ::RBS::MethodType, StringIO?]
+
+    DEFAULT_SKIP: ::Set[String]
+
     @argv: Array[String]
+    @option: Option
+    @results:  Array[{ method: ::RBS::Definition::Method, properties: Array[property_result] }]
+    @skip: ::Set[::String]
 
     def self.option: () -> Option
     def self.option=: (Option) -> void
 
     def initialize: (Array[String]) -> void
     def load: () -> self
+    def run: () -> Integer
+
+    private
 
-    type property_result = [Integer, Symbol, ::RBS::MethodType]
-    def run: () -> self
-    def run_by: (tag: String) -> Array[Array[property_result]]
-    def run_by_instance: (tag: String) -> Array[Array[property_result]]
-    def run_by_singleton: (tag: String) -> Array[Array[property_result]]
-    def run_by_type_name: (tag: String) -> Array[Array[property_result]]
-    def run_by_type_name_with_search: (tag: String) -> Array[Array[property_result]]
-    def property: (receiver_type: Type, type_params_decl: Array[::RBS::AST::TypeParam], method_name: Symbol, method_type: ::RBS::MethodType) -> property_result
+    def run_by: (kind: (:instance | :singleton), tag: String) -> void
+    def run_by_type_name: (tag: String) -> void
+    def run_by_type_name_with_search: (tag: String) -> void
+    def property: (receiver_type: Type, type_params_decl: Array[::RBS::AST::TypeParam], type_args: Array[::RBS::Types::t], method_name: Symbol, method_type: ::RBS::MethodType) -> property_result
+    def report: () -> Integer
   end
 
   class FunctionType
     @fun: ::RBS::Types::Function
 
     def initialize: (::RBS::Types::Function) -> void
-    def pick_arguments: (?size: Integer, ?eval: bool) -> [Array[untyped], Hash[Symbol, untyped]]
+    def pick_arguments: (?size: Integer) -> [Array[untyped], Hash[Symbol, untyped]]
+    def arguments_to_symbolic_call: (?size: Integer) -> [Array[untyped], Hash[Symbol, untyped]]
 
     private
 
-    def recursive_pick: (untyped, size: Integer, eval: bool) -> untyped
+    def to_symbolic_call_recursive: (untyped, size: Integer) -> untyped
     def build_args_type: () -> Array[Type]
     def build_kwargs_type: () -> Hash[Symbol, Type]
   end
@@ -82,6 +90,7 @@ module RaaP
       attr_accessor success: Integer
       attr_accessor skip: Integer
       attr_accessor exception: Integer
+      attr_accessor break: bool
     end
 
     @receiver_type: Type
@@ -97,7 +106,7 @@ module RaaP
     private
 
     def call: (size: Integer, stats: Stats) -> (Result::Success | Result::Failure | Result::Skip | Result::Exception)
-    def check_return: (receiver_value: untyped, return_value: untyped, method_type: MethodType) -> bool
+    def check_return: (receiver_value: untyped, return_value: untyped) -> ([Symbol] | [Symbol, Exception])
     def return_type: () -> RBS::Types::t
   end
 
@@ -106,8 +115,9 @@ module RaaP
     @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
-    def pick_arguments: (?size: Integer, ?eval: bool) -> [Array[untyped], Hash[Symbol, untyped], ::Proc?]
-    def pick_block: (?size: Integer, ?eval: bool) -> ::Proc?
+    def pick_arguments: (?size: Integer) -> [Array[untyped], Hash[Symbol, untyped], ::Proc?]
+    def arguments_to_symbolic_call: (?size: Integer) -> [Array[untyped], Hash[Symbol, untyped], ::Proc?]
+    def pick_block: (?size: Integer) -> ::Proc?
     def check_return: (untyped) -> bool
   end
 
@@ -123,28 +133,37 @@ module RaaP
     def self.env: () -> ::RBS::Environment
     def self.loader: () -> ::RBS::EnvironmentLoader
     def self.parse_type: (String) -> ::RBS::Types::t
+    def self.parse_method_type: (String) -> ::RBS::MethodType
+    def self.find_alias_decl: (::RBS::TypeName, Symbol) -> ::RBS::AST::Members::Alias?
   end
 
   module Result
-    interface _MethodValueReturnValue
-      def symbolic_call: () -> symbolic_call
+    interface _ReturnValue
       def return_value: () -> untyped
     end
-    module CalledStr : _MethodValueReturnValue
-      def called_str: () -> String
+
+    module ReturnValueWithType : _ReturnValue
+      def return_value_with_type: () -> String
+
+      private
+
+      def return_value_to_type: (untyped) -> String
     end
+
     class Success < Data
+      include ReturnValueWithType
       def self.new: (symbolic_call: symbolic_call, return_value: untyped) -> instance
       attr_reader symbolic_call: symbolic_call
       attr_reader return_value: untyped
-      include CalledStr
+      def called_str: () -> String
     end
     class Failure < Data
+      include ReturnValueWithType
       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
+      def called_str: () -> String
     end
     class Skip < Data
       def self.new: (symbolic_call: symbolic_call?, exception: ::Exception) -> instance
@@ -188,7 +207,7 @@ module RaaP
 
     def try_eval: (untyped) -> untyped
     def walk: () ?{ (symbolic_call) -> untyped} -> untyped
-    def _walk: (untyped) ?{ (symbolic_call) -> untyped} -> untyped
+    def _walk: (untyped, bool is_last) ?{ (symbolic_call) -> untyped} -> untyped
     def eval_one: (symbolic_call) -> untyped
     def var_name: (Module) -> String
     def printable?: (untyped) -> bool
@@ -201,7 +220,7 @@ module RaaP
 
     def initialize: (::Array[::RBS::AST::TypeParam], ::Array[::RBS::Types::t]) -> void
     def build: () -> ::RBS::Substitution
-    def method_type_sub: (::RBS::MethodType, ?self_type: ::RBS::Types::ClassInstance?, ?instance_type: ::RBS::Types::ClassInstance?, ?class_type: ::RBS::Types::ClassSingleton?) -> ::RBS::MethodType
+    def method_type_sub: (::RBS::MethodType, ?self_type: ::RBS::Types::t?, ?instance_type: ::RBS::Types::ClassInstance?, ?class_type: ::RBS::Types::ClassSingleton?) -> ::RBS::MethodType
 
     private
 
@@ -209,7 +228,7 @@ module RaaP
       def map_type: { (untyped) -> untyped } -> untyped
     end
 
-    def sub: (_MapType search, self_type: ::RBS::Types::ClassInstance?, instance_type: ::RBS::Types::ClassInstance?, class_type: ::RBS::Types::ClassSingleton?) -> untyped
+    def sub: (_MapType search, self_type: ::RBS::Types::t?, instance_type: ::RBS::Types::t?, class_type: ::RBS::Types::t?) -> untyped
   end
 
   class Type
@@ -222,9 +241,12 @@ module RaaP
 
     GENERATORS: Hash[String, ^() -> Sized[untyped]]
     SIMPLE_SOURCE: Array[String]
-    RECURSION: Hash[String, :found | :logged]
 
     def self.register: (String) { () [self: instance] -> Sized[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
+
     attr_reader type: ::RBS::Types::t
     attr_reader range: Range[untyped]
 
@@ -235,13 +257,14 @@ module RaaP
     def such_that: () { (untyped) -> boolish } -> self
 
     # Basic API for materializing values
-    def pick: (?size: Integer, ?eval: bool) -> untyped
+    def pick: (?size: Integer) -> untyped
+    def to_symbolic_caller: (?size: Integer) -> SymbolicCaller
     def to_symbolic_call: (?size: Integer) -> untyped
     def sized: [T] () { (Integer size) -> T } -> Sized[T]
 
     private
 
-    def pick_from_initialize: (::RBS::Types::ClassInstance, size: Integer) -> (symbolic_call | Value::Module)
+    def to_symbolic_call_from_initialize: (::RBS::Types::ClassInstance, size: Integer) -> (symbolic_call | Value::Module)
     def parse: (String | ::RBS::Types::t) -> ::RBS::Types::t?
     def try: (times: Integer, size: Integer) { (Integer size) -> untyped } -> untyped
 
@@ -254,9 +277,9 @@ module RaaP
     def string: () -> Sized[String]
     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 untyped: () -> Sized[untyped]
     def temp_method_object: () -> ::Method
   end
 
@@ -271,7 +294,9 @@ module RaaP
       @size: Integer
       @definition: ::RBS::Definition
 
-      def initialize: (String | ::RBS::Types::Interface, ?size: Integer) -> void
+      def self.define_method_from_interface: (Class 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
@@ -281,15 +306,19 @@ module RaaP
       @children: Array[Type]
       @size: Integer
 
-      def initialize: (::RBS::Types::Intersection, size: Integer) -> void
+      def initialize: (::RBS::Types::Intersection | String, ?size: Integer) -> void
+      def respond_to?: (Symbol, ?boolish) -> bool
       def inspect: () -> String
       def class: () -> class
     end
 
-    class Module
-      attr_reader type: ::RBS::Types::ClassInstance
+    class Module < BasicObject
+      @type: ::RBS::Types::ClassInstance
+      @size: Integer
+      @self_type: untyped
 
-      def initialize: (::RBS::Types::ClassInstance) -> void
+      def initialize: (::RBS::Types::ClassInstance | String, ?size: Integer) -> void
+      def respond_to?: (Symbol, ?boolish) -> bool
       def inspect: () -> String
       def class: () -> class
     end
@@ -302,7 +331,7 @@ module RaaP
     class Variable < BasicObject
       attr_reader type: ::RBS::Types::Variable
 
-      def initialize: (::RBS::Types::Variable) -> void
+      def initialize: (::RBS::Types::Variable | String | Symbol) -> void
       def inspect: () -> String
       def class: () -> class
     end

data/sig/shims.rbs

@@ -0,0 +1,4 @@
+module Timeout
+  class ExitException < Exception
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: raap
 version: !ruby/object:Gem::Version
-  version: 0.3.0
+  version: 0.5.0
 platform: ruby
 authors:
 - ksss
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-03-28 00:00:00.000000000 Z
+date: 2024-04-23 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -28,16 +28,16 @@ dependencies:
   name: timeout
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: '0'
+        version: '0.4'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: '0'
+        version: '0.4'
 description: Property based testing tool with RBS
 email:
 - co000ri@gmail.com
@@ -46,6 +46,7 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
+- ".rubocop.yml"
 - CHANGELOG.md
 - CODE_OF_CONDUCT.md
 - LICENSE.txt
@@ -75,16 +76,16 @@ files:
 - lib/raap/value/variable.rb
 - lib/raap/value/void.rb
 - lib/raap/version.rb
+- public/jacket.webp
 - rbs_collection.lock.yaml
 - rbs_collection.yaml
 - sig/raap.rbs
+- sig/shims.rbs
 homepage: https://github.com/ksss/raap
 licenses:
 - MIT
 metadata:
-  homepage_uri: https://github.com/ksss/raap
-  source_code_uri: https://github.com/ksss/raap
-  changelog_uri: https://github.com/ksss/raap
+  rubygems_mfa_required: 'true'
 post_install_message:
 rdoc_options: []
 require_paths: