tapioca 0.17.8 → 0.17.10

data/lib/tapioca/gem/listeners/methods.rb

@@ -24,7 +24,13 @@ module Tapioca
           compile_directly_owned_methods(node, symbol, singleton_class_of(constant), attached_class: constant)
         end
 
-        #: (RBI::Tree tree, String module_name, Module mod, ?Array[Symbol] for_visibility, ?attached_class: Module?) -> void
+        #: (
+        #|   RBI::Tree tree,
+        #|   String module_name,
+        #|   T::Module[top] mod,
+        #|   ?Array[Symbol] for_visibility,
+        #|   ?attached_class: T::Module[top]?
+        #| ) -> void
         def compile_directly_owned_methods(
           tree,
           module_name,
@@ -52,7 +58,13 @@ module Tapioca
             end
         end
 
-        #: (RBI::Tree tree, String symbol_name, Module constant, UnboundMethod? method, ?RBI::Visibility visibility) -> void
+        #: (
+        #|   RBI::Tree tree,
+        #|   String symbol_name,
+        #|   T::Module[top] constant,
+        #|   UnboundMethod? method,
+        #|   ?RBI::Visibility visibility
+        #| ) -> void
         def compile_method(tree, symbol_name, constant, method, visibility = RBI::Public.new)
           return unless method
           return unless method_owned_by_constant?(method, constant)
@@ -159,7 +171,7 @@ module Tapioca
         # This method implements a better way of checking whether a constant defines a method.
         # It walks up the ancestor tree via the `super_method` method; if any of the super
         # methods are owned by the constant, it means that the constant declares the method.
-        #: (UnboundMethod method, Module constant) -> bool
+        #: (UnboundMethod method, T::Module[top] constant) -> bool
         def method_owned_by_constant?(method, constant)
           # Widen the type of `method` to be nilable
           method = method #: UnboundMethod?
@@ -173,7 +185,7 @@ module Tapioca
           false
         end
 
-        #: (Module mod) -> Hash[Symbol, Array[Symbol]]
+        #: (T::Module[top] mod) -> Hash[Symbol, Array[Symbol]]
         def method_names_by_visibility(mod)
           {
             public: public_instance_methods_of(mod),
@@ -182,7 +194,7 @@ module Tapioca
           }
         end
 
-        #: (Module constant, String method_name) -> bool
+        #: (T::Module[top] constant, String method_name) -> bool
         def struct_method?(constant, method_name)
           return false unless T::Props::ClassMethods === constant
 
@@ -192,7 +204,7 @@ module Tapioca
             .include?(method_name.gsub(/=$/, "").to_sym)
         end
 
-        #: (Module? attached_class, Symbol method_name) -> bool?
+        #: (T::Module[top]? attached_class, Symbol method_name) -> bool?
         def method_new_in_abstract_class?(attached_class, method_name)
           attached_class &&
             method_name == :new &&
@@ -200,7 +212,7 @@ module Tapioca
             Class === attached_class.singleton_class
         end
 
-        #: (Module constant) -> UnboundMethod?
+        #: (T::Module[top] constant) -> UnboundMethod?
         def initialize_method_for(constant)
           constant.instance_method(:initialize)
         rescue

data/lib/tapioca/gem/listeners/mixins.rb

@@ -32,7 +32,7 @@ module Tapioca
           add_mixins(node, constant, extends.reverse, Runtime::Trackers::Mixin::Type::Extend)
         end
 
-        #: (RBI::Tree tree, Module constant, Array[Module] mods, Runtime::Trackers::Mixin::Type mixin_type) -> void
+        #: (RBI::Tree tree, T::Module[top] constant, Array[T::Module[top]] mods, Runtime::Trackers::Mixin::Type mixin_type) -> void
         def add_mixins(tree, constant, mods, mixin_type)
           mods
             .select do |mod|
@@ -59,7 +59,7 @@ module Tapioca
             end
         end
 
-        #: (Module constant, Module mixin, Runtime::Trackers::Mixin::Type mixin_type) -> bool
+        #: (T::Module[top] constant, T::Module[top] mixin, Runtime::Trackers::Mixin::Type mixin_type) -> bool
         def mixed_in_by_gem?(constant, mixin, mixin_type)
           mixin_location = Runtime::Trackers::Mixin.mixin_location(mixin, mixin_type, constant)
 
@@ -75,7 +75,7 @@ module Tapioca
           mixin_name.start_with?("T::") && !mixin_name.start_with?("T::Props")
         end
 
-        #: (Module constant) -> Array[Module]
+        #: (T::Module[top] constant) -> Array[T::Module[top]]
         def interesting_ancestors_of(constant)
           inherited_ancestors = Set.new.compare_by_identity.merge(inherited_ancestors_of(constant))
 

data/lib/tapioca/gem/listeners/sorbet_type_variables.rb

@@ -24,7 +24,7 @@ module Tapioca
           node << sclass if sclass.nodes.length > 1
         end
 
-        #: (RBI::Tree tree, Module constant) -> void
+        #: (RBI::Tree tree, T::Module[top] constant) -> void
         def compile_type_variable_declarations(tree, constant)
           # Try to find the type variables defined on this constant, bail if we can't
           type_variables = Runtime::GenericTypeRegistry.lookup_type_variables(constant)

data/lib/tapioca/gem/pipeline.rb

@@ -72,27 +72,34 @@ module Tapioca
         @events << Gem::ConstantFound.new(symbol, constant)
       end
 
-      #: (String symbol, Module constant) -> void
+      #: (String symbol, T::Module[top] constant) -> void
       def push_foreign_constant(symbol, constant)
         @events << Gem::ForeignConstantFound.new(symbol, constant)
       end
 
-      #: (String symbol, Module constant, RBI::Const node) -> void
+      #: (String symbol, T::Module[top] constant, RBI::Const node) -> void
       def push_const(symbol, constant, node)
         @events << Gem::ConstNodeAdded.new(symbol, constant, node)
       end
 
-      #: (String symbol, Module constant, RBI::Scope node) -> void
+      #: (String symbol, T::Module[top] constant, RBI::Scope node) -> void
       def push_scope(symbol, constant, node)
         @events << Gem::ScopeNodeAdded.new(symbol, constant, node)
       end
 
-      #: (String symbol, Module constant, RBI::Scope node) -> void
+      #: (String symbol, T::Module[top] constant, RBI::Scope node) -> void
       def push_foreign_scope(symbol, constant, node)
         @events << Gem::ForeignScopeNodeAdded.new(symbol, constant, node)
       end
 
-      #: (String symbol, Module constant, UnboundMethod method, RBI::Method node, untyped signature, Array[[Symbol, String]] parameters) -> void
+      #: (
+      #|   String symbol,
+      #|   T::Module[top] constant,
+      #|   UnboundMethod method,
+      #|   RBI::Method node,
+      #|   untyped signature,
+      #|   Array[[Symbol, String]] parameters
+      #| ) -> void
       def push_method(symbol, constant, method, node, signature, parameters) # rubocop:disable Metrics/ParameterLists
         @events << Gem::MethodNodeAdded.new(symbol, constant, method, node, signature, parameters)
       end
@@ -145,7 +152,7 @@ module Tapioca
         end
       end
 
-      #: (Symbol method_name, Module owner) -> MethodDefinitionLookupResult
+      #: (Symbol method_name, T::Module[top] owner) -> MethodDefinitionLookupResult
       def method_definition_in_gem(method_name, owner)
         definitions = Tapioca::Runtime::Trackers::MethodDefinition.method_definitions_for(method_name, owner)
 
@@ -171,7 +178,7 @@ module Tapioca
 
       # Helpers
 
-      #: (Module constant) -> String?
+      #: (T::Module[top] constant) -> String?
       def name_of(constant)
         name = name_of_proxy_target(constant, super(class_of(constant)))
         return name if name
@@ -243,7 +250,7 @@ module Tapioca
 
       # Compiling
 
-      #: (String symbol, Module constant) -> void
+      #: (String symbol, T::Module[top] constant) -> void
       def compile_foreign_constant(symbol, constant)
         return if skip_foreign_constant?(symbol, constant)
         return if seen?(symbol)
@@ -269,7 +276,7 @@ module Tapioca
         end
       end
 
-      #: (String name, Module constant) -> void
+      #: (String name, T::Module[top] constant) -> void
       def compile_alias(name, constant)
         return if seen?(name)
 
@@ -324,7 +331,7 @@ module Tapioca
         @root << node
       end
 
-      #: (String name, Module constant) -> void
+      #: (String name, T::Module[top] constant) -> void
       def compile_module(name, constant)
         return if skip_module?(name, constant)
         return if seen?(name)
@@ -335,7 +342,7 @@ module Tapioca
         push_scope(name, constant, scope)
       end
 
-      #: (String name, Module constant) -> RBI::Scope
+      #: (String name, T::Module[top] constant) -> RBI::Scope
       def compile_scope(name, constant)
         scope = if constant.is_a?(Class)
           superclass = compile_superclass(constant)
@@ -418,7 +425,7 @@ module Tapioca
         false
       end
 
-      #: (String name, Module constant) -> bool
+      #: (String name, T::Module[top] constant) -> bool
       def skip_alias?(name, constant)
         return true if symbol_in_payload?(name)
         return true unless constant_in_gem?(name)
@@ -436,12 +443,12 @@ module Tapioca
         false
       end
 
-      #: (String name, Module constant) -> bool
+      #: (String name, T::Module[top] constant) -> bool
       def skip_foreign_constant?(name, constant)
         Tapioca::TypeVariableModule === constant
       end
 
-      #: (String name, Module constant) -> bool
+      #: (String name, T::Module[top] constant) -> bool
       def skip_module?(name, constant)
         return true unless defined_in_gem?(constant, strict: false)
         return true if Tapioca::TypeVariableModule === constant
@@ -449,7 +456,7 @@ module Tapioca
         false
       end
 
-      #: (Module constant, ?strict: bool) -> bool
+      #: (T::Module[top] constant, ?strict: bool) -> bool
       def defined_in_gem?(constant, strict: true)
         files = get_file_candidates(constant)
           .merge(Runtime::Trackers::ConstantDefinition.files_for(constant))
@@ -461,7 +468,7 @@ module Tapioca
         end
       end
 
-      #: (Module constant) -> Set[String]
+      #: (T::Module[top] constant) -> Set[String]
       def get_file_candidates(constant)
         file_candidates_for(constant)
       rescue ArgumentError, NameError
@@ -492,7 +499,7 @@ module Tapioca
 
       # Helpers
 
-      #: ((Module & T::Generic) constant) -> String
+      #: ((T::Module[top] & T::Generic) constant) -> String
       def generic_name_of(constant)
         type_name = T.must(constant.name)
         return type_name if type_name =~ /\[.*\]$/
@@ -508,7 +515,7 @@ module Tapioca
         "#{type_name}[#{type_variable_names}]"
       end
 
-      #: (Module constant, String? class_name) -> String?
+      #: (T::Module[top] constant, String? class_name) -> String?
       def name_of_proxy_target(constant, class_name)
         return unless class_name == "ActiveSupport::Deprecation::DeprecatedConstantProxy"
 

data/lib/tapioca/gemfile.rb

@@ -64,7 +64,7 @@ module Tapioca
       [dependencies, missing_specs]
     end
 
-    #: -> [T::Enumerable[Spec], Array[String]]
+    #: -> [Enumerable[Spec], Array[String]]
     def materialize_deps
       deps = definition.locked_gems.dependencies.except(*@excluded_gems).values
       resolve = definition.resolve

data/lib/tapioca/helpers/config_helper.rb

@@ -89,7 +89,11 @@ module Tapioca
       @validating_config = false
     end
 
-    #: (Hash[Symbol, Thor::Option] command_options, String config_key, Hash[untyped, untyped] config_options) -> Array[ConfigError]
+    #: (
+    #|   Hash[Symbol, Thor::Option] command_options,
+    #|   String config_key,
+    #|   Hash[untyped, untyped] config_options
+    #| ) -> Array[ConfigError]
     def validate_config_options(command_options, config_key, config_options)
       config_options.filter_map do |config_option_key, config_option_value|
         command_option = command_options[config_option_key.to_sym]

data/lib/tapioca/helpers/rbi_files_helper.rb

@@ -64,7 +64,14 @@ module Tapioca
       url
     end
 
-    #: (command: String, gem_dir: String, dsl_dir: String, auto_strictness: bool, ?gems: Array[Gemfile::GemSpec], ?compilers: T::Enumerable[singleton(Dsl::Compiler)]) -> void
+    #: (
+    #|   command: String,
+    #|   gem_dir: String,
+    #|   dsl_dir: String,
+    #|   auto_strictness: bool,
+    #|   ?gems: Array[Gemfile::GemSpec],
+    #|   ?compilers: Enumerable[singleton(Dsl::Compiler)]
+    #| ) -> void
     def validate_rbi_files(command:, gem_dir:, dsl_dir:, auto_strictness:, gems: [], compilers: [])
       error_url_base = Spoom::Sorbet::Errors::DEFAULT_ERROR_URL_BASE
 

data/lib/tapioca/helpers/test/content.rb

@@ -28,7 +28,7 @@ module Tapioca
         #: (String name, String content, ?require_file: bool) -> String
         def add_ruby_file(name, content, require_file: true)
           add_content_file(name, content).tap do |file_name|
-            Tapioca.silence_warnings { require(file_name) } if require_file
+            Runtime.silence_warnings { require(file_name) } if require_file
           end
         end
 

data/lib/tapioca/internal.rb

@@ -4,6 +4,7 @@
 require "set"
 
 require "tapioca"
+require "tapioca/runtime/helpers"
 require "tapioca/runtime/reflection"
 require "tapioca/runtime/trackers"
 

data/lib/tapioca/loaders/gem.rb

@@ -9,7 +9,13 @@ module Tapioca
       class << self
         extend T::Sig
 
-        #: (bundle: Gemfile, prerequire: String?, postrequire: String, default_command: String, halt_upon_load_error: bool) -> void
+        #: (
+        #|   bundle: Gemfile,
+        #|   prerequire: String?,
+        #|   postrequire: String,
+        #|   default_command: String,
+        #|   halt_upon_load_error: bool
+        #| ) -> void
         def load_application(bundle:, prerequire:, postrequire:, default_command:, halt_upon_load_error:)
           loader = new(
             bundle: bundle,
@@ -30,7 +36,13 @@ module Tapioca
 
       protected
 
-      #: (bundle: Gemfile, prerequire: String?, postrequire: String, default_command: String, halt_upon_load_error: bool) -> void
+      #: (
+      #|   bundle: Gemfile,
+      #|   prerequire: String?,
+      #|   postrequire: String,
+      #|   default_command: String,
+      #|   halt_upon_load_error: bool
+      #| ) -> void
       def initialize(bundle:, prerequire:, postrequire:, default_command:, halt_upon_load_error:)
         super()
 
@@ -47,7 +59,7 @@ module Tapioca
 
         bundle_loaded = true #: bool
 
-        Tapioca.with_disabled_exits do
+        Runtime.with_disabled_exits do
           load_bundle(@bundle, @prerequire, @postrequire, @halt_upon_load_error)
         rescue LoadError => e
           bundle_loaded = false

data/lib/tapioca/rbi_ext/model.rb

@@ -5,7 +5,7 @@ module RBI
   class Tree
     extend T::Sig
 
-    #: (::Module constant) ?{ (Scope scope) -> void } -> Scope
+    #: (T::Module[top] constant) ?{ (Scope scope) -> void } -> Scope
     def create_path(constant, &block)
       constant_name = Tapioca::Runtime::Reflection.name_of(constant)
       raise "given constant does not have a name" unless constant_name
@@ -61,7 +61,14 @@ module RBI
       create_node(RBI::TypeMember.new(name, value))
     end
 
-    #: (String name, ?parameters: Array[TypedParam], ?return_type: String?, ?class_method: bool, ?visibility: RBI::Visibility, ?comments: Array[RBI::Comment]) ?{ (RBI::Method node) -> void } -> void
+    #: (
+    #|   String name,
+    #|   ?parameters: Array[TypedParam],
+    #|   ?return_type: String?,
+    #|   ?class_method: bool,
+    #|   ?visibility: RBI::Visibility,
+    #|   ?comments: Array[RBI::Comment]
+    #| ) ?{ (RBI::Method node) -> void } -> void
     def create_method(name, parameters: [], return_type: nil, class_method: false, visibility: RBI::Public.new,
       comments: [], &block)
       return unless Tapioca::RBIHelper.valid_method_name?(name)

data/lib/tapioca/repo_index.rb

@@ -30,7 +30,7 @@ module Tapioca
       @entries.add(gem_name)
     end
 
-    #: -> T::Enumerable[String]
+    #: -> Enumerable[String]
     def gems
       @entries.sort
     end

data/lib/tapioca/runtime/attached_class_of_32.rb

@@ -10,7 +10,7 @@ module Tapioca
     module AttachedClassOf
       extend T::Sig
 
-      #: (Class singleton_class) -> Module?
+      #: (Class singleton_class) -> T::Module[top]?
       def attached_class_of(singleton_class)
         result = singleton_class.attached_object
         Module === result ? result : nil

data/lib/tapioca/runtime/attached_class_of_legacy.rb

@@ -10,7 +10,7 @@ module Tapioca
     # @requires_ancestor: Tapioca::Runtime::Reflection
     module AttachedClassOf
       extend T::Sig
-      #: (Class singleton_class) -> Module?
+      #: (Class singleton_class) -> T::Module[top]?
       def attached_class_of(singleton_class)
         # https://stackoverflow.com/a/36622320/98634
         result = ObjectSpace.each_object(singleton_class).find do |klass|

data/lib/tapioca/runtime/dynamic_mixin_compiler.rb

@@ -7,7 +7,7 @@ module Tapioca
       extend T::Sig
       include Runtime::Reflection
 
-      #: Array[Module]
+      #: Array[T::Module[top]]
       attr_reader :dynamic_extends, :dynamic_includes
 
       #: Array[Symbol]
@@ -16,7 +16,7 @@ module Tapioca
       #: Array[Symbol]
       attr_reader :instance_attribute_readers, :instance_attribute_writers, :instance_attribute_predicates
 
-      #: (Module constant) -> void
+      #: (T::Module[top] constant) -> void
       def initialize(constant)
         @constant = constant
         mixins_from_modules = {}.compare_by_identity
@@ -112,12 +112,12 @@ module Tapioca
         # is the list of all dynamically extended modules because of that
         # constant. We grab that value by deleting the key for the original
         # constant.
-        @dynamic_extends = mixins_from_modules.delete(constant) || [] #: Array[Module]
+        @dynamic_extends = mixins_from_modules.delete(constant) || [] #: Array[T::Module[top]]
 
         # Since we deleted the original constant from the list of keys, all
         # the keys that remain are the ones that are dynamically included modules
         # during the include of the original constant.
-        @dynamic_includes = mixins_from_modules.keys #: Array[Module]
+        @dynamic_includes = mixins_from_modules.keys #: Array[T::Module[top]]
 
         @class_attribute_readers = class_attribute_readers #: Array[Symbol]
         @class_attribute_writers = class_attribute_writers #: Array[Symbol]
@@ -176,7 +176,7 @@ module Tapioca
         tree << RBI::Include.new("GeneratedInstanceMethods")
       end
 
-      #: (RBI::Tree tree) -> [Array[Module], Array[Module]]
+      #: (RBI::Tree tree) -> [Array[T::Module[top]], Array[T::Module[top]]]
       def compile_mixes_in_class_methods(tree)
         includes = dynamic_includes.filter_map do |mod|
           qname = qualified_name_of(mod)
@@ -211,7 +211,7 @@ module Tapioca
         [[], []] # silence errors
       end
 
-      #: (Module mod, Array[Module] dynamic_extends) -> bool
+      #: (T::Module[top] mod, Array[T::Module[top]] dynamic_extends) -> bool
       def module_included_by_another_dynamic_extend?(mod, dynamic_extends)
         dynamic_extends.any? do |dynamic_extend|
           mod != dynamic_extend && ancestors_of(dynamic_extend).include?(mod)

data/lib/tapioca/runtime/generic_type_registry.rb

@@ -21,18 +21,18 @@ module Tapioca
     # variable to type variable serializers. This allows us to associate type variables
     # to the constant names that represent them, easily.
     module GenericTypeRegistry
-      @generic_instances = {} #: Hash[String, Module]
+      @generic_instances = {} #: Hash[String, T::Module[top]]
 
-      @type_variables = {}.compare_by_identity #: Hash[Module, Array[TypeVariableModule]]
+      @type_variables = {}.compare_by_identity #: Hash[T::Module[top], Array[TypeVariableModule]]
 
       class GenericType < T::Types::Simple
         extend T::Sig
 
-        #: (Module raw_type, Module underlying_type) -> void
+        #: (T::Module[top] raw_type, T::Module[top] underlying_type) -> void
         def initialize(raw_type, underlying_type)
           super(raw_type)
 
-          @underlying_type = underlying_type #: Module
+          @underlying_type = underlying_type #: T::Module[top]
         end
 
         # @override
@@ -56,7 +56,7 @@ module Tapioca
         # 2 hash lookups (for the other two `Foo[Integer]`s).
         #
         # This method returns the created or cached clone of the constant.
-        #: (untyped constant, untyped types) -> Module
+        #: (untyped constant, untyped types) -> T::Module[top]
         def register_type(constant, types)
           # Build the name of the instantiated generic type,
           # something like `"Foo[X, Y, Z]"`
@@ -76,7 +76,7 @@ module Tapioca
           @generic_instances.values.any? { |generic_type| generic_type === instance }
         end
 
-        #: (Module constant) -> Array[TypeVariableModule]?
+        #: (T::Module[top] constant) -> Array[TypeVariableModule]?
         def lookup_type_variables(constant)
           @type_variables[constant]
         end
@@ -99,7 +99,7 @@ module Tapioca
 
         private
 
-        #: (Module constant, String name) -> Module
+        #: (T::Module[top] constant, String name) -> T::Module[top]
         def create_generic_type(constant, name)
           generic_type = case constant
           when Class
@@ -168,7 +168,7 @@ module Tapioca
           end
         end
 
-        #: (Module constant) -> Array[TypeVariableModule]
+        #: (T::Module[top] constant) -> Array[TypeVariableModule]
         def lookup_or_initialize_type_variables(constant)
           @type_variables[constant] ||= []
         end

data/lib/tapioca/runtime/helpers.rb

@@ -0,0 +1,40 @@
+# typed: strict
+# frozen_string_literal: true
+
+module Tapioca
+  module Runtime
+    NOOP_METHOD = ->(*_args, **_kwargs, &_block) {} #: ^() -> void
+    private_constant :NOOP_METHOD
+
+    class << self
+      #: [Result] { -> Result } -> Result
+      def silence_warnings(&blk)
+        original_verbosity = $VERBOSE
+        $VERBOSE = nil
+        ::Gem::DefaultUserInteraction.use_ui(::Gem::SilentUI.new) do
+          blk.call
+        end
+      ensure
+        $VERBOSE = original_verbosity
+      end
+
+      #: [Result] { -> Result } -> Result
+      def with_disabled_exits(&block)
+        original_abort = Kernel.instance_method(:abort)
+        original_exit = Kernel.instance_method(:exit)
+
+        begin
+          Kernel.define_method(:abort, NOOP_METHOD)
+          Kernel.define_method(:exit, NOOP_METHOD)
+
+          silence_warnings do
+            block.call
+          end
+        ensure
+          Kernel.define_method(:exit, original_exit)
+          Kernel.define_method(:abort, original_abort)
+        end
+      end
+    end
+  end
+end