rbs 3.0.3 → 3.1.0

data/sig/parser.rbs

@@ -2,8 +2,7 @@ module RBS
   class Parser
     # Parse a method type and return it
     #
-    # When `pos` keyword is specified, skips the first `pos` characters from the input.
-    # If no token is left in the input, it returns `nil`.
+    # When `range` keyword is specified, it starts parsing from the `begin` to the `endo` the range.
     #
     # ```ruby
     # RBS::Parser.parse_method_type("() -> void")                                # => `() -> void`
@@ -12,12 +11,21 @@ module RBS
     # RBS::Parser.parse_method_type("() -> void () -> String", range: 23...)     # => nil
     # ```
     #
-    def self.parse_method_type: (Buffer | String, ?range: Range[Integer?], ?variables: Array[Symbol]) -> MethodType?
+    # When `require_eof` is `true`, an error is raised if more tokens are left in the input.
+    # (Defaults to `false`.)
+    #
+    # ```ruby
+    # RBS::Parser.parse_method_type("() -> void () -> String", require_eof: false)    # => `() -> void`
+    # RBS::Parser.parse_method_type("() -> void () -> String", require_eof: true)     # => Raises an error
+    #
+    # RBS::Parser.parse_method_type("", require_eof: true)                            # => nil
+    # ```
+    #
+    def self.parse_method_type: (Buffer | String, ?range: Range[Integer?], ?variables: Array[Symbol], ?require_eof: bool) -> MethodType?
 
     # Parse a type and return it
     #
-    # When `pos` keyword is specified, skips the first `pos` characters from the input.
-    # If no token is left in the input, it returns `nil`.
+    # When `range` keyword is specified, it starts parsing from the `begin` to the `endo` the range.
     #
     # ```ruby
     # RBS::Parser.parse_type("String")                          # => `String`
@@ -26,7 +34,17 @@ module RBS
     # RBS::Parser.parse_type("String Integer", pos: 14...)      # => nil
     # ```
     #
-    def self.parse_type: (Buffer | String, ?range: Range[Integer?], ?variables: Array[Symbol]) -> Types::t?
+    # When `require_eof` is `true`, an error is raised if more tokens are left in the input.
+    # (Defaults to `false`.)
+    #
+    # ```ruby
+    # RBS::Parser.parse_type("String untyped", require_eof: false)    # => `String`
+    # RBS::Parser.parse_type("String untyped", require_eof: true)     # => Raises an error
+    #
+    # RBS::Parser.parse_type("", require_eof: true)                   # => nil
+    # ```
+    #
+    def self.parse_type: (Buffer | String, ?range: Range[Integer?], ?variables: Array[Symbol], ?require_eof: bool) -> Types::t?
 
     # Parse whole RBS file and return an array of declarations
     #
@@ -38,9 +56,9 @@ module RBS
 
     def self.buffer: (String | Buffer source) -> Buffer
 
-    def self._parse_type: (Buffer, Integer start_pos, Integer end_pos, Array[Symbol] variables) -> Types::t?
+    def self._parse_type: (Buffer, Integer start_pos, Integer end_pos, Array[Symbol] variables, bool require_eof) -> Types::t?
 
-    def self._parse_method_type: (Buffer, Integer start_pos, Integer end_pos, Array[Symbol] variables) -> MethodType?
+    def self._parse_method_type: (Buffer, Integer start_pos, Integer end_pos, Array[Symbol] variables, bool require_eof) -> MethodType?
 
     def self._parse_signature: (Buffer, Integer end_pos) -> [Array[AST::Directives::t], Array[AST::Declarations::t]]
 

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.3
+  version: 3.1.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-03-07 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