jsi-dev 0.0.8 → 0.0.9

data/lib/jsi/util/typelike.rb

@@ -5,23 +5,24 @@ module JSI
   #
   # this module is intended to be internal to JSI. no guarantees or API promises
   # are made for non-JSI classes including this module.
+  #
+  # @api private
   module Util::Hashlike
+    include(Enumerable)
+
     # safe methods which can be delegated to #to_hash (which the includer is assumed to have defined).
     # 'safe' means, in this context, nondestructive - methods which do not modify the receiver.
 
     # methods which do not need to access the value.
     SAFE_KEY_ONLY_METHODS = %w(each_key empty? has_key? include? key? keys length member? size).map(&:freeze).freeze
-    SAFE_KEY_VALUE_METHODS = %w(< <= > >= any? assoc compact dig each_pair each_value fetch fetch_values has_value? invert key merge rassoc reject select to_h to_proc transform_values value? values values_at).map(&:freeze).freeze
-    DESTRUCTIVE_METHODS = %w(clear delete delete_if keep_if reject! replace select! shift).map(&:freeze).freeze
+    SAFE_KEY_VALUE_METHODS = %w(< <= > >= any? assoc compact dig each_pair each_value fetch fetch_values flatten has_value? invert key merge rassoc reject select filter to_h to_proc transform_values value? values values_at).map(&:freeze).freeze
+    DESTRUCTIVE_METHODS = %w(clear delete delete_if filter! flatten! keep_if reject! replace select! shift).map(&:freeze).freeze
     # these return a modified copy
-    safe_modified_copy_methods = %w(compact)
-    # select and reject will return a modified copy but need the yielded block variable value from #[]
-    safe_kv_block_modified_copy_methods = %w(select reject)
+    safe_modified_copy_methods = %w(compact slice except)
     SAFE_METHODS = SAFE_KEY_ONLY_METHODS | SAFE_KEY_VALUE_METHODS
     custom_methods = %w(merge) # defined below
     safe_to_hash_methods = SAFE_METHODS -
       safe_modified_copy_methods -
-      safe_kv_block_modified_copy_methods -
       custom_methods
     safe_to_hash_methods.each do |method_name|
       if Util::LAST_ARGUMENT_AS_KEYWORD_PARAMETERS
@@ -47,16 +48,6 @@ module JSI
         end
       end
     end
-    safe_kv_block_modified_copy_methods.each do |method_name|
-      define_method(method_name) do |**kw, &b|
-        jsi_modified_copy do |object_to_modify|
-          responsive_object = object_to_modify.respond_to?(method_name) ? object_to_modify : object_to_modify.to_hash
-          responsive_object.public_send(method_name) do |k, _v|
-            b.call(k, self[k, **kw])
-          end
-        end
-      end
-    end
 
     # like [Hash#update](https://ruby-doc.org/core/Hash.html#method-i-update)
     # @param other [#to_hash] the other hash to update this hash from
@@ -91,34 +82,22 @@ module JSI
       end
     end
 
-    # basically the same #inspect as Hash, but has the class name and, if responsive,
-    # self's #jsi_object_group_text
-    # @return [String]
-    def inspect
-      object_group_str = (respond_to?(:jsi_object_group_text, true) ? jsi_object_group_text : [self.class]).join(' ')
-      -"\#{<#{object_group_str}>#{map { |k, v| " #{k.inspect} => #{v.inspect}" }.join(',')}}"
-    end
-
-    alias_method :to_s, :inspect
-
     # pretty-prints a representation of this hashlike to the given printer
     # @return [void]
     def pretty_print(q)
       object_group_str = (respond_to?(:jsi_object_group_text, true) ? jsi_object_group_text : [self.class]).join(' ')
       q.text "\#{<#{object_group_str}>"
