smart_types 0.1.0.alpha5 → 0.4.0

data/lib/smart_core/types/primitive/factory/definition_context.rb

@@ -2,26 +2,101 @@
 
 # @api private
 # @since 0.1.0
+# @version 0.3.0
 class SmartCore::Types::Primitive::Factory::DefinitionContext
-  # @return [Proc]
+  class << self
+    # @param name [String, Symbol]
+    # @param definition [Block]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.2.0
+    # @version 0.3.0
+    def vaildate_invariant_attributes!(name, &definition)
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No invariant block')
+      end
+
+      unless name.is_a?(::String) || name.is_a?(::Symbol)
+        raise(SmartCore::Types::TypeDefinitionError, <<~ERROR_MESSAGE)
+          Invariant name should be a type of string or symbol.
+        ERROR_MESSAGE
+      end
+
+      if name == '' || name == :""
+        raise(SmartCore::Types::TypeDefinitionError, <<~ERROR_MESSAGE)
+          Invariant name can not be empty.
+        ERROR_MESSAGE
+      end
+    end
+
+    # @param chain_name [String, Symbol]
+    # @param definition [Block]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.3.0
+    def vaildate_invariant_chain_attributes!(chain_name, &definition)
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No invariant chain block')
+      end
+
+      unless chain_name.is_a?(::String) || chain_name.is_a?(::Symbol)
+        raise(SmartCore::Types::TypeDefinitionError, <<~ERROR_MESSAGE)
+          Invariant chain name should be a type of string or symbol.
+        ERROR_MESSAGE
+      end
+
+      if chain_name == '' || chain_name == :""
+        raise(SmartCore::Types::TypeDefinitionError, <<~ERROR_MESSAGE)
+          Invariant chain name can not be empty.
+        ERROR_MESSAGE
+      end
+    end
+  end
+
+  # @return [Proc, NilClass]
   #
   # @api private
   # @since 0.1.0
   attr_reader :type_checker
 
-  # @return [Proc]
+  # @return [Proc, NilClass]
   #
   # @api private
   # @since 0.1.0
   attr_reader :type_caster
 
+  # @return [Hash<String,Array<Proc>>]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :type_invariant_chains
+
+  # @return [Hash<String,Proc>]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :type_invariants
+
+  # @return [Proc, NilClass]
+  #
+  # @api private
+  # @since 0.3.0
+  attr_reader :type_runtime_attributes_checker
+
   # @return [void]
   #
   # @api private
   # @since 0.1.0
+  # @version 0.2.0
   def initialize
+    @type_invariant_chains = Hash.new { |h, k| h[k] = [] }
+    @type_invariants = {}
     @type_checker = nil
     @type_caster = nil
+    @type_runtime_attributes_checker = nil
+    @definition_lock = SmartCore::Engine::Lock.new
   end
 
   # @param checker [Block]
@@ -29,9 +104,14 @@ class SmartCore::Types::Primitive::Factory::DefinitionContext
   #
   # @api public
   # @since 0.1.0
+  # @version 0.3.0
   def define_checker(&checker)
-    raise 'No checker definition block' unless block_given?
-    @type_checker = checker
+    thread_safe do
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No checker definition block')
+      end
+      @type_checker = checker
+    end
   end
 
   # @param caster [Block]
@@ -39,8 +119,64 @@ class SmartCore::Types::Primitive::Factory::DefinitionContext
   #
   # @api public
   # @since 0.1.0
+  # @version 0.3.0
   def define_caster(&caster)
-    raise 'No caster definition block' unless block_given?
-    @type_caster = caster
+    thread_safe do
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No caster definition block')
+      end
+      @type_caster = caster
+    end
+  end
+
+  # @param chain_name [String, Symbol]
+  # @param definitions [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.2.0
+  def invariant_chain(chain_name, &definitions)
+    thread_safe do
+      self.class.vaildate_invariant_chain_attributes!(chain_name, &definitions)
+      @type_invariant_chains[chain_name.to_s] << definitions
+    end
+  end
+
+  # @param name [String, Symbol]
+  # @param definition [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.2.0
+  def invariant(name, &definition)
+    thread_safe do
+      self.class.vaildate_invariant_attributes!(name, &definition)
+      @type_invariants[name.to_s] = definition
+    end
+  end
+
+  # @param definition [Block]
+  # @return [void]
+  #
+  # @api public
+  # @since 0.3.0
+  def runtime_attributes_checker(&definition)
+    thread_safe do
+      unless block_given?
+        raise(SmartCore::Types::TypeDefinitionError, 'No runtime checker definition block')
+      end
+      @type_runtime_attributes_checker = definition
+    end
+  end
+
+  private
+
+  # @param block [Block]
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.2.0
+  def thread_safe(&block)
+    @definition_lock.synchronize(&block)
   end
 end

