Revisit coerce and validators

Author: ericproulx

lib/grape/dsl/parameters.rb

@@ -129,7 +129,7 @@ def requires(*attrs, &block)
         orig_attrs = attrs.clone
 
         opts = attrs.extract_options!.clone
-        opts[:presence] = { value: true, message: opts[:message] }
+        opts[:presence] = { value: true, message: opts.delete(:message) }
         opts = @group.deep_merge(opts) if instance_variable_defined?(:@group) && @group
 
         if opts[:using]
@@ -177,25 +177,25 @@ def with(*attrs, &block)
       # Disallow the given parameters to be present in the same request.
       # @param attrs [*Symbol] parameters to validate
       def mutually_exclusive(*attrs)
-        validates(attrs, mutual_exclusion: { value: true, message: extract_message_option(attrs) })
+        validates(attrs, mutual_exclusion: extract_options_with_value(attrs))
       end
 
       # Require exactly one of the given parameters to be present.
       # @param (see #mutually_exclusive)
       def exactly_one_of(*attrs)
-        validates(attrs, exactly_one_of: { value: true, message: extract_message_option(attrs) })
+        validates(attrs, exactly_one_of: extract_options_with_value(attrs))
       end
 
       # Require at least one of the given parameters to be present.
       # @param (see #mutually_exclusive)
       def at_least_one_of(*attrs)
-        validates(attrs, at_least_one_of: { value: true, message: extract_message_option(attrs) })
+        validates(attrs, at_least_one_of: extract_options_with_value(attrs))
       end
 
       # Require that either all given params are present, or none are.
       # @param (see #mutually_exclusive)
       def all_or_none_of(*attrs)
-        validates(attrs, all_or_none_of: { value: true, message: extract_message_option(attrs) })
+        validates(attrs, all_or_none_of: extract_options_with_value(attrs))
       end
 
       # Define a block of validations which should be applied if and only if
@@ -261,6 +261,10 @@ def params(params)
       def first_hash_key_or_param(parameter)
         parameter.is_a?(Hash) ? parameter.keys.first : parameter
       end
+
+      def extract_options_with_value(attrs)
+        attrs.extract_options!.merge!(value: true)
+      end
     end
   end
 end

lib/grape/endpoint.rb

@@ -351,12 +351,10 @@ def finallies
       namespace_stackable(:finallies)
     end
 
-    def validations
-      return enum_for(:validations) unless block_given?
+    def validations(&block)
+      return enum_for(:validations) unless block
 
-      route_setting(:saved_validations)&.each do |saved_validation|
-        yield Grape::Validations::ValidatorFactory.create_validator(saved_validation)
-      end
+      route_setting(:saved_validations)&.each(&block)
     end
 
     def options?

lib/grape/validations/attributes_doc.rb

@@ -26,11 +26,12 @@ def extract_details(validations)
         documentation = validations.delete(:documentation)
 
         details[:documentation] = documentation if documentation
-
         details[:default] = validations[:default] if validations.key?(:default)
 
-        details[:min_length] = validations[:length][:min] if validations.key?(:length) && validations[:length].key?(:min)
-        details[:max_length] = validations[:length][:max] if validations.key?(:length) && validations[:length].key?(:max)
+        return unless validations.key?(:length)
+
+        details[:min_length] = validations[:length][:min] if validations[:length].key?(:min)
+        details[:max_length] = validations[:length][:max] if validations[:length].key?(:max)
       end
 
       def document(attrs)

lib/grape/validations/contract_scope.rb

@@ -10,7 +10,6 @@ class ContractScope
       def initialize(api, contract = nil, &block)
         # When block is passed, the first arg is either schema or nil.
         contract = Dry::Schema.Params(parent: contract, &block) if block
-
         if contract.respond_to?(:schema)
           # It's a Dry::Validation::Contract, then.
           contract = contract.new
@@ -21,13 +20,7 @@ def initialize(api, contract = nil, &block)
         end
 
         api.namespace_stackable(:contract_key_map, key_map)
-
-        validator_options = {
-          validator_class: Grape::Validations.require_validator(:contract_scope),
-          opts: { schema: contract, fail_fast: false }
-        }
-
-        api.namespace_stackable(:validations, validator_options)
+        api.namespace_stackable(:validations, Validators::ContractScopeValidator.new(nil, nil, nil, nil, schema: contract, fail_fast: false))
       end
     end
   end

