factbase 0.0.25 → 0.0.26

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d9e0276640bc70144f57a3926e20b6e2d44063da6fe7236fb956867a06e102ba
-  data.tar.gz: c7826200059da686fe4025aadae2aa1d83eda7e061e4e72c888e327a3d24adda
+  metadata.gz: 1be768141fbb97e4753b38b4b8c438a8cf870957744868af05ab325bec94582c
+  data.tar.gz: bcef0970b79fba877d7f677440e595382a64cab724b00d7df101a0a2bf66d146
 SHA512:
-  metadata.gz: 8362694429ca241aaa592d36f662b2939ddaec04017ae37326611db4c9a697ab95321f6b3d406a9f4d65be86f9f42ba019ca4c8ec0e8b3ec5c77967bf75107d2
-  data.tar.gz: 7c96e521d770381536b956e43781c909f597d39b8098178b0c0b77e15e4733c2eaded65a91704ca81c42f214168ad89505f8cfe6830e84e994c247213ef138df
+  metadata.gz: 2b705bad3bc10f08a9865217f015069c34e679c6718382f321926d6ae76b96db6e56dd4c76540eeec8fb0511a8e7a40077d7ac8092fbe6588d75cefaf9e5f4d1
+  data.tar.gz: 3e4c1a563194008beb1697f5a4e146a0a88713fb876c8414893bff69db34b33a10d812135f85cac8ef9655d50d40d7186a3b00aa4c863f5ce4ba4a52429d9c37

data/.rubocop.yml

@@ -44,9 +44,13 @@ Metrics/CyclomaticComplexity:
   Max: 20
 Metrics/PerceivedComplexity:
   Max: 20
+Metrics/ClassLength:
+  Enabled: false
 Layout/EmptyLineAfterGuardClause:
   Enabled: false
 Naming/MethodParameterName:
   MinNameLength: 2
 Layout/EndOfLine:
   EnforcedStyle: lf
+Security/MarshalLoad:
+  Enabled: false

data/.rultor.yml

@@ -31,8 +31,8 @@ release:
     [[ "${tag}" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]] || exit -1
     bundle exec rake
     rm -rf *.gem
-    sed -i "s/0\.0\.0/${tag}/g" factbase.gemspec
-    git add factbase.gemspec
+    sed -i "s/0\.0\.0/${tag}/g" lib/factbase.rb
+    git add lib/factbase.rb
     git commit -m "version set to ${tag}"
     gem build factbase.gemspec
     chmod 0600 ../rubygems.yml

data/factbase.gemspec

@@ -21,12 +21,13 @@
 # SOFTWARE.
 
 require 'English'
+require_relative 'lib/factbase'
 
 Gem::Specification.new do |s|
   s.required_rubygems_version = Gem::Requirement.new('>= 0') if s.respond_to? :required_rubygems_version=
   s.required_ruby_version = '>=2.3'
   s.name = 'factbase'
-  s.version = '0.0.25'
+  s.version = Factbase::VERSION
   s.license = 'MIT'
   s.summary = 'Factbase'
   s.description = 'Fact base in memory and on disc'

data/lib/factbase/fact.rb

@@ -46,6 +46,7 @@ class Factbase::Fact
     if k.end_with?('=')
       kk = k[0..-2]
       raise "Invalid prop name '#{kk}'" unless kk.match?(/^[a-z][_a-zA-Z0-9]*$/)
+      raise "Prohibited prop name '#{kk}'" if kk == 'to_s'
       v = args[1]
       raise "Prop value can't be nil" if v.nil?
       raise "Prop value can't be empty" if v == ''

data/lib/factbase/inv.rb

@@ -20,6 +20,8 @@
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 # SOFTWARE.
 
+require_relative '../factbase'
+
 # A decorator of a Factbase, that checks invariants on every set.
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024 Yegor Bugayenko
@@ -30,8 +32,8 @@ class Factbase::Inv
     @block = block
   end
 
-  def empty?
-    @fb.empty?
+  def dup
+    Factbase::Inv.new(@fb.dup, &@block)
   end
 
   def size
@@ -46,6 +48,10 @@ class Factbase::Inv
     Query.new(@fb.query(query), @block)
   end
 
+  def txn(this = self, &)
+    @fb.txn(this, &)
+  end
+
   def export
     @fb.export
   end
@@ -54,18 +60,6 @@ class Factbase::Inv
     @fb.import(bytes)
   end
 
-  def to_json(opt = nil)
-    @fb.to_json(opt)
-  end
-
-  def to_xml
-    @fb.to_xml
-  end
-
-  def to_yaml
-    @fb.to_yaml
-  end
-
   # Fact decorator.
   class Fact
     def initialize(fact, block)