-      q.group_sub {
+      q.group {
         q.nest(2) {
           q.breakable ' ' if !empty?
-          q.seplist(self, nil, :each_pair) { |k, v|
-            q.group {
+          q.seplist(self) { |k, v|
               q.pp k
               q.text ' => '
               q.pp v
-            }
           }
         }
+        q.breakable('') if !empty?
       }
-      q.breakable '' if !empty?
       q.text '}'
     end
   end
@@ -127,24 +106,25 @@ module JSI
   #
   # this module is intended to be internal to JSI. no guarantees or API promises
   # are made for non-JSI classes including this module.
+  #
+  # @api private
   module Util::Arraylike
+    include(Enumerable)
+
     # safe methods which can be delegated to #to_ary (which the includer is assumed to have defined).
     # 'safe' means, in this context, nondestructive - methods which do not modify the receiver.
 
     # methods which do not need to access the element.
     SAFE_INDEX_ONLY_METHODS = %w(each_index empty? length size).map(&:freeze).freeze
     # there are some ambiguous ones that are omitted, like #sort, #map / #collect.
-    SAFE_INDEX_ELEMENT_METHODS = %w(| & * + - <=> abbrev at bsearch bsearch_index combination compact count cycle dig drop drop_while fetch find_index first include? index join last pack permutation product reject repeated_combination repeated_permutation reverse reverse_each rindex rotate sample select shelljoin shuffle slice sort take take_while transpose uniq values_at zip).map(&:freeze).freeze
+    SAFE_INDEX_ELEMENT_METHODS = %w(| & * + - <=> abbrev at bsearch bsearch_index combination compact count cycle difference dig drop drop_while fetch find_index first include? index intersection intersect? join last pack permutation product reject repeated_combination repeated_permutation reverse reverse_each rindex rotate sample select shelljoin shuffle slice sort take take_while transpose union uniq values_at zip).map(&:freeze).freeze
     DESTRUCTIVE_METHODS = %w(<< clear collect! compact! concat delete delete_at delete_if fill flatten! insert keep_if map! pop push reject! replace reverse! rotate! select! shift shuffle! slice! sort! sort_by! uniq! unshift).map(&:freeze).freeze
 
     # methods (well, method) that returns a modified copy and doesn't need any handling of block variable(s)
     safe_modified_copy_methods = %w(compact)
 
-    # methods that return a modified copy and do need handling of block variables
-    safe_el_block_methods = %w(reject select)
-
     SAFE_METHODS = SAFE_INDEX_ONLY_METHODS | SAFE_INDEX_ELEMENT_METHODS
-    safe_to_ary_methods = SAFE_METHODS - safe_modified_copy_methods - safe_el_block_methods
+    safe_to_ary_methods = SAFE_METHODS - safe_modified_copy_methods
     safe_to_ary_methods.each do |method_name|
       if Util::LAST_ARGUMENT_AS_KEYWORD_PARAMETERS
         define_method(method_name) { |*a, &b| to_ary.public_send(method_name, *a, &b) }
@@ -169,17 +149,6 @@ module JSI
         end
       end
     end
-    safe_el_block_methods.each do |method_name|
-      define_method(method_name) do |**kw, &b|
-        jsi_modified_copy do |object_to_modify|
-          i = 0
-          responsive_object = object_to_modify.respond_to?(method_name) ? object_to_modify : object_to_modify.to_ary
-          responsive_object.public_send(method_name) do |_e|
-            b.call(self[i, **kw]).tap { i += 1 }
-          end
-        end
-      end
-    end
 
     # see [Array#assoc](https://ruby-doc.org/core/Array.html#method-i-assoc)
     def assoc(obj)
@@ -195,30 +164,20 @@ module JSI
       detect { |e| e.respond_to?(:to_ary) and e[1] == obj }
     end
 
-    # basically the same #inspect as Array, but has the class name and, if responsive,
-    # self's #jsi_object_group_text
-    # @return [String]
-    def inspect
-      object_group_str = (respond_to?(:jsi_object_group_text, true) ? jsi_object_group_text : [self.class]).join(' ')
-      -"\#[<#{object_group_str}>#{map { |e| ' ' + e.inspect }.join(',')}]"
-    end
-
-    alias_method :to_s, :inspect
-
     # pretty-prints a representation of this arraylike to the given printer
     # @return [void]
     def pretty_print(q)
       object_group_str = (respond_to?(:jsi_object_group_text, true) ? jsi_object_group_text : [self.class]).join(' ')
       q.text "\#[<#{object_group_str}>"
-      q.group_sub {
+      q.group {
         q.nest(2) {
           q.breakable ' ' if !empty?
-          q.seplist(self, nil, :each) { |e|
+          q.seplist(self) { |e|
             q.pp e
           }
         }
+        q.breakable('') if !empty?
       }
-      q.breakable '' if !empty?
       q.text ']'
     end
   end

data/lib/jsi/util.rb

@@ -1,10 +1,48 @@
 # frozen_string_literal: true
 
+require("delegate")
+
 module JSI
   # JSI::Util contains public utilities
   module Util
     autoload :Private, 'jsi/util/private'
 
+    # common methods of inspecting / pretty-printing
+    # @private (not in Util::Private due to dependency order)
+    module Pretty
+      # @return [String]
+      def inspect
+        out = String.new
+        PP.singleline_pp(self, out)
+        out.freeze
+      end
+
+      # @return [String]
+      def to_s
+        inspect
+      end
+
+      private
+
+      def jsi_pp_object_group(q, pres = [self.class.name].freeze, empty: false)
+        q.text('#<')
+        pres.each_with_index do |pre, i|
+          q.text(' ') if i != 0
+          q.text(pre.to_s)
+        end
+        if block_given? && !empty
+          q.group do
+            q.nest(2) do
+              q.breakable(' ')
+              yield
+            end
+            q.breakable('')
+          end
+        end
+        q.text('>')
+      end
+    end
+
     include Private
 
     extend self
@@ -13,7 +51,7 @@ module JSI
     autoload :Hashlike, 'jsi/util/typelike'
 
     # yields the content of the given param `object`. for objects which have a #jsi_modified_copy
-    # method of their own (JSI::Base, JSI::MetaschemaNode) that method is invoked with the given
+    # method of their own (JSI::Base, JSI::MetaSchemaNode) that method is invoked with the given
     # block. otherwise the given object itself is yielded.
     #
     # the given block must result in a modified copy of its block parameter
@@ -32,7 +70,7 @@ module JSI
 
     # A structure like the given `object`, recursively coerced to JSON-compatible types.
     #
-    # - Structures of Hash, Array, and basic types of String/number/boolean/nil are returned as-is.
+    # - Structures of Hash, Array, and simple types of String/number/boolean/nil are returned as-is.
     # - If the object responds to `#as_json`, that method is used, passing any given options.
     # - If the object supports [implicit conversion](https://docs.ruby-lang.org/en/master/implicit_conversion_rdoc.html)
     #   with `#to_hash`, `#to_ary`, `#to_str`, or `#to_int`, that is used.
@@ -46,7 +84,7 @@ module JSI
       type_err = proc { raise(TypeError, "cannot express object as json: #{object.pretty_inspect.chomp}") }
       if object.respond_to?(:as_json)
         options.empty? ? object.as_json : object.as_json(**options) # TODO remove eventually (keyword argument compatibility)
-      elsif object.is_a?(Addressable::URI)
+      elsif object.is_a?(URI)
         object.to_s
       elsif object.respond_to?(:to_hash) && (object_to_hash = object.to_hash).is_a?(Hash)
         result = {}
@@ -67,7 +105,7 @@ module JSI
         object
       elsif object.is_a?(Symbol)
         object.to_s
-      elsif object.is_a?(Set)
+      elsif object.is_a?(::Set)
         as_json(object.to_a, **options)
       elsif object.respond_to?(:to_str) && (object_to_str = object.to_str).is_a?(String)
         object_to_str
@@ -85,10 +123,15 @@ module JSI
     # - Otherwise, JSON is generated using {as_json} to coerce to compatible types.
     # @return [String]
     def to_json(object, options = {})
+      options_state = options.class.name =~ /\AJSON:.*:Generator::State\z/
       if USE_TO_JSON_METHOD[object.class]
-        options.empty? ? object.to_json : object.to_json(**options) # TODO remove eventually (keyword argument compatibility)
+        (options_state || !options.empty?) ? object.to_json(options) : object.to_json # TODO remove eventually (keyword argument compatibility)
       else
-        JSON.generate(as_json(object, **options))
+        if options_state
+          JSON.generate(as_json(object), options)
+        else
+          JSON.generate(as_json(object, **options))
+        end
       end
     end
 
@@ -120,7 +163,7 @@ module JSI
     end
 
     def deep_stringify_symbol_keys(object)
-      if object.respond_to?(:to_hash) && !object.is_a?(Addressable::URI)
+      if object.respond_to?(:to_hash) && !object.is_a?(URI)
         JSI::Util.modified_copy(object) do |hash|
           out = {}
           (hash.respond_to?(:each) ? hash : hash.to_hash).each do |k, v|
@@ -143,7 +186,9 @@ module JSI
     # the given object is not modified.
     def deep_to_frozen(object, not_implemented: nil)
       dtf = proc { |o| deep_to_frozen(o, not_implemented: not_implemented) }
-      if object.instance_of?(Hash)
+      if object.is_a?(Delegator)
+        object.class.new(dtf[object.__getobj__]).freeze
+      elsif object.instance_of?(Hash)
         out = {}
         identical = object.frozen?
         object.each do |k, v|
@@ -197,31 +242,5 @@ module JSI
         end
       end
     end
-
-    # ensures the given param becomes a frozen Set of Modules.
-    # returns the param if it is already that, otherwise initializes and freezes such a Set.
-    #
-    # @param modules [Set, Enumerable] the object to ensure becomes a frozen Set of Modules
-    # @return [Set] frozen Set containing the given modules
-    # @raise [ArgumentError] when the modules param is not an Enumerable
-    # @raise [Schema::NotASchemaError] when the modules param contains objects which are not Schemas
-    def ensure_module_set(modules)
-      if modules.is_a?(Set) && modules.frozen?
-        set = modules
-      elsif modules.is_a?(Enumerable)
-        set = Set.new(modules).freeze
-      else
-        raise(TypeError, "not given an Enumerable of Modules")
-      end
-      not_modules = set.reject { |s| s.is_a?(Module) }
-      if !not_modules.empty?
-        raise(TypeError, [
-          "ensure_module_set given non-Module objects:",
-          *not_modules.map { |ns| ns.pretty_inspect.chomp },
-        ].join("\n"))
-      end
-
-      set
-    end
   end
 end

data/lib/jsi/validation/error.rb

@@ -2,13 +2,15 @@
 
 module JSI
   module Validation
-    Error = Util::AttrStruct[*%w(
+    Error = Struct.subclass(*%i(
       message
       keyword
+      additional
       schema
       instance_ptr
       instance_document
-    )]
+      nested_errors
+    ))
 
     # a validation error of a schema instance against a schema
     #
@@ -19,6 +21,9 @@ module JSI
     #   the keyword of the schema which failed to validate.
     #   this may be absent if the error is not from a schema keyword (i.e, `false` schema).
     #   @return [String]
+    # @!attribute additional
+    #   additional contextual information about the error
+    #   @return [Hash]
     # @!attribute schema
     #   the schema against which the instance failed to validate
     #   @return [JSI::Schema]
@@ -28,7 +33,45 @@ module JSI
     # @!attribute instance_document
     #   document containing the instance at instance_ptr
     #   @return [Object]
+    # @!attribute nested_errors
+    #   @return [Set<Validation::Error>]
     class Error
+      def initialize(attributes = {})
+        super
+        freeze
+      end
+
+      # @yield [Validation::Error]
+      def each_validation_error(&block)
+        return(to_enum(__method__)) if !block_given?
+        nested_errors.each { |nested_error| nested_error.each_validation_error(&block) }
+        yield(self)
+        nil
+      end
+
+      # @return [Object]
+      def instance
+        instance_ptr.evaluate(instance_document)
+      end
+
+      def pretty_print(q)
+        info = {
+          message: message,
+          instance: instance,
+          instance_ptr: instance_ptr,
+          keyword: keyword,
+          additional: additional,
+          'schema uri': schema.schema_uri || schema.jsi_ptr.uri,
+          nested_errors: nested_errors,
+        }
+        jsi_pp_object_group(q) do
+          q.seplist(info) do |k, v|
+            q.text(k.to_s)
+            q.text(': ')
+            q.pp(v)
+          end
+        end
+      end
     end
   end
 end