factbase 0.0.50 → 0.0.51

data/lib/factbase/terms/math.rb

@@ -0,0 +1,91 @@
+# 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'
+
+# Math terms.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+module Factbase::Term::Math
+  def plus(fact, maps)
+    arithmetic(:+, fact, maps)
+  end
+
+  def minus(fact, maps)
+    arithmetic(:-, fact, maps)
+  end
+
+  def times(fact, maps)
+    arithmetic(:*, fact, maps)
+  end
+
+  def div(fact, maps)
+    arithmetic(:/, fact, maps)
+  end
+
+  def zero(fact, maps)
+    assert_args(1)
+    vv = the_values(0, fact, maps)
+    return false if vv.nil?
+    vv.any? { |v| (v.is_a?(Integer) || v.is_a?(Float)) && v.zero? }
+  end
+
+  def eq(fact, maps)
+    cmp(:==, fact, maps)
+  end
+
+  def lt(fact, maps)
+    cmp(:<, fact, maps)
+  end
+
+  def gt(fact, maps)
+    cmp(:>, fact, maps)
+  end
+
+  def cmp(op, fact, maps)
+    assert_args(2)
+    lefts = the_values(0, fact, maps)
+    return false if lefts.nil?
+    rights = the_values(1, fact, maps)
+    return false if rights.nil?
+    lefts.any? do |l|
+      l = l.floor if l.is_a?(Time) && op == :==
+      rights.any? do |r|
+        r = r.floor if r.is_a?(Time) && op == :==
+        l.send(op, r)
+      end
+    end
+  end
+
+  def arithmetic(op, fact, maps)
+    assert_args(2)
+    lefts = the_values(0, fact, maps)
+    return nil if lefts.nil?
+    raise 'Too many values at first position, one expected' unless lefts.size == 1
+    rights = the_values(1, fact, maps)
+    return nil if rights.nil?
+    raise 'Too many values at second position, one expected' unless rights.size == 1
+    lefts[0].send(op, rights[0])
+  end
+end

data/lib/factbase/terms/meta.rb

@@ -0,0 +1,73 @@
+# 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'
+
+# Meta terms.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+module Factbase::Term::Meta
+  def exists(fact, _maps)
+    assert_args(1)
+    !by_symbol(0, fact).nil?
+  end
+
+  def absent(fact, _maps)
+    assert_args(1)
+    by_symbol(0, fact).nil?
+  end
+
+  def size(fact, _maps)
+    assert_args(1)
+    v = by_symbol(0, fact)
+    return 0 if v.nil?
+    return 1 unless v.is_a?(Array)
+    v.size
+  end
+
+  def type(fact, _maps)
+    assert_args(1)
+    v = by_symbol(0, fact)
+    return 'nil' if v.nil?
+    v = v[0] if v.is_a?(Array) && v.size == 1
+    v.class.to_s
+  end
+
+  def nil(fact, maps)
+    assert_args(1)
+    the_values(0, fact, maps).nil?
+  end
+
+  def many(fact, maps)
+    assert_args(1)
+    v = the_values(0, fact, maps)
+    !v.nil? && v.size > 1
+  end
+
+  def one(fact, maps)
+    assert_args(1)
+    v = the_values(0, fact, maps)
+    !v.nil? && v.size == 1
+  end
+end

data/lib/factbase/terms/ordering.rb

@@ -0,0 +1,51 @@
+# 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'
+
+# Ordering terms.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+module Factbase::Term::Ordering
+  def prev(fact, maps)
+    assert_args(1)
+    before = @prev
+    v = the_values(0, fact, maps)
+    @prev = v
+    before
+  end
+
+  def unique(fact, _maps)
+    @uniques = [] if @uniques.nil?
+    assert_args(1)
+    vv = by_symbol(0, fact)
+    return false if vv.nil?
+    vv = [vv] unless vv.is_a?(Array)
+    vv.each do |v|
+      return false if @uniques.include?(v)
+      @uniques << v
+    end
+    true
+  end
+end

data/lib/factbase/terms/strings.rb

@@ -0,0 +1,41 @@
+# 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'
+
+# String terms.
+#
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+module Factbase::Term::Strings
+  def matches(fact, maps)
+    assert_args(2)
+    str = the_values(0, fact, maps)
+    return false if str.nil?
+    raise 'Exactly one string expected' unless str.size == 1
+    re = the_values(1, fact, maps)
+    raise 'Regexp is nil' if re.nil?
+    raise 'Exactly one regexp expected' unless re.size == 1
+    str[0].to_s.match?(re[0])
+  end
+end

data/lib/factbase/to_xml.rb