data/lib/factbase/looged.rb

@@ -32,8 +32,8 @@ class Factbase::Looged
     @loog = loog
   end
 
-  def empty?
-    @fb.empty?
+  def dup
+    Factbase::Looged.new(@fb.dup, @loog)
   end
 
   def size
@@ -50,6 +50,10 @@ class Factbase::Looged
     Query.new(@fb.query(query), query, @loog)
   end
 
+  def txn(this = self, &)
+    @fb.txn(this, &)
+  end
+
   def export
     @fb.export
   end
@@ -58,18 +62,6 @@ class Factbase::Looged
     @fb.import(bytes)
   end
 
-  def to_json(opt = nil)
-    @fb.to_json(opt)
-  end
-
-  def to_xml
-    @fb.to_xml
-  end
-
-  def to_yaml
-    @fb.to_yaml
-  end
-
   # Fact decorator.
   class Fact
     def initialize(fact, loog)
@@ -85,7 +77,9 @@ class Factbase::Looged
       r = @fact.method_missing(*args)
       k = args[0].to_s
       v = args[1]
-      @loog.debug("Set '#{k[0..-2]}' to #{v.to_s.inspect} (#{v.class})") if k.end_with?('=')
+      s = v.is_a?(Time) ? v.utc.iso8601 : v.to_s
+      s = v.to_s.inspect if v.is_a?(String)
+      @loog.debug("Set '#{k[0..-2]}' to #{s} (#{v.class})") if k.end_with?('=')
       r
     end
 

data/lib/factbase/pre.rb

@@ -21,6 +21,7 @@
 # SOFTWARE.
 
 require 'loog'
+require_relative '../factbase'
 
 # A decorator of a Factbase, that runs a provided block on every +insert+.
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
@@ -32,8 +33,8 @@ class Factbase::Pre
     @block = block
   end
 
-  def empty?
-    @fb.empty?
+  def dup
+    Factbase::Pre.new(@fb.dup, &@block)
   end
 
   def size
@@ -50,6 +51,10 @@ class Factbase::Pre
     @fb.query(query)
   end
 
+  def txn(this = self, &)
+    @fb.txn(this, &)
+  end
+
   def export
     @fb.export
   end
@@ -57,16 +62,4 @@ class Factbase::Pre
   def import(bytes)
     @fb.import(bytes)
   end
-
-  def to_json(opt = nil)
-    @fb.to_json(opt)
-  end
-
-  def to_xml
-    @fb.to_xml
-  end
-
-  def to_yaml
-    @fb.to_yaml
-  end
 end

data/lib/factbase/query.rb

@@ -44,7 +44,7 @@ class Factbase::Query
     yielded = 0
     @maps.each do |m|
       f = Factbase::Fact.new(@mutex, m)
-      next unless term.matches?(f)
+      next unless term.eval(f)
       yield f
       yielded += 1
     end
@@ -59,7 +59,7 @@ class Factbase::Query
     @mutex.synchronize do
       @maps.delete_if do |m|
         f = Factbase::Fact.new(@mutex, m)
-        if term.matches?(f)
+        if term.eval(f)
           deleted += 1
           true
         else

data/lib/factbase/rules.rb

@@ -0,0 +1,124 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require_relative '../factbase'
+
+# A decorator of a Factbase, that checks rules on every set.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class Factbase::Rules
+  def initialize(fb, rules)
+    @fb = fb
+    @rules = rules
+    @check = Check.new(fb, @rules)
+  end
+
+  def dup
+    Factbase::Rules.new(@fb.dup, @rules)
+  end
+
+  def size
+    @fb.size
+  end
+
+  def insert
+    Fact.new(@fb.insert, @check)
+  end
+
+  def query(query)
+    Query.new(@fb.query(query), @check)
+  end
+
+  def txn(this = self, &)
+    @fb.txn(this, &)
+  end
+
+  def export
+    @fb.export
+  end
+
+  def import(bytes)
+    @fb.import(bytes)
+  end
+
+  # Fact decorator.
+  class Fact
+    def initialize(fact, check)
+      @fact = fact
+      @check = check
+    end
+
+    def to_s
+      @fact.to_s
+    end
+
+    def method_missing(*args)
+      r = @fact.method_missing(*args)
+      k = args[0].to_s
+      @check.it(self) if k.end_with?('=')
+      r
+    end
+
+    # rubocop:disable Style/OptionalBooleanParameter
+    def respond_to?(method, include_private = false)
+      # rubocop:enable Style/OptionalBooleanParameter
+      @fact.respond_to?(method, include_private)
+    end
+
+    def respond_to_missing?(method, include_private = false)
+      @fact.respond_to_missing?(method, include_private)
+    end
+  end
+
+  # Query decorator.
+  class Query
+    def initialize(query, check)
+      @query = query
+      @check = check
+    end
+
+    def each
+      return to_enum(__method__) unless block_given?
+      @query.each do |f|
+        yield Fact.new(f, @check)
+      end
+    end
+
+    def delete!
+      @query.delete!
+    end
+  end
+
+  # Check one fact.
+  class Check
+    def initialize(fb, expr)
+      @fb = fb
+      @expr = expr
+    end
+
+    def it(fact)
+      return if Factbase::Syntax.new(@expr).to_term.eval(fact)
+      raise "The fact is in invalid state: #{fact}"
+    end
+  end
+end