lib/grape/validations/params_scope.rb

@@ -3,16 +3,18 @@
 module Grape
   module Validations
     class ParamsScope
+      include Grape::DSL::Parameters
+
       attr_accessor :element, :parent, :index
       attr_reader :type
 
-      include Grape::DSL::Parameters
-
       # There are a number of documentation options on entities that don't have
       # corresponding validators. Since there is nowhere that enumerates them all,
       # we maintain a list of them here and skip looking up validators for them.
       RESERVED_DOCUMENTATION_KEYWORDS = %i[as required param_type is_array format example].freeze
 
+      ValidatorOptions = Struct.new(:attributes, :options, :required, :params_scope, :opts)
+
       class Attr
         attr_accessor :key, :scope
 
@@ -84,7 +86,7 @@ def configuration
       def should_validate?(parameters)
         scoped_params = params(parameters)
 
-        return false if @optional && (scoped_params.blank? || all_element_blank?(scoped_params))
+        return false if @optional && scoped_params.blank?
         return false unless meets_dependency?(scoped_params, parameters)
         return true if parent.nil?
 
@@ -320,43 +322,19 @@ def configure_declared_params
       def validates(attrs, validations)
         doc = AttributesDoc.new @api, self
         doc.extract_details validations
+        doc.type = infer_coercion_type(validations)
+        doc.values = extract_value_option(validations[:values])
+        except_values = extract_value_option(validations[:except_values])
 
-        coerce_type = infer_coercion(validations)
-
-        doc.type = coerce_type
-
-        default = validations[:default]
-
-        if (values_hash = validations[:values]).is_a? Hash
-          values = values_hash[:value]
-          # NB: excepts is deprecated
-          excepts = values_hash[:except]
-        else
-          values = validations[:values]
-        end
-
-        doc.values = values
-
-        except_values = options_key?(:except_values, :value, validations) ? validations[:except_values][:value] : validations[:except_values]
-
-        # NB. values and excepts should be nil, Proc, Array, or Range.
-        # Specifically, values should NOT be a Hash
-
-        # use values or excepts to guess coerce type when stated type is Array
-        coerce_type = guess_coerce_type(coerce_type, values, except_values, excepts)
-
-        # default value should be present in values array, if both exist and are not procs
-        check_incompatible_option_values(default, values, except_values, excepts)
-
-        # type should be compatible with values array, if both exist
-        validate_value_coercion(coerce_type, values, except_values, excepts)
+        check_values_coercing!(doc.type, doc.values, except_values)
+        check_default_inclusion!(validations[:default], doc.values, except_values)
 
         doc.document attrs
 
         opts = derive_validator_options(validations)
 
         # Validate for presence before any other validators
-        validates_presence(validations, attrs, doc, opts)
+        validates_presence(validations.delete(:presence), attrs, doc, opts)
 
         # Before we run the rest of the validators, let's handle
         # whatever coercion so that we are working with correctly
@@ -384,29 +362,16 @@ def validates(attrs, validations)
       #   parameter declaration
       # @return [class-like] type to which the parameter will be coerced
       # @raise [ArgumentError] if the given type options are invalid
-      def infer_coercion(validations)
-        raise ArgumentError, ':type may not be supplied with :types' if validations.key?(:type) && validations.key?(:types)
-
-        validations[:coerce] = (options_key?(:type, :value, validations) ? validations[:type][:value] : validations[:type]) if validations.key?(:type)
-        validations[:coerce_message] = (options_key?(:type, :message, validations) ? validations[:type][:message] : nil) if validations.key?(:type)
-        validations[:coerce] = (options_key?(:types, :value, validations) ? validations[:types][:value] : validations[:types]) if validations.key?(:types)
-        validations[:coerce_message] = (options_key?(:types, :message, validations) ? validations[:types][:message] : nil) if validations.key?(:types)
-
-        validations.delete(:types) if validations.key?(:types)
+      def infer_coercion_type(validations)
+        coerce_options = validations.extract!(:type, :types)
+        return if coerce_options.empty?
 
-        coerce_type = validations[:coerce]
+        raise ArgumentError, ':type may not be supplied with :types' if coerce_options.size == 2
 