@@ -59,11 +59,11 @@ class Factbase::ToXML
               if vv.is_a?(Array)
                 xml.send(:"#{k}_") do
                   vv.each do |v|
-                    xml.send(:v, to_str(v))
+                    xml.send(:v, to_str(v), t: type_of(v))
                   end
                 end
               else
-                xml.send(:"#{k}_", to_str(vv))
+                xml.send(:"#{k}_", to_str(vv), t: type_of(vv))
               end
             end
           end
@@ -81,4 +81,8 @@ class Factbase::ToXML
       val.to_s
     end
   end
+
+  def type_of(val)
+    val.class.to_s[0]
+  end
 end

data/lib/factbase.rb

@@ -74,12 +74,14 @@ require 'yaml'
 # It's important to use +binwrite+ and +binread+, because the content is
 # a chain of bytes, not a text.
 #
+# It is NOT thread-safe!
+#
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # 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.50'
+  VERSION = '0.0.51'
 
   # An exception that may be thrown in a transaction, to roll it back.
   class Rollback < StandardError; end

data/test/factbase/terms/test_aggregates.rb

@@ -0,0 +1,62 @@
+# 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/term'
+require_relative '../../../lib/factbase/syntax'
+
+# Aggregates test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestAggregates < Minitest::Test
+  def test_aggregation
+    maps = [
+      { 'x' => 1, 'y' => 0, 'z' => 4 },
+      { 'x' => 2, 'y' => 42, 'z' => 3 },
+      { 'x' => 3, 'y' => 42, 'z' => 5 },
+      { 'x' => 4, 'y' => 42, 'z' => 2 },
+      { 'x' => 5, 'y' => 42, 'z' => 1 },
+      { 'x' => 8, 'y' => 0, 'z' => 6 }
+    ]
+    {
+      '(eq x (agg (eq y 42) (min x)))' => '(eq x 2)',
+      '(eq z (agg (eq y 0) (max z)))' => '(eq x 8)',
+      '(eq x (agg (and (eq y 42) (gt z 1)) (max x)))' => '(eq x 4)',
+      '(and (eq x (agg (eq y 42) (min x))) (eq z 3))' => '(eq x 2)',
+      '(eq x (agg (eq y 0) (nth 0 x)))' => '(eq x 1)',
+      '(eq x (agg (eq y 0) (first x)))' => '(eq x 1)',
+      '(agg (eq foo 42) (always))' => '(eq x 1)'
+    }.each do |q, r|
+      t = Factbase::Syntax.new(q).to_term
+      f = maps.find { |m| t.evaluate(fact(m), maps) }
+      assert(!f.nil?, "nothing found by: #{q}")
+      assert(Factbase::Syntax.new(r).to_term.evaluate(fact(f), []))
+    end
+  end
+
+  private
+
+  def fact(map = {})
+    Factbase::Fact.new(Mutex.new, map)
+  end
+end

data/test/factbase/terms/test_aliases.rb

@@ -0,0 +1,76 @@
+# 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/term'
+require_relative '../../../lib/factbase/syntax'
+require_relative '../../../lib/factbase/accum'
+
+# Aliases test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestAliases < Minitest::Test
+  def test_aliases
+    maps = [
+      { 'x' => [1], 'y' => [0] },
+      { 'x' => [2], 'y' => [42] }
+    ]
+    {
+      '(as foo (plus x 1))' => '(exists foo)',
+      '(as foo (plus x y))' => '(gt foo 0)',
+      '(as foo (plus bar 1))' => '(absent foo)'
+    }.each do |q, r|
+      t = Factbase::Syntax.new(q).to_term
+      maps.each do |m|
+        f = Factbase::Accum.new(fact(m), {}, false)
+        next unless t.evaluate(f, maps)
+        assert(Factbase::Syntax.new(r).to_term.evaluate(f, []), "#{q} -> #{f}")
+      end
+    end
+  end
+
+  def test_join
+    maps = [
+      { 'x' => [1], 'y' => [0], 'z' => [4] },
+      { 'x' => [2], 'bar' => [44, 55, 66] }
+    ]
+    {
+      '(join "foo_*" (gt x 1))' => '(exists foo_x)',
+      '(join "foo_*" (exists bar))' => '(and (eq foo_bar 44) (eq foo_bar 55))',
+      '(join "foo_*" (eq fff 1))' => '(absent foo_bar)'
+    }.each do |q, r|
+      t = Factbase::Syntax.new(q).to_term
+      maps.each do |m|
+        f = Factbase::Accum.new(fact(m), {}, false)
+        next unless t.evaluate(f, maps)
+        assert(Factbase::Syntax.new(r).to_term.evaluate(f, []), "#{q} -> #{f}")
+      end
+    end
+  end
+
+  private
+
+  def fact(map = {})
+    Factbase::Fact.new(Mutex.new, map)
+  end
+end

