rbs 2.2.2 → 2.3.2

data/sig/environment.rbs

@@ -2,32 +2,40 @@ module RBS
   class Environment
     type module_decl = AST::Declarations::Class | AST::Declarations::Module
 
-    interface _WithContext
-      def outer: () -> Array[module_decl]
+    interface _ModuleOrClass
+      def name: () -> TypeName
 
-      def decl: () -> untyped
+      def type_params: () -> Array[AST::TypeParam]
     end
 
-    module ContextUtil : _WithContext
-      def context: () -> Array[Namespace]
+    interface _NamedDecl
+      def name: () -> TypeName
+    end
+
+    module ContextUtil
+      def calculate_context: (Array[_NamedDecl]) -> Array[Namespace]
     end
 
-    class MultiEntry
-      class D[M]
+    class MultiEntry[M < _ModuleOrClass]
+      class D[M < _ModuleOrClass]
         attr_reader decl: M
         attr_reader outer: Array[module_decl]
 
-        def initialize: (decl: module_decl, outer: Array[module_decl]) -> void
+        def initialize: (decl: M, outer: Array[module_decl]) -> void
 
         include ContextUtil
+
+        @context: Array[Namespace]
+
+        def context: () -> Array[Namespace]
       end
 
       attr_reader name: TypeName
-      attr_reader decls: Array[untyped]
+      attr_reader decls: Array[D[M]]
 
       def initialize: (name: TypeName) -> void
 
-      def insert: (decl: module_decl, outer: Array[module_decl]) -> void
+      def insert: (decl: M, outer: Array[module_decl]) -> void
 
       def validate_type_params: () -> void
 
@@ -35,29 +43,28 @@ module RBS
 
       def type_params: () -> Array[AST::TypeParam]
 
-      def primary: () -> D[module_decl]
+      def primary: () -> D[M]
     end
 
-    class ModuleEntry < MultiEntry
-      attr_reader decls: Array[MultiEntry::D[AST::Declarations::Module]]
-      attr_reader primary: MultiEntry::D[AST::Declarations::Module]
-
+    class ModuleEntry < MultiEntry[AST::Declarations::Module]
       def self_types: () -> Array[AST::Declarations::Module::Self]
     end
 
-    class ClassEntry < MultiEntry
-      attr_reader decls: Array[MultiEntry::D[AST::Declarations::Class]]
-      attr_reader primary: MultiEntry::D[AST::Declarations::Class]
+    class ClassEntry < MultiEntry[AST::Declarations::Class]
     end
 
     class SingleEntry[N, D]
-      include ContextUtil
-
       attr_reader name: N
       attr_reader decl: D
       attr_reader outer: Array[module_decl]
 
       def initialize: (name: N, decl: D, outer: Array[module_decl]) -> void
+
+      include ContextUtil
+
+      @context: Array[Namespace]
+
+      def context: () -> Array[Namespace]
     end
 
     # Top level declarations.
@@ -75,7 +82,7 @@ module RBS
 
     def self.from_loader: (EnvironmentLoader) -> Environment
 
-    def cache_name: [Key, D] (Hash[Key, SingleEntry[Key, D]] cache, name: Key, decl: D, outer: Array[module_decl]) -> SingleEntry[Key, D]
+    def cache_name: [N, D] (Hash[N, SingleEntry[N, D]] cache, name: N, decl: D, outer: Array[module_decl]) -> SingleEntry[N, D]
 
     def insert_decl: (AST::Declarations::t, outer: Array[module_decl], namespace: Namespace) -> void
 

data/sig/environment_loader.rbs

@@ -1,26 +1,26 @@
 module RBS
   # EnvironmentLoader is an object to load RBS files from filesystem.
-  # 
+  #
   # Set up your configuration through repository and `#add` method.
-  # 
+  #
   #   # Set up the repository to load library RBSs from.
   #   repo = RBS::Repository.default
   #   repo.add(Pathname("vendor/rbs/gem-rbs"))
   #   repo.add(Pathname("vendor/rbs/internal-rbs"))
