rubocop-sorbet 0.6.1 → 0.6.5

data/lib/rubocop/cop/sorbet/sigils/enforce_single_sigil.rb

@@ -0,0 +1,63 @@
+# frozen_string_literal: true
+
+module RuboCop
+  module Cop
+    module Sorbet
+      # This cop checks that there is only one Sorbet sigil in a given file
+      #
+      # For example, the following class with two sigils
+      #
+      # ```ruby
+      # # typed: true
+      # # typed: true
+      # # frozen_string_literal: true
+      # class Foo; end
+      # ```
+      #
+      # Will be corrected as:
+      #
+      # ```ruby
+      # # typed: true
+      # # frozen_string_literal: true
+      # class Foo; end
+      # ```
+      #
+      # Other comments or magic comments are left in place.
+      class EnforceSingleSigil < ValidSigil
+        include RangeHelp
+
+        def investigate(processed_source)
+          return if processed_source.tokens.empty?
+          sigils = extract_all_sigils(processed_source)
+          return unless sigils.size > 1
+
+          sigils[1..sigils.size].each do |token|
+            add_offense(token, location: token.pos, message: "Files must only contain one sigil")
+          end
+        end
+
+        def autocorrect(_node)
+          -> (corrector) do
+            sigils = extract_all_sigils(processed_source)
+            return unless sigils.size > 1
+
+            # The first sigil encountered represents the "real" strictness so remove any below
+            sigils[1..sigils.size].each do |token|
+              corrector.remove(
+                source_range(processed_source.buffer, token.line, (0..token.pos.last_column))
+              )
+            end
+          end
+        end
+
+        protected
+
+        def extract_all_sigils(processed_source)
+          processed_source.tokens
+            .take_while { |token| token.type == :tCOMMENT }
+            .find_all { |token| SIGIL_REGEX.match?(token.text) }
+        end
+      end
+    end
+  end
+end

data/lib/rubocop/cop/sorbet/sigils/false_sigil.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require_relative 'has_sigil'
+require "rubocop"
+require_relative "has_sigil"
 
 module RuboCop
   module Cop
@@ -9,7 +9,7 @@ module RuboCop
       # This cop makes the Sorbet `false` sigil mandatory in all files.
       class FalseSigil < HasSigil
         def minimum_strictness
-          'false'
+          "false"
         end
       end
     end

data/lib/rubocop/cop/sorbet/sigils/has_sigil.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require_relative 'valid_sigil'
+require "rubocop"
+require_relative "valid_sigil"
 
 module RuboCop
   module Cop

data/lib/rubocop/cop/sorbet/sigils/ignore_sigil.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require_relative 'has_sigil'
+require "rubocop"
+require_relative "has_sigil"
 
 module RuboCop
   module Cop
@@ -9,7 +9,7 @@ module RuboCop
       # This cop makes the Sorbet `ignore` sigil mandatory in all files.
       class IgnoreSigil < HasSigil
         def minimum_strictness
-          'ignore'
+          "ignore"
         end
       end
     end

data/lib/rubocop/cop/sorbet/sigils/strict_sigil.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require_relative 'has_sigil'
+require "rubocop"
+require_relative "has_sigil"
 
 module RuboCop
   module Cop
@@ -9,7 +9,7 @@ module RuboCop
       # This cop makes the Sorbet `strict` sigil mandatory in all files.
       class StrictSigil < HasSigil
         def minimum_strictness
-          'strict'
+          "strict"
         end
       end
     end

data/lib/rubocop/cop/sorbet/sigils/strong_sigil.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require_relative 'has_sigil'
+require "rubocop"
+require_relative "has_sigil"
 
 module RuboCop
   module Cop
@@ -9,7 +9,7 @@ module RuboCop
       # This cop makes the Sorbet `strong` sigil mandatory in all files.
       class StrongSigil < HasSigil
         def minimum_strictness
-          'strong'
+          "strong"
         end
       end
     end

data/lib/rubocop/cop/sorbet/sigils/true_sigil.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require_relative 'has_sigil'
+require "rubocop"
+require_relative "has_sigil"
 
 module RuboCop
   module Cop
@@ -9,7 +9,7 @@ module RuboCop
       # This cop makes the Sorbet `true` sigil mandatory in all files.
       class TrueSigil < HasSigil
         def minimum_strictness