data/lib/smart_core/types/primitive/factory/runtime_type_builder.rb

@@ -0,0 +1,53 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.3.0
+module SmartCore::Types::Primitive::Factory::RuntimeTypeBuilder
+  class << self
+    # @param type_name [String, Symbol]
+    # @param type_category [Class<SmartCore::Types::Primitive>]
+    # @param runtime_attributes [Array<Any>]
+    # @return [SmartCore::Types::Primitive]
+    #
+    # @api private
+    # @since 0.3.0
+    def build_with_runtime(type_name, type_category, runtime_attributes)
+      type = type_category.const_get(type_name)
+      type.runtime_attributes_checker.check!(runtime_attributes)
+
+      type.clone.tap do |type_with_custom_runtime|
+        type_with_custom_runtime.instance_variable_set(
+          :@runtime_attributes, runtime_attributes.freeze
+        )
+      end
+    end
+
+    # @param new_instance [SmartCore::Types::Primitive]
+    # @param cloneable_instance [SmartCore::Types::Primitive]
+    # @return [void]
+    #
+    # @api private
+    # @since 0.3.0
+    # rubocop:disable Metrics/AbcSize, Layout/LineLength
+    def initialize_clone(new_instance, cloneable_instance)
+      name_clone = cloneable_instance.instance_variable_get(:@name)
+      category_clone = cloneable_instance.instance_variable_get(:@category)
+      validator_clone = cloneable_instance.instance_variable_get(:@validator).___copy_for___(new_instance)
+      caster_clone = cloneable_instance.instance_variable_get(:@caster)
+      runtime_attributes_clone = cloneable_instance.instance_variable_get(:@runtime_attributes).clone
+      runtime_attributes_checker_clone = cloneable_instance.instance_variable_get(:@runtime_attributes_checker).___copy_for___(new_instance)
+      lock_clone = SmartCore::Engine::Lock.new
+      nilable_clone = nil
+
+      new_instance.instance_variable_set(:@name, name_clone)
+      new_instance.instance_variable_set(:@category, category_clone)
+      new_instance.instance_variable_set(:@validator, validator_clone)
+      new_instance.instance_variable_set(:@caster, caster_clone)
+      new_instance.instance_variable_set(:@runtime_attributes, runtime_attributes_clone)
+      new_instance.instance_variable_set(:@runtime_attributes_checker, runtime_attributes_checker_clone)
+      new_instance.instance_variable_set(:@lock_clone, lock_clone)
+      new_instance.instance_variable_set(:@nilable, nilable_clone)
+    end
+    # rubocop:enable Metrics/AbcSize, Layout/LineLength
+  end
+end

data/lib/smart_core/types/primitive/invariant_control.rb

@@ -0,0 +1,67 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.2.0
+# @version 0.3.0
+class SmartCore::Types::Primitive::InvariantControl
+  require_relative 'invariant_control/result'
+  require_relative 'invariant_control/single'
+  require_relative 'invariant_control/chain'
+  require_relative 'invariant_control/factory'
+
+  class << self
+    # @param invariant_chains [Hash<String,Array<Proc>>]
+    # @param invariants [Hash<String,Proc>]
+    # @return [SmartCore::Types::Primitive::InvariantControl]
+    #
+    # @api private
+    # @since 0.2.0
+    def create(invariant_chains, invariants)
+      Factory.create(invariant_chains, invariants)
+    end
+  end
+
+  # @param invariant_chains [Array<SmartCore::Types::Primitive::InvariantControl::Chain>]
+  # @param invariants [Array<SmartCore::Types::Primitive::InvariantControl::Single>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.2.0
+  def initialize(invariant_chains, invariants)
+    @invariant_chains = invariant_chains
+    @invariants = invariants
+  end
+
+  # @param value [Any]
+  # @param runtime_attributes [Array<Any>]
+  # @return [SmartCore::Types::Primitive::InvariantControl::Result]
+  #
+  # @api private
+  # @since 0.2.0
+  # @version 0.3.0
+  def check(value, runtime_attributes)
+    Result.new(self, value).tap do |result|
+      invariant_chains.each do |chain|
+        result.add_chain_result(chain.check(value, runtime_attributes))
+      end
+
+      invariants.each do |invariant|
+        result.add_single_result(invariant.check(value, runtime_attributes))
+      end
+    end
+  end
+
+  private
+
+  # @return [Array<SmartCore::Types::Primitive::InvariantControl::Chain>]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :invariant_chains
+
+  # @return [Array<SmartCore::Types::Primitive::InvariantControl::Single>]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :invariants
+end

data/lib/smart_core/types/primitive/invariant_control/chain.rb