-  # 
+  #
   #   loader = RBS::EnvironmentLoader.new(repository: repo)
-  # 
+  #
   #   # Add libraries to load RBS files.
   #   loader.add(library: "minitest")
   #   loader.add(library: "rbs", version: "1.0.0")
-  # 
+  #
   #   # Add dirs to load RBS files from.
   #   loader.add(path: Pathname("sig"))
-  # 
+  #
   #   # Load RBSs into an environment.
   #   environment = RBS::Environment.new()
   #   loader.load(env: environment)
-  # 
+  #
   class EnvironmentLoader
     class UnknownLibraryError < StandardError
       attr_reader library: Library
@@ -44,37 +44,37 @@ module RBS
     attr_reader dirs: Array[Pathname]
 
     # The source where the RBS comes from.
-    # 
+    #
     # `:core` means it is part of core library.
     # `Library` means it is from library.
     # `Pathname` means it is loaded from a directory.
-    # 
+    #
     type source = :core
                 | Library
                 | Pathname
 
     # Accepts two optional keyword arguments.
-    # 
+    #
     # `core_root` is the path to the directory with RBSs for core classes.
     # The default value is the core library included in RBS gem. (EnvironmentLoader::DEFAULT_CORE_ROOT)
     # Passing `nil` means it skips loading core class definitions.
-    # 
+    #
     # `repository` is the repository for library classes.
     # The default value is repository only with stdlib classes. (Repository.new)
-    # 
+    #
     def initialize: (?core_root: Pathname?, ?repository: Repository) -> void
-    
+
     # Add a path or library to load RBSs from.
-    # 
+    #
     # `path` can be a file or a directory.
     # All `.rbs` files from the given directory will be loaded.
     # Specifying a file will load the file regardless the extension of the file is.
-    # 
+    #
     # `library` can be a name of a gem.
     # Specifying `nil` to `version` will load any version available.
     # It first tries to load RBS files from gem with specified version.
     # If RBS files cannot be found in the gem, it tries to load RBSs from repository.
-    # 
+    #
     def add: (path: Pathname) -> void
            | (library: String, version: String?) -> void
 
@@ -82,26 +82,26 @@ module RBS
     def add_collection: (Collection::Config collection_config) -> void
 
     # This is helper function to test if RBS for a library is available or not.
-    # 
+    #
     def has_library?: (library: String, version: String?) -> bool
 
     # Add all declarations to environment.
-    # 
+    #
     # Raises `UnknownLibraryError` if RBS cannot be loaded from a library.
-    # 
+    #
     # Returns an array of tuples of the declaration, path to the file, and the source.
-    # 
+    #
     def load: (env: Environment) -> Array[[AST::Declarations::t, Pathname, source]]
 
     # Returns a pair of spec and path for a gem with RBS.
     # Returns nil if the gem is not installed, or the gem doesn't provide RBS.
-    # 
+    #
     def self.gem_sig_path: (String name, String? version) -> [Gem::Specification, Pathname]?
 
     def each_decl: () { (AST::Declarations::t, Buffer, source, Pathname) -> void } -> void
-                 
+
     def each_dir: { (source, Pathname) -> void } -> void
-                
+
     def each_file: (Pathname path, immediate: boolish, skip_hidden: boolish) { (Pathname) -> void } -> void
   end
 end

data/sig/locator.rbs

@@ -37,6 +37,8 @@ module RBS
 
     def find_in_type: (Integer pos, type: Types::t, array: Array[component]) -> bool
 
+    def find_in_type_param: (Integer pos, type_param: AST::TypeParam, array: Array[component]) -> bool
+
     def find_in_loc: (Integer pos, location: Location[untyped, untyped]?, array: Array[component]) -> bool
 
     def test_loc: (Integer pos, location: Location[untyped, untyped]?) -> bool

data/sig/manifest.yaml