data/lib/factbase/spy.rb

@@ -37,6 +37,14 @@ class Factbase::Spy
     @caught
   end
 
+  def dup
+    Factbase::Spy.new(@fb.dup, @key)
+  end
+
+  def size
+    @fb.size
+  end
+
   def query(expr)
     scan(Factbase::Syntax.new(expr).to_term)
     @fb.query(expr)
@@ -50,12 +58,12 @@ class Factbase::Spy
     @fb.export
   end
 
-  def import(data)
-    @fb.import(data)
+  def txn(this = self, &)
+    @fb.txn(this, &)
   end
 
-  def to_json(opt = nil)
-    @fb.to_json(opt)
+  def import(data)
+    @fb.import(data)
   end
 
   # A fact that is spying.

data/lib/factbase/syntax.rb

@@ -20,6 +20,7 @@
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 # SOFTWARE.
 
+require 'time'
 require_relative '../factbase'
 require_relative 'fact'
 require_relative 'term'

data/lib/factbase/term.rb

@@ -41,7 +41,7 @@ class Factbase::Term
   # Does it match the fact?
   # @param [Factbase::Fact] fact The fact
   # @return [bool] TRUE if matches
-  def matches?(fact)
+  def eval(fact)
     send(@op, fact)
   end
 
@@ -71,23 +71,30 @@ class Factbase::Term
 
   def not(fact)
     assert_args(1)
-    !@operands[0].matches?(fact)
+    !@operands[0].eval(fact)
   end
 
   def or(fact)
     @operands.each do |o|
-      return true if o.matches?(fact)
+      return true if o.eval(fact)
     end
     false
   end
 
   def and(fact)
     @operands.each do |o|
-      return false unless o.matches?(fact)
+      return false unless o.eval(fact)
     end
     true
   end
 
+  def when(fact)
+    assert_args(2)
+    a = @operands[0]
+    b = @operands[1]
+    !a.eval(fact) || (a.eval(fact) && b.eval(fact))
+  end
+
   def exists(fact)
     assert_args(1)
     o = @operands[0]
@@ -116,12 +123,26 @@ class Factbase::Term
     arithmetic(:>, fact)
   end
 
+  def size(fact)
+    assert_args(1)
+    o = @operands[0]
+    raise "A symbol expected: #{o}" unless o.is_a?(Symbol)
+    k = o.to_s
+    return 0 if fact[k].nil?
+    return 1 unless fact[k].is_a?(Array)
+    fact[k].size
+  end
+
   def arithmetic(op, fact)
     assert_args(2)
     o = @operands[0]
-    raise "A symbol expected by #{op}: #{o}" unless o.is_a?(Symbol)
-    k = o.to_s
-    v = fact[k]
+    if o.is_a?(Factbase::Term)
+      v = o.eval(fact)
+    else
+      raise "A symbol expected by #{op}: #{o}" unless o.is_a?(Symbol)
+      k = o.to_s
+      v = fact[k]
+    end
     return false if v.nil?
     v = [v] unless v.is_a?(Array)
     v.any? do |vv|

data/lib/factbase/to_json.rb

@@ -0,0 +1,43 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'json'
+require 'time'
+require_relative '../factbase'
+
+# Factbase to JSON converter.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class Factbase::ToJSON
+  # Constructor.
+  def initialize(fb)
+    @fb = fb
+  end
+
+  # Convert the entire factbase into JSON.
+  # @return [String] The factbase in JSON format
+  def json
+    maps = Marshal.load(@fb.export)
+    maps.to_json
+  end
+end

data/lib/factbase/to_xml.rb