@@ -0,0 +1,61 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.2.0
+# @version 0.3.0
+class SmartCore::Types::Primitive::InvariantControl::Chain
+  require_relative 'chain/result'
+
+  # @return [String]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :name
+
+  # @param name [String]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.1.0
+  def initialize(name)
+    @name = name.dup.tap(&:freeze)
+    @invariants = []
+  end
+
+  # @param invariant [SmartCore::Types::Primitive::InvariantControl::Single]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.2.0
+  def add_invariant(invariant)
+    invariants << invariant
+  end
+
+  # @param value [Any]
+  # @param runtime_attributes [Array<Any>]
+  # @return [SmartCore::Types::Primitive::InvariantControl::Chain::Result]
+  #
+  # @api private
+  # @since 0.2.0
+  # @version 0.3.0
+  def check(value, runtime_attributes)
+    invariant_results = [].tap do |results|
+      invariants.each do |invariant|
+        result = invariant.check(value, runtime_attributes).tap { |res| results << res }
+        break if result.failure?
+      end
+    end
+
+    SmartCore::Types::Primitive::InvariantControl::Chain::Result.new(
+      self, value, invariant_results
+    )
+  end
+
+  private
+
+  # @return [Array<SmartCore::Types::Primitive::InvariantControl::Single>]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :invariants
+end

data/lib/smart_core/types/primitive/invariant_control/chain/result.rb

@@ -0,0 +1,64 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.2.0
+class SmartCore::Types::Primitive::InvariantControl::Chain::Result
+  # @return [SmartCore::Types::Primitive::invariantControl::Chain]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :invariant_chain
+
+  # @return [Any]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :checked_value
+
+  # @param invariant_chain [SmartCore::Types::Primitive::invariantControl::Chain]
+  # @param checked_value [Any]
+  # @param invariant_results [Array<SmartCore::Types::Primitive::InvariantControl::Single::Result>]
+  # @return [void]
+  #
+  # @api private
+  # @since 0.2.0
+  def initialize(invariant_chain, checked_value, invariant_results)
+    @invariant_chain = invariant_chain
+    @checked_value = checked_value
+    @invariant_results = invariant_results
+  end
+
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.2.0
+  def success?
+    invariant_results.all?(&:success?)
+  end
+
+  # @return [Boolean]
+  #
+  # @api private
+  # @since 0.2.0
+  def failure?
+    invariant_results.any?(&:failure?)
+  end
+
+  # @return [Array<String>]
+  #
+  # @api private
+  # @since 0.1.0
+  def error_codes
+    invariant_results.select(&:failure?).map do |invariant_result|
+      "#{invariant_chain.name}.#{invariant_result.invariant.name}".tap(&:freeze)
+    end
+  end
+
+  private
+
+  # @return [Array<SmartCore::Types::Primitive::InvariantControl::Single::Result>]
+  #
+  # @api private
+  # @since 0.2.0
+  attr_reader :invariant_results
+end

data/lib/smart_core/types/primitive/invariant_control/factory.rb

@@ -0,0 +1,54 @@
+# frozen_string_literal: true
+
+# @api private
+# @since 0.2.0
+module SmartCore::Types::Primitive::InvariantControl::Factory
+  require_relative 'factory/chain_definition_context'
+
+  class << self
+    # @param invariant_chains [Hash<String,Array<Proc>]
+    # @param invariants [Hash<String,Proc>]
+    # @return [SmartCore::Types::Primitive::InvariantControl]
+    #
+    # @api private
+    # @since 0.2.0
+    def create(invariant_chains, invariants)
+      completed_invariant_chains = build_invariant_chains(invariant_chains)
+      completed_invariants = build_invariants(invariants)
+
+      SmartCore::Types::Primitive::InvariantControl.new(
+        completed_invariant_chains,
+        completed_invariants
+      )
+    end
+
+    private
+
+    # @param invariant_chains [Hash<String,Array<Proc>]
+    # @return [Array<SmartCore::Types::Primitive::InvariantControl::Chain>]
+    #
+    # @api private
+    # @since 0.2.0
+    def build_invariant_chains(invariant_chains)
+      invariant_chains.map do |chain_name, chain_invariants|
+        context = ChainDefinitionContext.new(chain_name)
+        chain_invariants.each { |invariant_logic| context.instance_eval(&invariant_logic) }
+        context.___chain___
+      end
+    end
+
+    # @param invariants [Hash<String,Proc>]
+    # @return [Array<SmartCore::Types::Primitive::InvariantControl::Single>]
+    #
+    # @api private
+    # @since 0.2.0
+    def build_invariants(invariants)
+      invariants.map do |invariant_name, invariant_logics|
+        SmartCore::Types::Primitive::InvariantControl::Single.create(
+          invariant_name,
+          invariant_logics
+        )
+      end
+    end
+  end
+end