@@ -0,0 +1,8 @@
+dependencies:
+  - name: logger
+  - name: set
+  - name: pathname
+  - name: json
+  - name: optparse
+  - name: rubygems
+  - name: tsort

data/sig/resolver/constant_resolver.rbs

@@ -0,0 +1,93 @@
+module RBS
+  module Resolver
+    class ConstantResolver
+      # Table stores the set of immediate child constants of a module.
+      #
+      # ```rb
+      # table = RBS::ConstantResolver::Table.new(env)
+      #
+      # table.children(TypeName("::Object"))                # -> { ... }  Returns a hash of name and constants.
+      # table.children(TypeName("::File::PATH_SEPARATOR"))  # -> nil      Returns nil because the constant is not a module.
+      #
+      # table.toplevel                                      # -> { ... }  Returns a hash of top level constants.
+      # ```
+      #
+      # The `#toplevel` is incompatible with Ruby.
+      # All constants in Ruby are defined under `Object`, and they are accessed with `::` (Colon3) operator.
+      # RBS is different.
+      # `::` constants are _toplevel_ constants, and they are not defined under `::Object`.
+      #
+      # The behavior is simulated in `ConstantResolver`.
+      #
+      class Table
+        attr_reader children_table: Hash[TypeName, Hash[Symbol, Constant]?]
+        attr_reader constants_table: Hash[TypeName, Constant]
+        attr_reader toplevel: Hash[Symbol, Constant]
+
+        def initialize: (Environment) -> void
+
+        def constant: (TypeName constant_name) -> Constant?
+
+        # Returns a set of constants defined under `module_name`.
+        # Returns `nil` if there is no module with given `module_name`.
+        #
+        def children: (TypeName module_name) -> Hash[Symbol, Constant]?
+
+        private
+
+        def constant_of_module: (TypeName name, Environment::ClassEntry | Environment::ModuleEntry) -> Constant
+
+        def constant_of_constant: (TypeName name, Environment::SingleEntry[TypeName, AST::Declarations::Constant]) -> Constant
+      end
+
+      attr_reader builder: DefinitionBuilder
+      attr_reader table: Table
+      attr_reader context_constants_cache: Hash[context, Hash[Symbol, Constant]?]
+      attr_reader child_constants_cache: Hash[TypeName, Hash[Symbol, Constant]]
+
+      def initialize: (builder: DefinitionBuilder) -> void
+
+      # Resolves to `Constant` with given constant name `name` and `context`.
+      # Returns `nil` if the constant cannot be resolved from the context.
+      #
+      def resolve: (Symbol name, context: context) -> Constant?
+
+      # Returns the available all constants from `context`.
+      #
+      # Returns `nil` when the `context` is invalid.
+      def constants: (context) -> Hash[Symbol, Constant]?
+
+      # Resolves the module_name and constant name to `Constant`
+      #
+      # ```ruby
+      # A::B
+      # ^     <- module_name
+      #    ^  <- constant_name
+      # ```
+      #
+      # Find the
+      def resolve_child: (TypeName module_name, Symbol constant_name) -> Constant?
+
+      # Returns the table of all constants accessible with `::` (colon2) operator.
+      #
+      # * The constants under the module are included.
+      # * The constants under the ancestor modules are included.
+      #   * The constants under the `::Object` class are not included.
+      #   * The top level constants are not included.
+      #
+      def children: (TypeName module_name) -> Hash[Symbol, Constant]
+
+      private
+
+      def load_context_constants: (context) -> void
+
+      def load_child_constants: (TypeName) -> void
+
+      def constants_from_context: (context, constants: Hash[Symbol, Constant]) -> bool
+
+      def constants_from_ancestors: (TypeName, constants: Hash[Symbol, Constant]) -> void
+
+      def constants_itself: (context, constants: Hash[Symbol, Constant]) -> void
+    end
+  end
+end

data/sig/resolver/context.rbs

