smart_schema 0.12.1 → 0.12.2

data/lib/smart_core/schema/type_system/interop/aliasing/alias_list.rb

@@ -0,0 +1,131 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.12.0
+class SmartCore::Schema::TypeSystem::Interop::Aliasing::AliasList
+  # @param interop_klass [Class<SmartCore::Schema::TypeSystem::Interop>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  def initialize(interop_klass)
+    @interop_klass = interop_klass
+    @list = {}
+    @lock = SmartCore::Engine::ReadWriteLock.new
+  end
+
+  # @return [Array<String>]
+  #
+  # @api private
+  # @since 0.12.0
+  def keys
+    @lock.read_sync { registered_aliases }
+  end
+
+  # @return [Hash<String,Any>]
+  #
+  # @api private
+  # @since 0.12.0
+  def to_h
+    @lock.read_sync { transform_to_hash }
+  end
+  alias_method :to_hash, :to_h
+
+  # @param alias_name [String, Symbol]
+  # @param type [Any]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  def associate(alias_name, type)
+    interop_klass.prevent_incompatible_type!(type)
+    @lock.write_sync { set_alias(alias_name, type) }
+  end
+
+  # @param alias_name [String, Symbol]
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.12.0
+  def resolve(alias_name)
+    @lock.read_sync { get_alias(alias_name) }
+  end
+
+  private
+
+  # @return [Hash<String,Any>]
+  #
+  # @api private
+  # @since 0.12.0
+  attr_reader :list
+
+  # @return [Class<SmartCore::Schema::TypeSystem::Interop>]
+  #
+  # @api private
+  # @since 0.12.0
+  attr_reader :interop_klass
+
+  # @param alias_name [String, Symbol]
+  # @param type [Any]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  def set_alias(alias_name, type)
+    alias_name = normalized_alias(alias_name)
+
+    if list.key?(alias_name)
+      ::Warning.warn(
+        "[#{interop_klass.name}] Shadowing of the already existing \"#{alias_name}\" type alias."
+      )
+    end
+
+    list[alias_name] = type
+  end
+
+  # @param alias_name [String, Symbol]
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.12.0
+  def get_alias(alias_name)
+    alias_name = normalized_alias(alias_name)
+
+    raise(
+      SmartCore::Schema::TypeAliasNotFoundError,
+      "Alias with name `#{alias_name}` not found."
+    ) unless list.key?(alias_name)
+
+    list.fetch(alias_name)
+  end
+
+  # @param alias_name [String, Symbol]
+  # @return [String]
+  #
+  # @api private
+  # @since 0.12.0
+  def normalized_alias(alias_name)
+    raise(
+      SmartCore::Schema::ArgumentError,
+      'Type alias should be a type of string or symbol'
+    ) unless alias_name.is_a?(String) || alias_name.is_a?(Symbol)
+
+    alias_name.to_s
+  end
+
+  # @return [Hash<String,Any>]
+  #
+  # @api private
+  # @since 0.12.0
+  def transform_to_hash
+    list.to_h
+  end
+
+  # @return [Array<String>]
+  #
+  # @api private
+  # @since 0.12.0
+  def registered_aliases
+    list.keys
+  end
+end

data/lib/smart_core/schema/type_system/interop/aliasing.rb