data/test/factbase/terms/test_math.rb

@@ -0,0 +1,99 @@
+# 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/term'
+
+# Aggregates test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestMath < Minitest::Test
+  def test_simple
+    t = Factbase::Term.new(:eq, [:foo, 42])
+    assert(t.evaluate(fact('foo' => [42]), []))
+    assert(!t.evaluate(fact('foo' => 'Hello!'), []))
+    assert(!t.evaluate(fact('bar' => ['Hello!']), []))
+  end
+
+  def test_zero
+    t = Factbase::Term.new(:zero, [:foo])
+    assert(t.evaluate(fact('foo' => [0]), []))
+    assert(t.evaluate(fact('foo' => [10, 5, 6, -8, 'hey', 0, 9, 'fdsf']), []))
+    assert(!t.evaluate(fact('foo' => [100]), []))
+    assert(!t.evaluate(fact('foo' => []), []))
+    assert(!t.evaluate(fact('bar' => []), []))
+  end
+
+  def test_eq
+    t = Factbase::Term.new(:eq, [:foo, 42])
+    assert(t.evaluate(fact('foo' => 42), []))
+    assert(t.evaluate(fact('foo' => [10, 5, 6, -8, 'hey', 42, 9, 'fdsf']), []))
+    assert(!t.evaluate(fact('foo' => [100]), []))
+    assert(!t.evaluate(fact('foo' => []), []))
+    assert(!t.evaluate(fact('bar' => []), []))
+  end
+
+  def test_eq_time
+    now = Time.now
+    t = Factbase::Term.new(:eq, [:foo, Time.parse(now.iso8601)])
+    assert(t.evaluate(fact('foo' => now), []))
+    assert(t.evaluate(fact('foo' => [now, Time.now]), []))
+  end
+
+  def test_lt
+    t = Factbase::Term.new(:lt, [:foo, 42])
+    assert(t.evaluate(fact('foo' => [10]), []))
+    assert(!t.evaluate(fact('foo' => [100]), []))
+    assert(!t.evaluate(fact('foo' => 100), []))
+    assert(!t.evaluate(fact('bar' => 100), []))
+  end
+
+  def test_gt
+    t = Factbase::Term.new(:gt, [:foo, 42])
+    assert(t.evaluate(fact('foo' => [100]), []))
+    assert(t.evaluate(fact('foo' => 100), []))
+    assert(!t.evaluate(fact('foo' => [10]), []))
+    assert(!t.evaluate(fact('foo' => 10), []))
+    assert(!t.evaluate(fact('bar' => 10), []))
+  end
+
+  def test_lt_time
+    t = Factbase::Term.new(:lt, [:foo, Time.now])
+    assert(t.evaluate(fact('foo' => [Time.now - 100]), []))
+    assert(!t.evaluate(fact('foo' => [Time.now + 100]), []))
+    assert(!t.evaluate(fact('bar' => [100]), []))
+  end
+
+  def test_gt_time
+    t = Factbase::Term.new(:gt, [:foo, Time.now])
+    assert(t.evaluate(fact('foo' => [Time.now + 100]), []))
+    assert(!t.evaluate(fact('foo' => [Time.now - 100]), []))
+    assert(!t.evaluate(fact('bar' => [100]), []))
+  end
+
+  private
+
+  def fact(map = {})
+    Factbase::Fact.new(Mutex.new, map)
+  end
+end

data/test/factbase/test_accum.rb

@@ -0,0 +1,70 @@
+# 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/accum'
+require_relative '../../lib/factbase/fact'
+
+# Accum test.
+# Author:: Yegor Bugayenko (yegor256@gmail.com)
+# Copyright:: Copyright (c) 2024 Yegor Bugayenko
+# License:: MIT
+class TestAccum < Minitest::Test
+  def test_holds_props
+    map = {}
+    f = Factbase::Fact.new(Mutex.new, map)
+    props = {}
+    a = Factbase::Accum.new(f, props, false)
+    a.foo = 42
+    assert_raises { f.foo }
+    assert_equal(42, a.foo)
+    assert_equal([42], props['foo'])
+  end
+
+  def test_passes_props
+    map = {}
+    f = Factbase::Fact.new(Mutex.new, map)
+    props = {}
+    a = Factbase::Accum.new(f, props, true)
+    a.foo = 42
+    assert_equal(42, f.foo)
+    assert_equal(42, a.foo)
+    assert_equal([42], props['foo'])
+  end
+
+  def test_appends_props
+    map = {}
+    f = Factbase::Fact.new(Mutex.new, map)
+    f.foo = 42
+    props = {}
+    a = Factbase::Accum.new(f, props, false)
+    a.foo = 55
+    assert_equal(2, a['foo'].size)
+  end
+
+  def test_empties
+    f = Factbase::Fact.new(Mutex.new, {})
+    a = Factbase::Accum.new(f, {}, false)
+    assert(a['foo'].nil?)
+  end
+end