@@ -0,0 +1,34 @@
+module RBS
+  module Resolver
+    # `context` represents the module nesting structure.
+    #
+    # - `nil` means toplevel
+    # - A 2-tuple represents parent and the most inner module
+    #   - `TypeName` is for a module
+    #   - `false` is for unknown module
+    #
+    # Note that the `TypeName` must be an absolute type name.
+    #
+    # The following Ruby code has context of `[[nil, TypeName("::Foo")], false]` where
+    #
+    # * `Foo` is a class defined in RBS file
+    # * `Bar` is not defined in RBS files
+    #
+    # ```ruby
+    # class Foo
+    #   module Bar
+    #     # Context here
+    #   end
+    # end
+    # ```
+    #
+    # The unknown module (`false`) appears only in Ruby code.
+    # RBS modules/classes are always exists (or defines new module).
+    # Nesting a unknown module cannot happen in RBS.
+    #
+    # In Ruby this happens when the module/class is not declared in RBS files.
+    #
+    type context = [context, TypeName | false]
+                 | nil
+  end
+end

data/sig/resolver/type_name_resolver.rbs

@@ -0,0 +1,31 @@
+module RBS
+  module Resolver
+    # TypeNameResolver resolves given relative type name to absolute type name under a module nesting context.
+    #
+    # The type name resolution doesn't take account of ancestors of modules.
+    # It just ignores included modules and super classes.
+    #
+    class TypeNameResolver
+      type query = [TypeName, context]
+
+      def initialize: (Environment) -> void
+
+      # Translates given type name to absolute type name.
+      # Returns `nil` if cannot find associated type name.
+      #
+      def resolve: (TypeName, context: context) -> TypeName?
+
+      private
+
+      attr_reader all_names: Set[TypeName]
+
+      attr_reader cache: Hash[query, TypeName?]
+
+      def has_name?: (TypeName) -> TypeName?
+
+      def try_cache: (query) { () -> TypeName? } -> TypeName?
+
+      def resolve_in: (TypeName, context) -> TypeName?
+    end
+  end
+end

data/sig/typename.rbs

@@ -56,11 +56,17 @@ module RBS
 
     # Returns a new type name with a namespace appended to given namespace.
     #
-    #    TypeName("Hello").with_prefix(Namespace("World"))           # => World::Hello
-    #    TypeName("Foo::Bar").with_prefix(Namespace("::Hello"))      # => ::Hello::Foo::Bar
-    #    TypeName("::A::B").with_prefix(Namespace("C"))              # => ::A::B
+    # ```rb
+    # TypeName("Hello").with_prefix(Namespace("World"))           # => World::Hello
+    # TypeName("Foo::Bar").with_prefix(Namespace("::Hello"))      # => ::Hello::Foo::Bar
+    # TypeName("::A::B").with_prefix(Namespace("C"))              # => ::A::B
+    # ```
     #
     def with_prefix: (Namespace namespace) -> TypeName
+
+    def +: (TypeName) -> TypeName
+
+    def split: () -> Array[Symbol]
   end
 end
 

data/stdlib/bigdecimal/0/big_decimal.rbs

@@ -1187,6 +1187,19 @@ class BigDecimal < Numeric
   #
   def zero?: () -> bool
 
+  # <!--
+  #   rdoc-file=ext/bigdecimal/lib/bigdecimal/util.rb
+  #   - a.to_d -> bigdecimal
+  # -->
+  # Returns self.
+  #
+  #     require 'bigdecimal/util'
+  #
+  #     d = BigDecimal("3.14")
+  #     d.to_d                       # => 0.314e1
+  #
+  def to_d: () -> BigDecimal
+
   private
 
   def initialize_copy: (self) -> self
@@ -1378,3 +1391,125 @@ module Kernel
   #
   def self?.BigDecimal: (real | string | BigDecimal initial, ?int digits, ?exception: bool) -> BigDecimal
 end