-          'true'
+          "true"
         end
       end
     end

data/lib/rubocop/cop/sorbet/sigils/valid_sigil.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'rubocop'
+require "rubocop"
 
 module RuboCop
   module Cop
@@ -48,7 +48,7 @@ module RuboCop
 
         protected
 
-        STRICTNESS_LEVELS = %w(ignore false true strict strong)
+        STRICTNESS_LEVELS = ["ignore", "false", "true", "strict", "strong"]
         SIGIL_REGEX = /#\s+typed:(?:\s+([\w]+))?/
 
         # extraction
@@ -74,7 +74,7 @@ module RuboCop
             add_offense(
               token,
               location: token.pos,
-              message: 'No Sorbet sigil found in file. ' \
+              message: "No Sorbet sigil found in file. " \
                 "Try a `typed: #{strictness}` to start (you can also use `rubocop -a` to automatically add this)."
             )
           end
@@ -87,7 +87,7 @@ module RuboCop
           return suggested_strictness unless minimum_strictness
 
           # special case: if you're using Sorbet/IgnoreSigil without config, we should recommend `ignore`
-          return "ignore" if minimum_strictness == "ignore" && cop_config['SuggestedStrictness'].nil?
+          return "ignore" if minimum_strictness == "ignore" && cop_config["SuggestedStrictness"].nil?
 
           # if a minimum strictness is set (eg. you're using Sorbet/FalseSigil)
           # we want to compare the minimum strictness and suggested strictness. this is because
@@ -106,7 +106,7 @@ module RuboCop
           add_offense(
             sigil,
             location: sigil.pos,
-            message: 'Sorbet sigil should not be empty.'
+            message: "Sorbet sigil should not be empty."
           )
           false
         end
@@ -142,17 +142,19 @@ module RuboCop
 
         # Default is `false`
         def require_sigil_on_all_files?
-          !!cop_config['RequireSigilOnAllFiles']
+          !!cop_config["RequireSigilOnAllFiles"]
         end
 
         # Default is `'false'`
         def suggested_strictness
-          STRICTNESS_LEVELS.include?(cop_config['SuggestedStrictness']) ? cop_config['SuggestedStrictness'] : 'false'
+          config = cop_config["SuggestedStrictness"].to_s
+          STRICTNESS_LEVELS.include?(config) ? config : "false"
         end
 
         # Default is `nil`
         def minimum_strictness
-          cop_config['MinimumStrictness'] if STRICTNESS_LEVELS.include?(cop_config['MinimumStrictness'])
+          config = cop_config["MinimumStrictness"].to_s
+          config if STRICTNESS_LEVELS.include?(config)
         end
       end
     end

data/lib/rubocop/cop/sorbet/signatures/allow_incompatible_override.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'rubocop'
+require "rubocop"
 
 module RuboCop
   module Cop
@@ -49,8 +49,8 @@ module RuboCop
           return unless allow_incompatible_override?(node)
           add_offense(
             node.children[2],
-            message: 'Usage of `allow_incompatible` suggests a violation of the Liskov Substitution Principle. '\
-            'Instead, strive to write interfaces which respect subtyping principles and remove `allow_incompatible`',
+            message: "Usage of `allow_incompatible` suggests a violation of the Liskov Substitution Principle. "\
+            "Instead, strive to write interfaces which respect subtyping principles and remove `allow_incompatible`",
           )
         end
       end

data/lib/rubocop/cop/sorbet/signatures/checked_true_in_signature.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require_relative 'signature_cop'
+require "rubocop"
+require_relative "signature_cop"
 
 module RuboCop
   module Cop
@@ -27,10 +27,10 @@ module RuboCop
         PATTERN
 
         MESSAGE =
-          'Using `checked(true)` in a method signature definition is not allowed. ' \
-            '`checked(true)` is the default behavior for modules/classes with runtime checks enabled. ' \
-            'To enable typechecking at runtime for this module, regardless of global settings, ' \
-            '`include(WaffleCone::RuntimeChecks)` to this module and set other methods to `checked(false)`.'
+          "Using `checked(true)` in a method signature definition is not allowed. " \
+            "`checked(true)` is the default behavior for modules/classes with runtime checks enabled. " \
+            "To enable typechecking at runtime for this module, regardless of global settings, " \
+            "`include(WaffleCone::RuntimeChecks)` to this module and set other methods to `checked(false)`."
         private_constant(:MESSAGE)
 
         def on_signature(node)