@@ -0,0 +1,72 @@
+# frozen_string_literal: true
+
+# @api private
+# @version 0.12.0
+module SmartCore::Schema::TypeSystem::Interop::Aliasing
+  require_relative 'aliasing/alias_list'
+
+  class << self
+    # @param base_klass [Class]
+    # @return [void]
+    #
+    # @api private
+    # @version 0.12.0
+    def included(base_klass)
+      base_klass.extend(ClassMethods)
+      base_klass.singleton_class.prepend(ClassInheritance)
+    end
+  end
+
+  # @api private
+  # @version 0.12.0
+  module ClassInheritance
+    # @param child_klass [Class<SmartCore::Schema::TypeSystem::Interop>]
+    # @return [void]
+    #
+    # @api private
+    # @version 0.12.0
+    def inherited(child_klass)
+      child_klass.instance_variable_set(:@__type_aliases__, AliasList.new(child_klass))
+      super
+    end
+  end
+
+  # @api private
+  # @version 0.12.0
+  module ClassMethods
+    # @return [SmartCore::Schema::TypeSystem::Interop::Aliasing::AliasList]
+    #
+    # @api private
+    # @version 0.12.0
+    def __type_aliases__
+      @__type_aliases__
+    end
+
+    # @return [Array<String>]
+    #
+    # @api public
+    # @version 0.12.0
+    def type_aliases
+      __type_aliases__.keys
+    end
+
+    # @param alias_name [String, Symbol]
+    # @param type [Any]
+    # @return [void]
+    #
+    # @api public
+    # @version 0.12.0
+    def type_alias(alias_name, type)
+      __type_aliases__.associate(alias_name, type)
+    end
+
+    # @param alias_name [String, Symbol]
+    # @return [Any]
+    #
+    # @api public
+    # @version 0.12.0
+    def type_from_alias(alias_name)
+      __type_aliases__.resolve(alias_name)
+    end
+  end
+end

data/lib/smart_core/schema/type_system/interop/operation.rb

@@ -0,0 +1,30 @@
+# frozen_string_literal: true
+
+# @abstract
+# @api private
+# @since 0.12.0
+class SmartCore::Schema::TypeSystem::Interop::Operation
+  # @param type [Any]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  def initialize(type)
+    @type = type
+  end
+
+  # @param value [Any]
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.12.0
+  def call(value); end
+
+  private
+
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.12.0
+  attr_reader :type
+end

data/lib/smart_core/schema/type_system/interop.rb

@@ -0,0 +1,128 @@
+# frozen_string_literal: true
+
+# @abstract
+# @api private
+# @since 0.12.0
+class SmartCore::Schema::TypeSystem::Interop
+  require_relative 'interop/operation'
+  require_relative 'interop/abstract_factory'
+  require_relative 'interop/aliasing'
+
+  # @since 0.12.0
+  include SmartCore::Schema::TypeSystem::Interop::Aliasing
+
+  class << self
+    # @param type_object [Any]
+    # @return [SmartCore::Schema::TypeSystem::Interop]
+    #
+    # @api private
+    # @since 0.12.0
+    def create(type_object)
+      self::AbstractFactory.create(type_object)
+    end
+
+    # @return [SmartCore::Schema::TypeSystem::Interop]
+    #
+    # @api private
+    # @since 0.12.0
+    def generic_type_object
+      self::AbstractFactory.generic_type_object
+    end
+
+    # @param type_object [Any]
+    # @return [void]
+    #
+    # @raise [SmartCore::Schema::IncorrectTypeObjectError]
+    #
+    # @api private
+    # @since 0.12.0
+    def prevent_incompatible_type!(type_object)
+      self::AbstractFactory.prevent_incompatible_type!(type_object)
+    end
+
+    # @return [Any]
+    #
+    # @api private
+    # @since 0.12.0
+    def primitive_type_class
+      self::AbstractFactory.primitive_type_class
+    end
+
+    # @return [Any]
+    #
+    # @api private
+    # @since 0.12.1
+    def hash_type_object_for_nested_schemas
+      self::AbstractFactory.hash_type_object_for_nested_schemas
+    end
+  end
+
+  # @return [String]
+  #
+  # @api private
+  # @since 0.5.1
+  attr_reader :identifier
+
+  # @param identifier [String]
+  # @param valid_op [SmartCore::Schema::TypeSystem::Interop::Operation]
+  # @param validate_op [SmartCore::Schema::TypeSystem::Interop::Operation]
+  # @param cast_op [SmartCore::Schema::TypeSystem::Interop::Operation]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  # @version 0.5.1
+  def initialize(identifier, valid_op, validate_op, cast_op)
+    @identifier = identifier
+    @valid_op = valid_op
+    @validate_op = validate_op
+    @cast_op = cast_op
+  end
+
+  # @param value [Any]
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.12.0
+  def valid?(value)
+    valid_op.call(value)
+  end
+
+  # @param value [Any]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  def validate!(value)
+    validate_op.call(value)
+  end
+
+  # @param value [Any]
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.12.0
+  def cast(value)
+    cast_op.call(value)
+  end
+
+  private
+
+  # @return [SmartCore::Schema::TypeSystem::Interop::Operation]
+  #
+  # @api private
+  # @since 0.12.0
+  attr_reader :valid_op
+
+  # @return [SmartCore::Schema::TypeSystem::Interop::Operation]
+  #
+  # @api private
+  # @since 0.12.0
+  attr_reader :validate_op
+
+  # @return [SmartCore::Schema::TypeSystem::Interop::Operation]
+  #
+  # @api private
+  # @since 0.12.0
+  attr_reader :cast_op
+end