+
+%a{annotate:rdoc:skip}
+class Integer
+  # <!--
+  #   rdoc-file=ext/bigdecimal/lib/bigdecimal/util.rb
+  #   - int.to_d  -> bigdecimal
+  # -->
+  # Returns the value of `int` as a BigDecimal.
+  #
+  #     require 'bigdecimal'
+  #     require 'bigdecimal/util'
+  #
+  #     42.to_d   # => 0.42e2
+  #
+  # See also BigDecimal::new.
+  #
+  def to_d: () -> BigDecimal
+end
+
+%a{annotate:rdoc:skip}
+class Float
+  # <!--
+  #   rdoc-file=ext/bigdecimal/lib/bigdecimal/util.rb
+  #   - float.to_d             -> bigdecimal
+  #   - float.to_d(precision)  -> bigdecimal
+  # -->
+  # Returns the value of `float` as a BigDecimal. The `precision` parameter is
+  # used to determine the number of significant digits for the result (the default
+  # is Float::DIG).
+  #
+  #     require 'bigdecimal'
+  #     require 'bigdecimal/util'
+  #
+  #     0.5.to_d         # => 0.5e0
+  #     1.234.to_d(2)    # => 0.12e1
+  #
+  # See also BigDecimal::new.
+  #
+  def to_d: (?Integer precision) -> BigDecimal
+end
+
+%a{annotate:rdoc:skip}
+class String
+  # <!--
+  #   rdoc-file=ext/bigdecimal/lib/bigdecimal/util.rb
+  #   - str.to_d  -> bigdecimal
+  # -->
+  # Returns the result of interpreting leading characters in `str` as a
+  # BigDecimal.
+  #
+  #     require 'bigdecimal'
+  #     require 'bigdecimal/util'
+  #
+  #     "0.5".to_d             # => 0.5e0
+  #     "123.45e1".to_d        # => 0.12345e4
+  #     "45.67 degrees".to_d   # => 0.4567e2
+  #
+  # See also BigDecimal::new.
+  #
+  def to_d: () -> BigDecimal
+end
+
+%a{annotate:rdoc:skip}
+class Rational
+  # <!--
+  #   rdoc-file=ext/bigdecimal/lib/bigdecimal/util.rb
+  #   - rat.to_d(precision)  -> bigdecimal
+  # -->
+  # Returns the value as a BigDecimal.
+  #
+  # The required `precision` parameter is used to determine the number of
+  # significant digits for the result.
+  #
+  #     require 'bigdecimal'
+  #     require 'bigdecimal/util'
+  #
+  #     Rational(22, 7).to_d(3)   # => 0.314e1
+  #
+  # See also BigDecimal::new.
+  #
+  def to_d: (Integer precision) -> BigDecimal
+end
+
+%a{annotate:rdoc:skip}
+class Complex
+  # <!--
+  #   rdoc-file=ext/bigdecimal/lib/bigdecimal/util.rb
+  #   - cmp.to_d             -> bigdecimal
+  #   - cmp.to_d(precision)  -> bigdecimal
+  # -->
+  # Returns the value as a BigDecimal.
+  #
+  # The `precision` parameter is required for a rational complex number. This
+  # parameter is used to determine the number of significant digits for the
+  # result.
+  #
+  #     require 'bigdecimal'
+  #     require 'bigdecimal/util'
+  #
+  #     Complex(0.1234567, 0).to_d(4)   # => 0.1235e0
+  #     Complex(Rational(22, 7), 0).to_d(3)   # => 0.314e1
+  #
+  # See also BigDecimal::new.
+  #
+  def to_d: (*untyped args) -> BigDecimal
+end
+
+%a{annotate:rdoc:skip}
+class NilClass
+  # <!--
+  #   rdoc-file=ext/bigdecimal/lib/bigdecimal/util.rb
+  #   - nil.to_d -> bigdecimal
+  # -->
+  # Returns nil represented as a BigDecimal.
+  #
+  #     require 'bigdecimal'
+  #     require 'bigdecimal/util'
+  #
+  #     nil.to_d   # => 0.0
+  #
+  def to_d: () -> BigDecimal
+end