-        # Special case - when the argument is a single type that is a
-        # variant-type collection.
-        if Types.multiple?(coerce_type) && validations.key?(:type)
-          validations[:coerce] = Types::VariantCollectionCoercer.new(
-            coerce_type,
-            validations.delete(:coerce_with)
-          )
+        add_validations_coercion_options(coerce_options[:type] || coerce_options[:types], validations).tap do |coerce_type|
+          # special case of variant-member-type see https://github.com/ruby-grape/grape/tree/master?tab=readme-ov-file#multiple-allowed-types
+          validations[:coerce_variant_collection] = Types.multiple?(coerce_type) if coerce_options.key?(:type)
         end
-        validations.delete(:type)
-
-        coerce_type
       end
 
       # Enforce correct usage of :coerce_with parameter.
@@ -420,7 +385,7 @@ def check_coerce_with(validations)
 
         # but not special JSON types, which
         # already imply coercion method
-        return if [JSON, Array[JSON]].exclude? validations[:coerce]
+        return if Types::DISALLOWED_COERCE_TYPES.exclude? validations[:coerce]
 
         raise ArgumentError, 'coerce_with disallowed for type: JSON'
       end
@@ -434,99 +399,83 @@ def check_coerce_with(validations)
       def coerce_type(validations, attrs, doc, opts)
         check_coerce_with(validations)
 
-        return unless validations.key?(:coerce)
+        coerce_validations_options = validations.extract!(:coerce, :coerce_with, :coerce_message, :coerce_variant_collection)
+        return unless coerce_validations_options[:coerce]
 
         coerce_options = {
-          type: validations[:coerce],
-          method: validations[:coerce_with],
-          message: validations[:coerce_message]
+          type: coerce_validations_options[:coerce],
+          method: coerce_validations_options[:coerce_with],
+          message: coerce_validations_options[:coerce_message],
+          variant_collection: coerce_validations_options[:coerce_variant_collection]
         }
-        validate('coerce', coerce_options, attrs, doc, opts)
-        validations.delete(:coerce_with)
-        validations.delete(:coerce)
-        validations.delete(:coerce_message)
-      end
-
-      def guess_coerce_type(coerce_type, *values_list)
-        return coerce_type unless coerce_type == Array
 
-        values_list.each do |values|
-          next if !values || values.is_a?(Proc)
-          return values.first.class if values.is_a?(Range) || !values.empty?
-        end
-        coerce_type
+        validate(:coerce, coerce_options, attrs, doc, opts)
       end
 
-      def check_incompatible_option_values(default, values, except_values, excepts)
+      def check_default_inclusion!(default, values, except_values)
         return unless default && !default.is_a?(Proc)
 
-        raise Grape::Exceptions::IncompatibleOptionValues.new(:default, default, :values, values) if values && !values.is_a?(Proc) && !Array(default).all? { |def_val| values.include?(def_val) }
+        raise Grape::Exceptions::IncompatibleOptionValues.new(:default, default, :values, values) if values && !values.is_a?(Proc) && !Array(default).all? { |def_value| values.include?(def_value) }
 
-        if except_values && !except_values.is_a?(Proc) && Array(default).any? { |def_val| except_values.include?(def_val) }
-          raise Grape::Exceptions::IncompatibleOptionValues.new(:default, default, :except, except_values)
-        end
+        return unless except_values && !except_values.is_a?(Proc) && Array(default).any? { |def_value| except_values.include?(def_value) }
 
-        return unless excepts && !excepts.is_a?(Proc)
-        raise Grape::Exceptions::IncompatibleOptionValues.new(:default, default, :except, excepts) \
-          unless Array(default).none? { |def_val| excepts.include?(def_val) }
+        raise Grape::Exceptions::IncompatibleOptionValues.new(:default, default, :except, except_values)
       end
 
       def validate(type, options, attrs, doc, opts)
-        validator_options = {
-          attributes: attrs,
-          options: options,
-          required: doc.required,
-          params_scope: self,
-          opts: opts,
-          validator_class: Validations.require_validator(type)
-        }
-        @api.namespace_stackable(:validations, validator_options)
+        validator_class = Validations.require_validator(type)
+        @api.namespace_stackable(:validations, validator_class.new(attrs, options, doc.required, self, opts))
       end
 