data/lib/smart_core/schema/type_system/registry.rb

@@ -0,0 +1,162 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.12.0
+class SmartCore::Schema::TypeSystem::Registry
+  include Enumerable
+
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  def initialize
+    @systems = {}
+    @lock = SmartCore::Engine::ReadWriteLock.new
+  end
+
+  # @param system_identifier [String, Symbol]
+  # @param interop_klass [Class<SmartCore::Schema::TypeSystem::Interop>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  def register(system_identifier, interop_klass)
+    @lock.write_sync { apply(system_identifier, interop_klass) }
+  end
+
+  # @param system_identifier [String, Symbol]
+  # @return [Class<SmartCore::Schema::TypeSystem::Interop>]
+  #
+  # @api private
+  # @since 0.12.0
+  def resolve(system_identifier)
+    @lock.read_sync { fetch(system_identifier) }
+  end
+
+  # @return [Array<String>]
+  #
+  # @api private
+  # @since 0.12.0
+  def names
+    @lock.read_sync { system_names }
+  end
+
+  # @return [Array<Class<SmartCore::Schema::TypeSystem::Interop>>]
+  #
+  # @api private
+  # @since 0.12.0
+  def interops
+    @lock.read_sync { system_interops }
+  end
+
+  # @param block [Block]
+  # @yield [system_name, system_interop]
+  #   @yieldparam system_name [String]
+  #   @yieldparam system_interop [Class<SmartCore::Schema::TypeSystem::Interop>]
+  # @return [Enumerable]
+  #
+  # @api private
+  # @since 0.12.0
+  def each(&block)
+    @lock.read_sync { iterate(&block) }
+  end
+
+  # @return [Hash<String,Class<SmartCore::Schema::TypeSystem::Interop>]
+  #
+  # @api private
+  # @since 0.12.0
+  def to_h
+    @lock.write_sync { systems.dup }
+  end
+  alias_method :to_hash, :to_h
+
+  private
+
+  # @return [Hash<String,Class<SmartCore::Schema::TypeSystem::Interop>]
+  #
+  # @api private
+  # @since 0.12.0
+  attr_reader :systems
+
+  # @return [Array<String>]
+  #
+  # @pai private
+  def system_names
+    systems.keys
+  end
+
+  # @return [Array<Class<SmartCore::Schema::TypeSystem::Interop>>]
+  #
+  # @api private
+  # @since 0.12.0
+  def system_interops
+    systems.values
+  end
+
+  # @param block [Block]
+  # @yield [system_name, system_interop]
+  #   @yieldparam system_name [String]
+  #   @yieldparam system_interop [Class<SmartCore::Schema::TypeSystem::Interop>]
+  # @return [Enumerable]
+  #
+  # @api private
+  # @since 0.12.0
+  def iterate(&block)
+    block_given? ? systems.each_pair(&block) : systems.each_pair
+  end
+
+  # @param system_identifier [String, Symbol]
+  # @param interop_klass [Class<SmartCore::Schema::TypeSystem::Interop>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  def apply(system_identifier, interop_klass)
+    prevent_incorrect_system_interop!(interop_klass)
+    identifier = indifferently_accessible_identifier(system_identifier)
+    systems[identifier] = interop_klass
+  end
+
+  # @param system_identifier [String, Symbol]
+  # @return [Class<SmartCore::Schema::TypeSystem::Interop>]
+  #
+  # @raise [SmartCore::Schema::UnsupportedTypeSystemError]
+  #
+  # @api private
+  # @since 0.12.0
+  def fetch(system_identifier)
+    identifier = indifferently_accessible_identifier(system_identifier)
+
+    raise(
+      SmartCore::Schema::UnsupportedTypeSystemError,
+      "`#{identifier}` type system is not supported."
+    ) unless systems.key?(identifier)
+
+    systems.fetch(identifier)
+  end
+
+  # @param interop_klass [Class<SMartCore::Schema::TypeSystem::Interop>]
+  # @return [void]
+  #
+  # @raise [SmartCore::Schema::IncorrectTypeSystemInteropError]
+  #
+  # @api private
+  # @since 0.12.0
+  def prevent_incorrect_system_interop!(interop_klass)
+    unless interop_klass.is_a?(Class) && interop_klass < SmartCore::Schema::TypeSystem::Interop
+      raise(
+        SmartCore::Schema::IncorrectTypeSystemInteropError,
+        'Incorrect type system interop class.'
+      )
+    end
+  end
+
+  # @param system_identifier [String, Symbol]
+  # @return [String]
+  #
+  # @api private
+  # @since 0.12.0
+  def indifferently_accessible_identifier(system_identifier)
+    system_identifier.to_s.clone.tap(&:freeze)
+  end
+end