data/test/factbase/test_query.rb

@@ -44,9 +44,9 @@ class TestQuery < Minitest::Test
 
   def test_complex_parsing
     maps = []
-    maps << { 'num' => 42, 'name' => 'Jeff' }
-    maps << { 'pi' => 3.14, 'num' => [42, 66, 0], 'name' => 'peter' }
-    maps << { 'time' => Time.now - 100, 'num' => 0, 'hi' => [4], 'nome' => ['Walter'] }
+    maps << { 'num' => [42], 'name' => ['Jeff'] }
+    maps << { 'pi' => [3.14], 'num' => [42, 66, 0], 'name' => ['peter'] }
+    maps << { 'time' => [Time.now - 100], 'num' => [0], 'hi' => [4], 'nome' => ['Walter'] }
     {
       '(eq num 444)' => 0,
       '(eq hi 4)' => 1,
@@ -65,6 +65,7 @@ class TestQuery < Minitest::Test
       '(unique pi)' => 1,
       '(many num)' => 1,
       '(one num)' => 2,
+      '(nil (agg (exists hello) (min num)))' => 3,
       '(gt num (minus 1 (either (at 0 (prev num)) 0)))' => 3,
       '(and (not (many num)) (eq num (plus 21 +21)))' => 1,
       '(and (not (many num)) (eq num (minus -100 -142)))' => 1,
@@ -84,7 +85,8 @@ class TestQuery < Minitest::Test
       '(and (absent time) (exists pi))' => 1,
       "(and (exists time) (not (\t\texists pi)))" => 1,
       '(undef something)' => 3,
-      "(or (eq num +66) (lt time #{(Time.now - 200).utc.iso8601}))" => 1
+      "(or (eq num +66) (lt time #{(Time.now - 200).utc.iso8601}))" => 1,
+      '(eq 3 (agg (eq num $num) (count)))' => 1
     }.each do |q, r|
       assert_equal(r, Factbase::Query.new(maps, Mutex.new, q).each.to_a.size, q)
     end
@@ -93,7 +95,7 @@ class TestQuery < Minitest::Test
   def test_simple_parsing_with_time
     maps = []
     now = Time.now.utc
-    maps << { 'foo' => now }
+    maps << { 'foo' => [now] }
     q = Factbase::Query.new(maps, Mutex.new, "(eq foo #{now.iso8601})")
     assert_equal(1, q.each.to_a.size)
   end
@@ -102,7 +104,7 @@ class TestQuery < Minitest::Test
     maps = []
     maps << { 'foo' => [42] }
     maps << { 'bar' => [4, 5] }
-    maps << { 'bar' => 5 }
+    maps << { 'bar' => [5] }
     q = Factbase::Query.new(maps, Mutex.new, '(eq bar 5)')
     assert_equal(2, q.delete!)
     assert_equal(1, maps.size)
@@ -112,7 +114,7 @@ class TestQuery < Minitest::Test
     maps = []
     maps << { 'foo' => [42] }
     maps << { 'bar' => [4, 5] }
-    maps << { 'bar' => 5 }
+    maps << { 'bar' => [5] }
     q = Factbase::Query.new(maps, Mutex.new, '(never)')
     assert_equal(0, q.delete!)
     assert_equal(3, maps.size)
@@ -126,8 +128,21 @@ class TestQuery < Minitest::Test
 
   def test_returns_int
     maps = []
-    maps << { 'foo' => 1 }
+    maps << { 'foo' => [1] }
     q = Factbase::Query.new(maps, Mutex.new, '(eq foo 1)')
     assert_equal(1, q.each(&:to_s))
   end
+
+  def test_with_aliases
+    maps = []
+    maps << { 'foo' => [42] }
+    assert_equal(45, Factbase::Query.new(maps, Mutex.new, '(as bar (plus foo 3))').each.to_a[0].bar)
+    assert_equal(1, maps[0].size)
+  end
+
+  def test_with_nil_alias
+    maps = []
+    maps << { 'foo' => [42] }
+    assert(Factbase::Query.new(maps, Mutex.new, '(as bar (plus xxx 3))').each.to_a[0]['bar'].nil?)
+  end
 end