@@ -0,0 +1,75 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'nokogiri'
+require 'time'
+require_relative '../factbase'
+
+# Factbase to XML converter.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class Factbase::ToXML
+  # Constructor.
+  def initialize(fb)
+    @fb = fb
+  end
+
+  # Convert the entire factbase into XML.
+  # @return [String] The factbase in XML format
+  def xml
+    meta = {
+      factbase_version: Factbase::VERSION,
+      dob: Time.now.utc.iso8601
+    }
+    maps = Marshal.load(@fb.export)
+    Nokogiri::XML::Builder.new(encoding: 'UTF-8') do |xml|
+      xml.fb(meta) do
+        maps.each do |m|
+          xml.f_ do
+            m.each do |k, vv|
+              if vv.is_a?(Array)
+                xml.send(:"#{k}_") do
+                  vv.each do |v|
+                    xml.send(:v, to_str(v))
+                  end
+                end
+              else
+                xml.send(:"#{k}_", to_str(vv))
+              end
+            end
+          end
+        end
+      end
+    end.to_xml
+  end
+
+  private
+
+  def to_str(val)
+    if val.is_a?(Time)
+      val.utc.iso8601
+    else
+      val.to_s
+    end
+  end
+end

data/lib/factbase/to_yaml.rb

@@ -0,0 +1,43 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'yaml'
+require 'time'
+require_relative '../factbase'
+
+# Factbase to YAML converter.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class Factbase::ToYAML
+  # Constructor.
+  def initialize(fb)
+    @fb = fb
+  end
+
+  # Convert the entire factbase into YAML.
+  # @return [String] The factbase in YAML format
+  def yaml
+    maps = Marshal.load(@fb.export)
+    YAML.dump({ 'facts' => maps })
+  end
+end

data/lib/factbase.rb

@@ -21,7 +21,6 @@
 # SOFTWARE.
 
 require 'json'
-require 'nokogiri'
 require 'yaml'
 
 # Factbase.
@@ -29,16 +28,19 @@ require 'yaml'
 # Copyright:: Copyright (c) 2024 Yegor Bugayenko
 # License:: MIT
 class Factbase
+  # Current version of the gem (changed by .rultor.yml on every release)
+  VERSION = '0.0.26'
+
   # Constructor.
-  def initialize
-    @maps = []
+  def initialize(facts = [])
+    @maps = facts
     @mutex = Mutex.new
   end
 
-  # Is it empty?
-  # @return [Boolean] TRUE if there are no facts inside
-  def empty?
-    @maps.empty?
+  # Make a duplicate of this factbase.
+  # @return [Factbase] A new factbase
+  def dup
+    Factbase.new(@maps.dup)
   end
 
   # Size.
@@ -63,11 +65,11 @@ class Factbase
   # There is a Lisp-like syntax, for example:
   #
   #  (eq title 'Object Thinking')
-  #  (gt time '2024-03-23T03:21:43')
+  #  (gt time 2024-03-23T03:21:43Z)
   #  (gt cost 42)
   #  (exists seenBy)
   #  (and
-  #    (eq foo 42)
+  #    (eq foo 42.998)
   #    (or
   #      (gt bar 200)
   #      (absent zzz)))
@@ -78,6 +80,17 @@ class Factbase
     Factbase::Query.new(@maps, @mutex, query)
   end
 
+  # Run an ACID transaction, which will either modify the factbase
+  # or rollback in case of an error.
+  def txn(this = self)
+    copy = this.dup
+    yield copy
+    @mutex.synchronize do
+      @maps = []
+      import(copy.export)
+    end
+  end
+
   # Export it into a chain of bytes.
   def export
     Marshal.dump(@maps)
@@ -85,44 +98,6 @@ class Factbase
 
   # Import from a chain of bytes.
   def import(bytes)
-    # rubocop:disable Security/MarshalLoad
     @maps += Marshal.load(bytes)
-    # rubocop:enable Security/MarshalLoad
-  end
-
-  # Convert the entire factbase into JSON.
-  # @return [String] The factbase in JSON format
-  def to_json(_ = nil)
-    @maps.to_json
-  end
-
-  # Convert the entire factbase into XML.
-  # @return [String] The factbase in XML format
-  def to_xml
-    Nokogiri::XML::Builder.new(encoding: 'UTF-8') do |xml|
-      xml.fb do
-        @maps.each do |m|
-          xml.f_ do
-            m.each do |k, vv|
-              if vv.is_a?(Array)
-                xml.send(:"#{k}_") do
-                  vv.each do |v|
-                    xml.send(:v, v)
-                  end
-                end
-              else
-                xml.send(:"#{k}_", vv)
-              end
-            end
-          end
-        end
-      end
-    end.to_xml
-  end
-
-  # Convert the entire factbase into YAML.
-  # @return [String] The factbase in YAML format
-  def to_yaml
-    YAML.dump({ 'facts' => @maps })
   end
 end

data/test/factbase/test_inv.rb

