factbase 0.0.25 → 0.0.27

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.27'
+
   # 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

@@ -45,6 +45,7 @@ class TestSyntax < Minitest::Test
       '(foo)',
       '(foo (bar) (zz 77)   )',
       "(eq foo   \n\n 'Hello, world!'\n)\n",
+      "# this is a comment\n(eq foo # test\n 42)\n\n# another comment\n",
       "(or ( a 4) (b 5) () (and () (c 5) \t\t(r 7 8s 8is 'Foo')))"
     ].each do |q|
       Factbase::Syntax.new(q).to_term
@@ -62,6 +63,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 +83,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
 
@@ -89,6 +91,7 @@ class TestSyntax < Minitest::Test
     [
       '',
       '(foo',
+      'some text',
       '"hello, world!',
       '(foo 7',
       "(foo 7 'Dude'",

data/test/factbase/test_term.rb

@@ -30,79 +30,95 @@ 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_type_matching
+    t = Factbase::Term.new(:type, [:foo])
+    assert_equal('Integer', t.eval(fact('foo' => 42)))
+    assert_equal('Array', t.eval(fact('foo' => [1, 2, 3])))
+    assert_equal('String', t.eval(fact('foo' => 'Hello, world!')))
+    assert_equal('Float', t.eval(fact('foo' => 3.14)))
+    assert_equal('Time', t.eval(fact('foo' => Time.now)))
+    assert_equal('nil', t.eval(fact))
   end
 
   def test_or_matching
@@ -113,14 +129,27 @@ 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
 
-  def fact(map)
+  def fact(map = {})
     Factbase::Fact.new(Mutex.new, map)
   end
 end

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