data/lib/rubocop/cop/sorbet/signatures/enforce_signatures.rb

@@ -1,8 +1,8 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require 'stringio'
-require_relative 'signature_cop'
+require "rubocop"
+require "stringio"
+require_relative "signature_cop"
 
 module RuboCop
   module Cop
@@ -48,8 +48,8 @@ module RuboCop
           check_node(node) if accessor?(node)
         end
 
-        def on_block(node)
-          @last_sig_for_scope[scope(node)] = node if signature?(node)
+        def on_signature(node)
+          @last_sig_for_scope[scope(node)] = node
         end
 
         def autocorrect(node)
@@ -64,7 +64,7 @@ module RuboCop
               method = node.children[1]
               symbol = node.children[2]
               suggest.params << symbol.value if symbol && (method == :attr_writer || method == :attr_accessor)
-              suggest.returns = 'void' if method == :attr_writer
+              suggest.returns = "void" if method == :attr_writer
             end
 
             corrector.insert_before(node.loc.expression, suggest.to_autocorrect)
@@ -91,11 +91,11 @@ module RuboCop
         end
 
         def param_type_placeholder
-          cop_config['ParameterTypePlaceholder'] || 'T.untyped'
+          cop_config["ParameterTypePlaceholder"] || "T.untyped"
         end
 
         def return_type_placeholder
-          cop_config['ReturnTypePlaceholder'] || 'T.untyped'
+          cop_config["ReturnTypePlaceholder"] || "T.untyped"
         end
 
         class SigSuggestion
@@ -111,11 +111,11 @@ module RuboCop
 
           def to_autocorrect
             out = StringIO.new
-            out << 'sig { '
+            out << "sig { "
             out << generate_params
             out << generate_return
             out << " }\n"
-            out << ' ' * @indent # preserve indent for the next line
+            out << " " * @indent # preserve indent for the next line
             out.string
           end
 
@@ -124,17 +124,17 @@ module RuboCop
           def generate_params
             return if @params.empty?
             out = StringIO.new
-            out << 'params('
+            out << "params("
             out << @params.map do |param|
               "#{param}: #{@param_placeholder}"
             end.join(", ")
-            out << ').'
+            out << ")."
             out.string
           end
 
           def generate_return
             return "returns(#{@return_placeholder})" if @returns.nil?
-            return @returns if @returns == 'void'
+            return @returns if @returns == "void"
             "returns(#{@returns})"
           end
         end

data/lib/rubocop/cop/sorbet/signatures/keyword_argument_ordering.rb

@@ -1,7 +1,7 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require_relative 'signature_cop'
+require "rubocop"
+require_relative "signature_cop"
 
 module RuboCop
   module Cop
@@ -41,7 +41,7 @@ module RuboCop
 
             add_offense(
               param,
-              message: 'Optional keyword arguments must be at the end of the parameter list.'
+              message: "Optional keyword arguments must be at the end of the parameter list."
             )
           end
         end

data/lib/rubocop/cop/sorbet/signatures/signature_build_order.rb

@@ -1,10 +1,10 @@
 # frozen_string_literal: true
 
-require 'rubocop'
-require_relative 'signature_cop'
+require "rubocop"
+require_relative "signature_cop"
 
 begin
-  require 'unparser'
+  require "unparser"
 rescue LoadError
   nil
 end
@@ -28,7 +28,7 @@ module RuboCop
           ].each_with_index.to_h.freeze
 
         def_node_search(:root_call, <<~PATTERN)