@@ -22,6 +22,7 @@
 
 require 'minitest/autorun'
 require 'loog'
+require_relative '../../lib/factbase'
 require_relative '../../lib/factbase/inv'
 require_relative '../../lib/factbase/pre'
 

data/test/factbase/test_looged.rb

@@ -73,7 +73,7 @@ class TestLooged < Minitest::Test
     fb.query('(not (exists bar))').delete!
     [
       'Inserted new fact',
-      'Set \'bar\' to "3" (Integer)',
+      'Set \'bar\' to 3 (Integer)',
       'Found 1 fact(s) by \'(exists bar)\'',
       'Deleted 2 fact(s) by \'(not (exists bar))\''
     ].each do |s|

data/test/factbase/test_query.rb

@@ -54,6 +54,9 @@ class TestQuery < Minitest::Test
       "(and (lt pi 100) \n\n (gt num 1000))" => 0,
       '(exists pi)' => 1,
       '(not (exists hello))' => 3,
+      '(gt (size num) 2)' => 1,
+      '(lt (size num) 2)' => 2,
+      '(eq (size hello) 0)' => 3,
       '(absent time)' => 2,
       '(and (absent time) (exists pi))' => 1,
       "(and (exists time) (not (\t\texists pi)))" => 1,

data/test/factbase/test_rules.rb

@@ -0,0 +1,45 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'minitest/autorun'
+require_relative '../../lib/factbase'
+require_relative '../../lib/factbase/rules'
+
+# Test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestRules < Minitest::Test
+  def test_simple_checking
+    fb = Factbase::Rules.new(
+      Factbase.new,
+      '(when (exists first) (exists second))'
+    )
+    f1 = fb.insert
+    f1.second = 2
+    f1.first = 1
+    assert_raises do
+      f2 = fb.insert
+      f2.first = 1
+    end
+  end
+end

data/test/factbase/test_syntax.rb

@@ -62,6 +62,7 @@ class TestSyntax < Minitest::Test
       "(foo x y z t f 42 'Hi!' 33)",
       '(foo (x) y z)',
       '(eq t 2024-05-25T19:43:48Z)',
+      '(eq t 2024-05-25T19:43:48Z)',
       '(eq t 3.1415926)',
       '(eq t 3.0e+21)',
       "(foo (x (f (t (y 42 'Hey you'))) (f) (r 3)) y z)"
@@ -81,7 +82,7 @@ class TestSyntax < Minitest::Test
       '(or (eq bar 888) (eq z 1))' => true,
       "(or (gt bar 100) (eq foo 'Hello, world!'))" => true
     }.each do |k, v|
-      assert_equal(v, Factbase::Syntax.new(k).to_term.matches?(m), k)
+      assert_equal(v, Factbase::Syntax.new(k).to_term.eval(m), k)
     end
   end
 

data/test/factbase/test_term.rb

@@ -30,79 +30,85 @@ require_relative '../../lib/factbase/term'
 class TestTerm < Minitest::Test
   def test_simple_matching
     t = Factbase::Term.new(:eq, [:foo, 42])
-    assert(t.matches?(fact('foo' => [42])))
-    assert(!t.matches?(fact('foo' => 'Hello!')))
-    assert(!t.matches?(fact('bar' => ['Hello!'])))
+    assert(t.eval(fact('foo' => [42])))
+    assert(!t.eval(fact('foo' => 'Hello!')))
+    assert(!t.eval(fact('bar' => ['Hello!'])))
   end
 
   def test_eq_matching
     t = Factbase::Term.new(:eq, [:foo, 42])
-    assert(t.matches?(fact('foo' => 42)))
-    assert(t.matches?(fact('foo' => [10, 5, 6, -8, 'hey', 42, 9, 'fdsf'])))
-    assert(!t.matches?(fact('foo' => [100])))
-    assert(!t.matches?(fact('foo' => [])))
-    assert(!t.matches?(fact('bar' => [])))
+    assert(t.eval(fact('foo' => 42)))
+    assert(t.eval(fact('foo' => [10, 5, 6, -8, 'hey', 42, 9, 'fdsf'])))
+    assert(!t.eval(fact('foo' => [100])))
+    assert(!t.eval(fact('foo' => [])))
+    assert(!t.eval(fact('bar' => [])))
   end
 
   def test_eq_matching_time
     now = Time.now
     t = Factbase::Term.new(:eq, [:foo, Time.parse(now.iso8601)])
-    assert(t.matches?(fact('foo' => now)))
-    assert(t.matches?(fact('foo' => [now, Time.now])))
+    assert(t.eval(fact('foo' => now)))
+    assert(t.eval(fact('foo' => [now, Time.now])))
   end
 
   def test_lt_matching
     t = Factbase::Term.new(:lt, [:foo, 42])