data/lib/smart_core/schema/type_system/registry_interface.rb

@@ -0,0 +1,87 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.12.0
+module SmartCore::Schema::TypeSystem::RegistryInterface
+  class << self
+    # @param base_module [Class, Module]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.12.0
+    def extended(base_module)
+      base_module.instance_variable_set(
+        :@registry, SmartCore::Schema::TypeSystem::Registry.new
+      )
+      base_module.instance_variable_set(
+        :@access_lock, SmartCore::Engine::ReadWriteLock.new
+      )
+    end
+  end
+
+  # @option system_identifier [String, Symbol]
+  # @option type [Any]
+  # @return [SmartCore::Schema::TypeSystem::Interop]
+  #
+  # @api private
+  # @since 0.12.0
+  def build_interop(system: system_identifier, type: type_object)
+    @access_lock.read_sync { registry.resolve(system_identifier).create(type_object) }
+  end
+
+  # @param identifier [String, Symbol]
+  # @param interop_klass [Class<SmartCore::Schema::TypeSystem::Interop>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.12.0
+  def register(identifier, interop_klass)
+    @access_lock.write_sync { registry.register(identifier, interop_klass) }
+  end
+
+  # @param identifier [String, Symbol]
+  # @return [Class<SmartCore::Schema::TypeSystem::Interop>]
+  #
+  # @api private
+  # @since 0.12.0
+  def resolve(identifier)
+    @access_lock.read_sync { registry.resolve(identifier) }
+  end
+  alias_method :[], :resolve
+
+  # @return [Array<String>]
+  #
+  # @api public
+  # @since 0.12.0
+  def names
+    @access_lock.read_sync { registry.names }
+  end
+
+  # @return [Array<Class<SmartCore::Schema::TypeSystem::Interop>>]
+  #
+  # @api public
+  # @since 0.12.0
+  def systems
+    @access_lock.read_sync { registry.to_h }
+  end
+
+  # @param block [Block]
+  # @yield [system_name, system_interop]
+  #   @yieldparam system_name [String]
+  #   @yieldparam system_interop [Class<SmartCore::Schema::TypeSystem::Interop>]
+  # @return [Enumerable]
+  #
+  # @api public
+  # @since 0.12.0
+  def each(&block)
+    @access_lock.read_sync { registry.each(&block) }
+  end
+
+  private
+
+  # @return [SmartCore::Schema::TypeSystem::Registry]
+  #
+  # @api private
+  # @since 0.12.0
+  attr_reader :registry
+end