-      def validate_value_coercion(coerce_type, *values_list)
-        return unless coerce_type
+      # Validators don't have access to each other and they don't need, however,
+      # some validators might influence others, so their options should be shared
+      def derive_validator_options(validations)
+        {
+          allow_blank: extract_value_option(validations[:allow_blank]) || false,
+          fail_fast: validations.delete(:fail_fast) || false
+        }
+      end
 
-        coerce_type = coerce_type.first if coerce_type.is_a?(Enumerable)
-        values_list.each do |values|
-          next if !values || values.is_a?(Proc)
+      def validates_presence(presence, attrs, doc, opts)
+        return unless presence
 
-          value_types = values.is_a?(Range) ? [values.begin, values.end].compact : values
-          value_types = value_types.map { |type| Grape::API::Boolean.build(type) } if coerce_type == Grape::API::Boolean
-          raise Grape::Exceptions::IncompatibleOptionValues.new(:type, coerce_type, :values, values) unless value_types.all?(coerce_type)
-        end
+        validate(:presence, presence, attrs, doc, opts)
       end
 
-      def extract_message_option(attrs)
-        return nil unless attrs.is_a?(Array)
+      def extract_value_option(option)
+        return option unless option.is_a?(Hash)
 
-        opts = attrs.last.is_a?(Hash) ? attrs.pop : {}
-        opts.key?(:message) && !opts[:message].nil? ? opts.delete(:message) : nil
+        option[:value]
       end
 
-      def options_key?(type, key, validations)
-        validations[type].respond_to?(:key?) && validations[type].key?(key) && !validations[type][key].nil?
-      end
+      def extract_message_option(option)
+        return unless option.is_a?(Hash)
 
-      def all_element_blank?(scoped_params)
-        scoped_params.respond_to?(:all?) && scoped_params.all?(&:blank?)
+        option[:message]
       end
 
-      # Validators don't have access to each other and they don't need, however,
-      # some validators might influence others, so their options should be shared
-      def derive_validator_options(validations)
-        allow_blank = validations[:allow_blank]
-
-        {
-          allow_blank: allow_blank.is_a?(Hash) ? allow_blank[:value] : allow_blank,
-          fail_fast: validations.delete(:fail_fast) || false
-        }
+      def add_validations_coercion_options(coercer_options, validations)
+        if coercer_options.is_a?(Hash)
+          options = coercer_options.extract!(:value, :message)
+          validations[:coerce_message] = options[:message]
+          validations[:coerce] = options[:value]
+        else
+          validations[:coerce] = coercer_options
+        end
       end
 
-      def validates_presence(validations, attrs, doc, opts)
-        return unless validations.key?(:presence) && validations[:presence]
+      def check_values_coercing!(type, *values_list)
+        return unless type && values_list.any? { |v| v.present? && !v.is_a?(Proc) }
 
-        validate('presence', validations.delete(:presence), attrs, doc, opts)
-        validations.delete(:message) if validations.key?(:message)
+        coerce_type = type == Array ? values_list.find(&:itself).first.class : type
+        coerce_type = coerce_type.first if coerce_type.is_a?(Enumerable)
+        values_list.each do |values|
+          next if values.blank?
+
+          value_types = values.is_a?(Range) ? [values.begin, values.end].compact : values
+          value_types = value_types.map { |type| Grape::API::Boolean.build(type) } if coerce_type == Grape::API::Boolean
+          raise Grape::Exceptions::IncompatibleOptionValues.new(:type, coerce_type, :values, values) unless value_types.all?(coerce_type)
+        end
       end
     end
   end

lib/grape/validations/types.rb

@@ -47,6 +47,8 @@ module Types
 
       GROUPS = [Array, Hash, JSON, Array[JSON]].freeze
 
+      DISALLOWED_COERCE_TYPES = [JSON, Array[JSON]].freeze
+
       # Is the given class a primitive type as recognized by Grape?
       #
       # @param type [Class] type to check

lib/grape/validations/validators/coerce_validator.rb

@@ -7,8 +7,8 @@ class CoerceValidator < Base
         def initialize(attrs, options, required, scope, opts)
           super
 
-          @converter = if type.is_a?(Grape::Validations::Types::VariantCollectionCoercer)
-                         type
+          @converter = if @option[:variant_collection]
+                         Types::VariantCollectionCoercer.new(type, @option[:method])
                        else
                          Types.build_coercer(type, method: @option[:method])
                        end