rbs 3.0.4 → 3.1.0

data/sig/repository.rbs

@@ -3,12 +3,14 @@ module RBS
   #
   # A repository object can handle multiple repository roots.
   #
-  #   repo = RBS::Repository.new()
-  #   repo.add(Pathname("vendor/rbs/gem-rbs"))
-  #   repo.add(Pathname("vendor/rbs/internal-rbs"))
-  #   repo.add(Pathname("vendor/rbs/definitely-rbs"))
+  # ```ruby
+  # repo = RBS::Repository.new()
+  # repo.add(Pathname("vendor/rbs/gem-rbs"))
+  # repo.add(Pathname("vendor/rbs/internal-rbs"))
+  # repo.add(Pathname("vendor/rbs/definitely-rbs"))
   #
-  #   repo.lookup("minitest", "2.1.3") => Pathname or nil
+  # repo.lookup("minitest", "2.1.3") # => Pathname or nil
+  # ```
   #
   # If one gem version can resolve to several directories, the last added dir wins.
   #

data/sig/shims/bundler.rbs

@@ -15,6 +15,8 @@ module Bundler
 
   class Dependency < Gem::Dependency
     attr_reader autorequire: Array[String]?
+
+    attr_reader source: untyped
   end
 
   class Definition

data/sig/subtractor.rbs

@@ -0,0 +1,33 @@
+module RBS
+  class Subtractor
+    type decl_with_members = AST::Declarations::Class | AST::Declarations::Module
+
+    @minuend: Array[AST::Declarations::t]
+    @subtrahend: Environment
+
+    def initialize: (Array[AST::Declarations::t] minuend, Environment subtrahend) -> void
+
+    def call: (?Array[AST::Declarations::t], ?context: Resolver::context) -> Array[AST::Declarations::t]
+
+    private def filter_members: (decl_with_members, context: Resolver::context) -> decl_with_members?
+
+    private def member_exist?: (TypeName owner, AST::Members::t, context: Resolver::context) -> boolish
+
+    private def method_exist?: (TypeName owner, Symbol method_name, AST::Members::MethodDefinition::kind) -> boolish
+
+    private def ivar_exist?: (TypeName owner, Symbol ivar_name, AST::Members::Attribute::kind) -> boolish
+
+    private def cvar_exist?: (TypeName owner, Symbol cvar_name) -> boolish
+
+    private def each_member: (TypeName owner) { (AST::Members::t | AST::Declarations::t) -> void } -> void
+                           | (TypeName owner) -> Enumerator[(AST::Members::t | AST::Declarations::t), void]
+
+    private def mixin_exist?: (TypeName owner, AST::Members::Include | AST::Members::Extend | AST::Members::Prepend, context: Resolver::context) -> boolish
+
+    private def update_decl: (decl_with_members, members: Array[AST::Declarations::t | AST::Members::t]) -> decl_with_members
+
+    private def absolute_typename: (TypeName, context: Resolver::context) -> TypeName
+
+    private def typename_candidates: (TypeName, context: Resolver::context) -> Array[TypeName]
+  end
+end

data/sig/types.rbs

@@ -18,9 +18,11 @@ module RBS
       # Yields all direct sub types included in the type.
       # It doesn't yield the type itself.
       #
-      #   parse("Hash[String, Array[Symbol]]").each_type do |ty|
-      #     ...       # Yields String and Array[Symbol]
-      #   end
+      # ```ruby
+      # parse("Hash[String, Array[Symbol]]").each_type do |ty|
+      #   ...       # Yields String and Array[Symbol]
+      # end
+      # ```
       #
       def each_type: () { (t) -> void } -> void
                    | () -> Enumerator[t, void]
@@ -32,9 +34,11 @@ module RBS
       # Returns a String representation.
       # `level` is used internally.
       #
-      #   parse("String").to_s               # => "String"
-      #   parse("String | Integer").to_s()   # => "String | Integer"
-      #   parse("String | Integer").to_s(1)  # => "(String | Integer)"
+      # ```ruby
+      # parse("String").to_s               # => "String"
+      # parse("String | Integer").to_s()   # => "String | Integer"
+      # parse("String | Integer").to_s(1)  # => "(String | Integer)"
+      # ```
       #
       def to_s: (?Integer level) -> String
     end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 3.0.4
+  version: 3.1.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-03-13 00:00:00.000000000 Z
+date: 2023-04-26 00:00:00.000000000 Z
 dependencies: []
 description: RBS is the language for type signatures for Ruby and standard library
   definitions.
@@ -182,6 +182,7 @@ files:
 - lib/rbs/environment_walker.rb
 - lib/rbs/errors.rb
 - lib/rbs/factory.rb
+- lib/rbs/file_finder.rb
 - lib/rbs/location_aux.rb
 - lib/rbs/locator.rb
 - lib/rbs/method_type.rb
@@ -201,6 +202,7 @@ files:
 - lib/rbs/resolver/type_name_resolver.rb
 - lib/rbs/sorter.rb
 - lib/rbs/substitution.rb
+- lib/rbs/subtractor.rb
 - lib/rbs/test.rb
 - lib/rbs/test/errors.rb
 - lib/rbs/test/hook.rb
@@ -259,6 +261,7 @@ files:
 - sig/environment_walker.rbs
 - sig/errors.rbs
 - sig/factory.rbs
+- sig/file_finder.rbs
 - sig/location.rbs
 - sig/locator.rbs
 - sig/manifest.yaml
@@ -284,6 +287,7 @@ files:
 - sig/shims/rubygems.rbs
 - sig/sorter.rbs
 - sig/substitution.rbs
+- sig/subtractor.rbs
 - sig/type_alias_dependency.rbs
 - sig/type_alias_regularity.rbs
 - sig/type_param.rbs