-    assert(t.matches?(fact('foo' => [10])))
-    assert(!t.matches?(fact('foo' => [100])))
-    assert(!t.matches?(fact('foo' => 100)))
-    assert(!t.matches?(fact('bar' => 100)))
+    assert(t.eval(fact('foo' => [10])))
+    assert(!t.eval(fact('foo' => [100])))
+    assert(!t.eval(fact('foo' => 100)))
+    assert(!t.eval(fact('bar' => 100)))
   end
 
   def test_gt_matching
     t = Factbase::Term.new(:gt, [:foo, 42])
-    assert(t.matches?(fact('foo' => [100])))
-    assert(t.matches?(fact('foo' => 100)))
-    assert(!t.matches?(fact('foo' => [10])))
-    assert(!t.matches?(fact('foo' => 10)))
-    assert(!t.matches?(fact('bar' => 10)))
+    assert(t.eval(fact('foo' => [100])))
+    assert(t.eval(fact('foo' => 100)))
+    assert(!t.eval(fact('foo' => [10])))
+    assert(!t.eval(fact('foo' => 10)))
+    assert(!t.eval(fact('bar' => 10)))
   end
 
   def test_lt_matching_time
     t = Factbase::Term.new(:lt, [:foo, Time.now])
-    assert(t.matches?(fact('foo' => [Time.now - 100])))
-    assert(!t.matches?(fact('foo' => [Time.now + 100])))
-    assert(!t.matches?(fact('bar' => [100])))
+    assert(t.eval(fact('foo' => [Time.now - 100])))
+    assert(!t.eval(fact('foo' => [Time.now + 100])))
+    assert(!t.eval(fact('bar' => [100])))
   end
 
   def test_gt_matching_time
     t = Factbase::Term.new(:gt, [:foo, Time.now])
-    assert(t.matches?(fact('foo' => [Time.now + 100])))
-    assert(!t.matches?(fact('foo' => [Time.now - 100])))
-    assert(!t.matches?(fact('bar' => [100])))
+    assert(t.eval(fact('foo' => [Time.now + 100])))
+    assert(!t.eval(fact('foo' => [Time.now - 100])))
+    assert(!t.eval(fact('bar' => [100])))
   end
 
   def test_not_matching
     t = Factbase::Term.new(:not, [Factbase::Term.new(:nil, [])])
-    assert(!t.matches?(fact('foo' => [100])))
+    assert(!t.eval(fact('foo' => [100])))
   end
 
   def test_not_eq_matching
     t = Factbase::Term.new(:not, [Factbase::Term.new(:eq, [:foo, 100])])
-    assert(t.matches?(fact('foo' => [42, 12, -90])))
-    assert(!t.matches?(fact('foo' => 100)))
+    assert(t.eval(fact('foo' => [42, 12, -90])))
+    assert(!t.eval(fact('foo' => 100)))
+  end
+
+  def test_size_matching
+    t = Factbase::Term.new(:size, [:foo])
+    assert_equal(3, t.eval(fact('foo' => [42, 12, -90])))
+    assert_equal(0, t.eval(fact('bar' => 100)))
   end
 
   def test_exists_matching
     t = Factbase::Term.new(:exists, [:foo])
-    assert(t.matches?(fact('foo' => [42, 12, -90])))
-    assert(!t.matches?(fact('bar' => 100)))
+    assert(t.eval(fact('foo' => [42, 12, -90])))
+    assert(!t.eval(fact('bar' => 100)))
   end
 
   def test_absent_matching
     t = Factbase::Term.new(:absent, [:foo])
-    assert(t.matches?(fact('z' => [42, 12, -90])))
-    assert(!t.matches?(fact('foo' => 100)))
+    assert(t.eval(fact('z' => [42, 12, -90])))
+    assert(!t.eval(fact('foo' => 100)))
   end
 
   def test_or_matching
@@ -113,9 +119,22 @@ class TestTerm < Minitest::Test
         Factbase::Term.new(:eq, [:bar, 5])
       ]
     )
-    assert(t.matches?(fact('foo' => [4])))
-    assert(t.matches?(fact('bar' => [5])))
-    assert(!t.matches?(fact('bar' => [42])))
+    assert(t.eval(fact('foo' => [4])))
+    assert(t.eval(fact('bar' => [5])))
+    assert(!t.eval(fact('bar' => [42])))
+  end
+
+  def test_when_matching
+    t = Factbase::Term.new(
+      :when,
+      [
+        Factbase::Term.new(:eq, [:foo, 4]),
+        Factbase::Term.new(:eq, [:bar, 5])
+      ]
+    )
+    assert(t.eval(fact('foo' => 4, 'bar' => 5)))
+    assert(!t.eval(fact('foo' => 4)))
+    assert(t.eval(fact('foo' => 5, 'bar' => 5)))
   end
 
   private