-          (send nil? {#{ORDER.keys.map(&:inspect).join(' ')}} ...)
+          (send nil? {#{ORDER.keys.map(&:inspect).join(" ")}} ...)
         PATTERN
 
         def on_signature(node)
@@ -38,10 +38,10 @@ module RuboCop
           expected_order = calls.sort_by { |call| ORDER[call] }
           return if expected_order == calls
 
-          message = "Sig builders must be invoked in the following order: #{expected_order.join(', ')}."
+          message = "Sig builders must be invoked in the following order: #{expected_order.join(", ")}."
 
           unless can_autocorrect?
-            message += ' For autocorrection, add the `unparser` gem to your project.'
+            message += " For autocorrection, add the `unparser` gem to your project."
           end
 
           add_offense(

data/lib/rubocop/cop/sorbet/signatures/signature_cop.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require 'rubocop'
+require "rubocop"
 
 module RuboCop
   module Cop
@@ -12,9 +12,24 @@ module RuboCop
         @registry = Cop.registry # So we can properly subclass this cop
 
         def_node_matcher(:signature?, <<~PATTERN)
-          (block (send nil? :sig) (args) ...)
+          (block (send #allowed_recv :sig) (args) ...)
         PATTERN
 
+        def_node_matcher(:with_runtime?, <<~PATTERN)
+          (const (const nil? :T) :Sig)
+        PATTERN
+
+        def_node_matcher(:without_runtime?, <<~PATTERN)
+          (const (const (const nil? :T) :Sig) :WithoutRuntime)
+        PATTERN
+
+        def allowed_recv(recv)
+          return true unless recv
+          return true if with_runtime?(recv)
+          return true if without_runtime?(recv)
+          false
+        end
+
         def on_block(node)
           on_signature(node) if signature?(node)
         end

data/lib/rubocop/cop/sorbet_cops.rb

@@ -1,25 +1,29 @@
 # frozen_string_literal: true
-require_relative 'sorbet/binding_constants_without_type_alias'
-require_relative 'sorbet/constants_from_strings'
-require_relative 'sorbet/forbid_extend_t_sig_helpers_in_shims'
-require_relative 'sorbet/forbid_superclass_const_literal'
-require_relative 'sorbet/forbid_include_const_literal'
-require_relative 'sorbet/forbid_untyped_struct_props'
-require_relative 'sorbet/single_line_rbi_class_module_definitions'
-require_relative 'sorbet/one_ancestor_per_line'
+require_relative "sorbet/binding_constants_without_type_alias"
+require_relative "sorbet/constants_from_strings"
+require_relative "sorbet/forbid_superclass_const_literal"
+require_relative "sorbet/forbid_include_const_literal"
+require_relative "sorbet/forbid_untyped_struct_props"
+require_relative "sorbet/one_ancestor_per_line"
+require_relative "sorbet/callback_conditionals_binding"
+require_relative "sorbet/forbid_t_unsafe"
 
-require_relative 'sorbet/signatures/allow_incompatible_override'
-require_relative 'sorbet/signatures/checked_true_in_signature'
-require_relative 'sorbet/signatures/keyword_argument_ordering'
-require_relative 'sorbet/signatures/parameters_ordering_in_signature'
-require_relative 'sorbet/signatures/signature_build_order'
-require_relative 'sorbet/signatures/enforce_signatures'
+require_relative "sorbet/rbi/forbid_extend_t_sig_helpers_in_shims"
+require_relative "sorbet/rbi/forbid_rbi_outside_of_allowed_paths"
+require_relative "sorbet/rbi/single_line_rbi_class_module_definitions"
 
-require_relative 'sorbet/sigils/valid_sigil'
-require_relative 'sorbet/sigils/has_sigil'
-require_relative 'sorbet/sigils/ignore_sigil'
-require_relative 'sorbet/sigils/false_sigil'
-require_relative 'sorbet/sigils/true_sigil'
-require_relative 'sorbet/sigils/strict_sigil'
-require_relative 'sorbet/sigils/strong_sigil'
-require_relative 'sorbet/sigils/enforce_sigil_order'
+require_relative "sorbet/signatures/allow_incompatible_override"
+require_relative "sorbet/signatures/checked_true_in_signature"
+require_relative "sorbet/signatures/keyword_argument_ordering"
+require_relative "sorbet/signatures/signature_build_order"
+require_relative "sorbet/signatures/enforce_signatures"
+
+require_relative "sorbet/sigils/valid_sigil"
+require_relative "sorbet/sigils/has_sigil"
+require_relative "sorbet/sigils/ignore_sigil"
+require_relative "sorbet/sigils/false_sigil"
+require_relative "sorbet/sigils/true_sigil"
+require_relative "sorbet/sigils/strict_sigil"
+require_relative "sorbet/sigils/strong_sigil"
+require_relative "sorbet/sigils/enforce_sigil_order"
+require_relative "sorbet/sigils/enforce_single_sigil"

data/lib/rubocop/sorbet/version.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 module RuboCop
   module Sorbet
-    VERSION = "0.6.1"
+    VERSION = "0.6.5"
   end
 end

data/lib/rubocop/sorbet.rb

@@ -7,7 +7,7 @@ module RuboCop
     class Error < StandardError; end
 
     PROJECT_ROOT   = Pathname.new(__dir__).parent.parent.expand_path.freeze
-    CONFIG_DEFAULT = PROJECT_ROOT.join('config', 'default.yml').freeze
+    CONFIG_DEFAULT = PROJECT_ROOT.join("config", "default.yml").freeze
     CONFIG         = YAML.safe_load(CONFIG_DEFAULT.read).freeze
 
     private_constant(:CONFIG_DEFAULT, :PROJECT_ROOT)

data/lib/rubocop-sorbet.rb

@@ -1,11 +1,11 @@
 # frozen_string_literal: true
 
-require 'rubocop'
+require "rubocop"
 
-require_relative 'rubocop/sorbet'
-require_relative 'rubocop/sorbet/version'
-require_relative 'rubocop/sorbet/inject'
+require_relative "rubocop/sorbet"
+require_relative "rubocop/sorbet/version"
+require_relative "rubocop/sorbet/inject"
 
 RuboCop::Sorbet::Inject.defaults!
 
-require_relative 'rubocop/cop/sorbet_cops'
+require_relative "rubocop/cop/sorbet_cops"

data/manual/cops.md

@@ -7,20 +7,23 @@ In the following section you find all available cops:
 
 * [Sorbet/AllowIncompatibleOverride](cops_sorbet.md#sorbetallowincompatibleoverride)
 * [Sorbet/BindingConstantWithoutTypeAlias](cops_sorbet.md#sorbetbindingconstantwithouttypealias)
+* [Sorbet/CallbackConditionalsBinding](cops_sorbet.md#sorbetcallbackconditionalsbinding)
 * [Sorbet/CheckedTrueInSignature](cops_sorbet.md#sorbetcheckedtrueinsignature)
 * [Sorbet/ConstantsFromStrings](cops_sorbet.md#sorbetconstantsfromstrings)
 * [Sorbet/EnforceSigilOrder](cops_sorbet.md#sorbetenforcesigilorder)
 * [Sorbet/EnforceSignatures](cops_sorbet.md#sorbetenforcesignatures)
+* [Sorbet/EnforceSingleSigil](cops_sorbet.md#sorbetenforcesinglesigil)
 * [Sorbet/FalseSigil](cops_sorbet.md#sorbetfalsesigil)
 * [Sorbet/ForbidExtendTSigHelpersInShims](cops_sorbet.md#sorbetforbidextendtsighelpersinshims)
 * [Sorbet/ForbidIncludeConstLiteral](cops_sorbet.md#sorbetforbidincludeconstliteral)
+* [Sorbet/ForbidRBIOutsideOfAllowedPaths](cops_sorbet.md#sorbetforbidrbioutsideofallowedpaths)
 * [Sorbet/ForbidSuperclassConstLiteral](cops_sorbet.md#sorbetforbidsuperclassconstliteral)
+* [Sorbet/ForbidTUnsafe](cops_sorbet.md#sorbetforbidtunsafe)
 * [Sorbet/ForbidUntypedStructProps](cops_sorbet.md#sorbetforbiduntypedstructprops)
 * [Sorbet/HasSigil](cops_sorbet.md#sorbethassigil)
 * [Sorbet/IgnoreSigil](cops_sorbet.md#sorbetignoresigil)
 * [Sorbet/KeywordArgumentOrdering](cops_sorbet.md#sorbetkeywordargumentordering)
 * [Sorbet/OneAncestorPerLine](cops_sorbet.md#sorbetoneancestorperline)
-* [Sorbet/ParametersOrderingInSignature](cops_sorbet.md#sorbetparametersorderinginsignature)
 * [Sorbet/SignatureBuildOrder](cops_sorbet.md#sorbetsignaturebuildorder)
 * [Sorbet/SignatureCop](cops_sorbet.md#sorbetsignaturecop)
 * [Sorbet/SingleLineRbiClassModuleDefinitions](cops_sorbet.md#sorbetsinglelinerbiclassmoduledefinitions)