data/lib/smart_core/schema/type_system/smart_types/abstract_factory.rb

@@ -0,0 +1,99 @@
+# frozen_string_literal: true
+
+module SmartCore::Schema::TypeSystem
+  # @api private
+  # @since 0.12.0
+  class SmartTypes::AbstractFactory < Interop::AbstractFactory
+    class << self
+      # @param type [SmartCore::Types::Primitive]
+      # @return [void]
+      #
+      # @raise [SmartCore::Schema::IncorrectTypeObjectError]
+      #
+      # @api private
+      # @since 0.12.0
+      def prevent_incompatible_type!(type)
+        unless type.is_a?(SmartCore::Types::Primitive)
+          raise(
+            SmartCore::Schema::IncorrectTypeObjectError,
+            'Incorrect SmartCore::Types primitive ' \
+            '(type object should be a type of SmartCore::Types::Primitive)'
+          )
+        end
+      end
+
+      # @param type [Any]
+      # @return [String]
+      #
+      # @api private
+      # @since 0.12.0
+      def build_identifier(type)
+        type.name
+      end
+
+      # @param type [SmartCore::Types::Primitive]
+      # @return [SmartCore::Schema::TypeSystem::SmartTypes::Operation::Valid]
+      #
+      # @api private
+      # @since 0.12.0
+      def build_valid_operation(type)
+        SmartTypes::Operation::Valid.new(type)
+      end
+
+      # @return [SmartCore::Types::Value::Any]
+      #
+      # @api private
+      # @since 0.12.0
+      def generic_type_object
+        SmartCore::Types::Value::Any
+      end
+
+      # @return [SmartCore::Types::Primitive]
+      #
+      # @api private
+      # @since 0.12.0
+      def primitive_type_class
+        SmartCore::Types::Primitive
+      end
+
+      # @return [SmartCore::Types::Value::Hash]
+      #
+      # @api private
+      # @since 0.12.1
+      def hash_type_object_for_nested_schemas
+        SmartCore::Types::Value::Hash
+      end
+
+      # @param type [SmartCore::Types::Primitive]
+      # @return [SmartCore::Schema::TypeSystem::SmartTypes::Operation::Validate]
+      #
+      # @api private
+      # @since 0.12.0
+      def build_validate_operation(type)
+        SmartTypes::Operation::Validate.new(type)
+      end
+
+      # @param type [SmartCore::Types::Primitive]
+      # @return [SmartCore::Schema::TypeSystem::SmartTypes::Operation::Cast]
+      #
+      # @api private
+      # @since 0.12.0
+      def build_cast_operation(type)
+        SmartTypes::Operation::Cast.new(type)
+      end
+
+      # @param identifier [String]
+      # @param valid_op [SmartCore::Schema::TypeSystem::SmartTypes::Operation::Valid]
+      # @param valid_op [SmartCore::Schema::TypeSystem::SmartTypes::Operation::Validate]
+      # @param valid_op [SmartCore::Schema::TypeSystem::SmartTypes::Operation::Cast]
+      # @return [SmartCore::Schema::TypeSystem::SmartTypes]
+      #
+      # @api private
+      # @since 0.12.0
+      # @version 0.5.1
+      def build_interop(identifier, valid_op, validate_op, cast_op)
+        SmartTypes.new(identifier, valid_op, validate_op, cast_op)
+      end
+    end
+  end
+end

data/lib/smart_core/schema/type_system/smart_types/operation/base.rb

@@ -0,0 +1,8 @@
+# frozen_string_literal: true
+
+module SmartCore::Schema::TypeSystem
+  # @api private
+  # @since 0.12.0
+  class SmartTypes::Operation::Base < Interop::Operation
+  end
+end