data/test/factbase/test_to_json.rb

@@ -0,0 +1,42 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'minitest/autorun'
+require 'loog'
+require_relative '../../lib/factbase'
+require_relative '../../lib/factbase/to_json'
+
+# Test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestToJSON < Minitest::Test
+  def test_simple_rendering
+    fb = Factbase.new
+    f = fb.insert
+    f.foo = 42
+    f.foo = 256
+    to = Factbase::ToJSON.new(fb)
+    json = JSON.parse(to.json)
+    assert(42, json[0]['foo'][1])
+  end
+end

data/test/factbase/test_to_xml.rb

@@ -0,0 +1,75 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'minitest/autorun'
+require 'loog'
+require_relative '../../lib/factbase'
+require_relative '../../lib/factbase/to_xml'
+
+# Test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestToXML < Minitest::Test
+  def test_simple_rendering
+    fb = Factbase.new
+    fb.insert.t = Time.now
+    to = Factbase::ToXML.new(fb)
+    xml = Nokogiri::XML.parse(to.xml)
+    assert(!xml.xpath('/fb/f[t]').empty?)
+    assert(
+      xml.xpath('/fb/f/t/text()').text.match?(
+        /^[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z$/
+      )
+    )
+  end
+
+  def test_complex_rendering
+    fb = Factbase.new
+    fb.insert.t = "\uffff < > & ' \""
+    to = Factbase::ToXML.new(fb)
+    xml = Nokogiri::XML.parse(to.xml)
+    assert(!xml.xpath('/fb/f[t]').empty?)
+  end
+
+  def test_meta_data_presence
+    fb = Factbase.new
+    fb.insert.x = 42
+    to = Factbase::ToXML.new(fb)
+    xml = Nokogiri::XML.parse(to.xml)
+    assert(!xml.xpath('/fb[@dob]').empty?)
+    assert(!xml.xpath('/fb[@factbase_version]').empty?)
+  end
+
+  def test_to_xml_with_short_names
+    fb = Factbase.new
+    f = fb.insert
+    f.type = 1
+    f.f = 2
+    f.class = 3
+    to = Factbase::ToXML.new(fb)
+    xml = Nokogiri::XML.parse(to.xml)
+    assert(!xml.xpath('/fb/f/type').empty?)
+    assert(!xml.xpath('/fb/f/f').empty?)
+    assert(!xml.xpath('/fb/f/class').empty?)
+  end
+end

data/test/factbase/test_to_yaml.rb

@@ -0,0 +1,45 @@
+# frozen_string_literal: true
+
+# Copyright (c) 2024 Yegor Bugayenko
+#
+# Permission is hereby granted, free of charge, to any person obtaining a copy
+# of this software and associated documentation files (the 'Software'), to deal
+# in the Software without restriction, including without limitation the rights
+# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, subject to the following conditions:
+#
+# The above copyright notice and this permission notice shall be included in all
+# copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
+# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+# SOFTWARE.
+
+require 'minitest/autorun'
+require 'loog'
+require_relative '../../lib/factbase'
+require_relative '../../lib/factbase/to_yaml'
+
+# Test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestToYAML < Minitest::Test
+  def test_simple_rendering
+    fb = Factbase.new
+    f = fb.insert
+    f.foo = 42
+    f.foo = 256
+    fb.insert
+    to = Factbase::ToYAML.new(fb)
+    yaml = YAML.load(to.yaml)
+    assert_equal(2, yaml['facts'].size)
+    assert_equal(42, yaml['facts'][0]['foo'][0])
+    assert_equal(256, yaml['facts'][0]['foo'][1])
+  end
+end

data/test/test_factbase.rb

@@ -21,9 +21,7 @@
 # SOFTWARE.
 
 require 'minitest/autorun'
-require 'json'
-require 'nokogiri'
-require 'yaml'
+require 'loog'
 require_relative '../lib/factbase'
 
 # Factbase main module test.
@@ -59,52 +57,76 @@ class TestFactbase < Minitest::Test
 
   def test_empty_or_not
     fb = Factbase.new
-    assert(fb.empty?)
+    assert_equal(0, fb.size)
     fb.insert
-    assert(!fb.empty?)
+    assert_equal(1, fb.size)
   end
 
-  def test_to_json
-    fb = Factbase.new
-    f = fb.insert
-    f.foo = 42
-    f.foo = 256
-    json = JSON.parse(fb.to_json)
-    assert(42, json[0]['foo'][1])
+  def test_makes_duplicate
+    fb1 = Factbase.new
+    fb1.insert
+    assert_equal(1, fb1.size)
+    fb2 = fb1.dup
+    fb2.insert
+    assert_equal(1, fb1.size)
+    assert_equal(2, fb2.size)
   end
 
-  def test_to_xml
+  def test_run_txn
     fb = Factbase.new
-    f = fb.insert
-    f.foo = 42
-    f.foo = 256
-    fb.insert.bar = 5
-    xml = Nokogiri::XML.parse(fb.to_xml)
-    assert(!xml.xpath('/fb[count(f) = 2]').empty?)
-    assert(!xml.xpath('/fb/f/foo[v="42"]').empty?)
+    fb.txn do |fbt|
+      fbt.insert.bar = 42
+      fbt.insert.z = 42
+    end
+    assert_equal(2, fb.size)
+    assert(
+      assert_raises do
+        fb.txn do |fbt|
+          fbt.insert.foo = 42
+          throw 'intentionally'
+        end
+      end.message.include?('intentionally')
+    )
+    assert_equal(2, fb.size)
   end
 
-  def test_to_xml_with_short_names
-    fb = Factbase.new
-    f = fb.insert
-    f.type = 1
-    f.f = 2
-    f.class = 3
-    xml = Nokogiri::XML.parse(fb.to_xml)
-    assert(!xml.xpath('/fb/f/type').empty?)
-    assert(!xml.xpath('/fb/f/f').empty?)
-    assert(!xml.xpath('/fb/f/class').empty?)
+  def test_run_txn_with_inv
+    fb = Factbase::Inv.new(Factbase.new) { |_p, v| throw 'oops' if v == 42 }
+    fb.insert.bar = 3
+    fb.insert.foo = 5
+    assert_equal(2, fb.size)
+    assert(
+      assert_raises do
+        fb.txn do |fbt|
+          fbt.insert.foo = 42
+        end
+      end.message.include?('oops')
+    )
+    assert_equal(2, fb.size)
   end
 
-  def test_to_yaml
-    fb = Factbase.new
-    f = fb.insert
-    f.foo = 42
-    f.foo = 256
-    fb.insert
-    yaml = YAML.load(fb.to_yaml)
-    assert_equal(2, yaml['facts'].size)
-    assert_equal(42, yaml['facts'][0]['foo'][0])
-    assert_equal(256, yaml['facts'][0]['foo'][1])
+  def test_all_decorators
+    [
+      Factbase::Rules.new(Factbase.new, '()'),
+      Factbase::Inv.new(Factbase.new) { |_, _| true },
+      Factbase::Pre.new(Factbase.new) { |_| true },
+      Factbase::Looged.new(Factbase.new, Loog::NULL),
+      Factbase::Spy.new(Factbase.new, 'ff')
+    ].each do |d|
+      f = d.insert
+      f.foo = 42
+      d.txn do |fbt|
+        fbt.insert.bar = 455
+      end
+      assert_raises do
+        d.txn do |fbt|
+          fbt.insert
+          throw 'oops'
+        end
+      end
+      d.import(d.export)
+      assert_equal(4, d.size)
+      assert_equal(4, d.query('()').each.to_a.size)
+    end
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: factbase
 version: !ruby/object:Gem::Version
-  version: 0.0.25
+  version: 0.0.26
 platform: ruby
 authors:
 - Yegor Bugayenko
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2024-05-17 00:00:00.000000000 Z
+date: 2024-05-19 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: json
@@ -101,9 +101,13 @@ files:
 - lib/factbase/looged.rb
 - lib/factbase/pre.rb
 - lib/factbase/query.rb
+- lib/factbase/rules.rb
 - lib/factbase/spy.rb
 - lib/factbase/syntax.rb
 - lib/factbase/term.rb
+- lib/factbase/to_json.rb
+- lib/factbase/to_xml.rb
+- lib/factbase/to_yaml.rb
 - lib/factbase/white_list.rb
 - renovate.json
 - test/factbase/test_fact.rb
@@ -111,9 +115,13 @@ files:
 - test/factbase/test_looged.rb
 - test/factbase/test_pre.rb
 - test/factbase/test_query.rb
+- test/factbase/test_rules.rb
 - test/factbase/test_spy.rb
 - test/factbase/test_syntax.rb
 - test/factbase/test_term.rb
+- test/factbase/test_to_json.rb
+- test/factbase/test_to_xml.rb
+- test/factbase/test_to_yaml.rb
 - test/factbase/test_white_list.rb
 - test/test__helper.rb
 - test/test_factbase.rb