factbase 0.9.7 → 0.9.8

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: e7d1b649fb808d571609f3231f90dbd57ba57683993d52ee2eaddd674e2aeb65
-  data.tar.gz: 717ea095ae2e1092d71509b39f1581cfc4b65d47ca9f39cb704d694eabbd91d9
+  metadata.gz: 1b9679d9fad6ba549ccccd428809c330ba6f2c3eefb3a8c32cd6b2ea9668f8e1
+  data.tar.gz: 5103850e97643459fda4640e5564fe8073bc0c949b699a325a83360bb32e7dfc
 SHA512:
-  metadata.gz: 9f6955bdf61ad153a2cf956935310fbd1d59782a34e479ae94e48c70ab8a1002dfdf61f2384e968bbdedb0be58d19ea556841d7b7300aa110927f78f1fdabaf9
-  data.tar.gz: 2364a4421fcf35c42b6e316e33f11afaf4abc69b33502b475fa08fc28e2e45b8dbe138cf72d26b8938212d2807dfd8c3b50aa40b166e481e15f363d2cf5629c8
+  metadata.gz: cb9d62637fde56598cb1c2c01d492b6f2e0e9f144ee7eba1cbca88779be1214afc1f7ec43687baec3a9bc232ccb127856a9aad4b5732965667c2f69c91341229
+  data.tar.gz: 10c1b8ddeeb23a0b1ed8de099aad0bf55c2e19370fba0d6686384a24769a57f3483cb10de5313588b0607e8dee9b4484050dde929b8e7fe2a9b053a96f242b20

data/lib/factbase/indexed/indexed_term.rb

@@ -54,8 +54,7 @@ module Factbase::IndexedTerm
         end
         vv =
           if @operands[1].is_a?(Symbol)
-            sym = @operands[1].to_s.gsub(/^\$/, '')
-            params[sym] || []
+            params[@operands[1].to_s] || []
           else
             [@operands[1]]
           end
@@ -84,8 +83,7 @@ module Factbase::IndexedTerm
         tuples = _as_tuples(
           @operands.sort_by { |o| o.operands.first }.map do |o|
             if o.operands[1].is_a?(Symbol)
-              sym = o.operands[1].to_s.gsub(/^\$/, '')
-              params[sym] || []
+              params[o.operands[1].to_s] || []
             else
               [o.operands[1]]
             end

data/lib/factbase/rules.rb

@@ -61,7 +61,6 @@ class Factbase::Rules
   # Fact decorator.
   #
   # This is an internal class, it is not supposed to be instantiated directly.
-  #
   class Fact
     def initialize(fact, check, fb)
       @fact = fact
@@ -130,9 +129,10 @@ class Factbase::Rules
     end
 
     def it(fact, _fb)
+      return if @uid.nil?
       a = fact[@uid]
       return if a.nil?
-      @facts << a[0] unless @uid.nil?
+      @facts << a[0]
     end
 
     def include?(fact)

data/lib/factbase/tee.rb

@@ -31,10 +31,13 @@ class Factbase::Tee
   end
 
   others do |*args|
-    if args[0].to_s == '[]' && args[1].to_s.start_with?('$')
+    if args[0].to_s == '[]' && args[1].start_with?('$')
       n = args[1].to_s
       n = n[1..] unless @upper.is_a?(Factbase::Tee)
-      @upper[n]
+      r = @upper[n]
+      r = @fact[n] if r.nil?
+      r = [r] unless r.respond_to?(:each) || r.nil?
+      r
     else
       @fact.method_missing(*args)
     end

data/lib/factbase/term.rb

@@ -218,6 +218,10 @@ class Factbase::Term
           [v]
         end
     end
+    raise 'Why not array?' unless v.is_a?(Array)
+    unless v.all? { |i| [Float, Integer, String, Time, TrueClass, FalseClass].any? { |t| i.is_a?(t) } }
+      raise 'Wrong type inside'
+    end
     v
   end
 end

data/lib/factbase.rb

@@ -82,7 +82,7 @@ require 'yaml'
 # License:: MIT
 class Factbase
   # Current version of the gem (changed by .rultor.yml on every release)
-  VERSION = '0.9.7' unless const_defined?(:VERSION)
+  VERSION = '0.9.8' unless const_defined?(:VERSION)
 
   # An exception that may be thrown in a transaction, to roll it back.
   class Rollback < StandardError; end

data/test/factbase/indexed/test_indexed_term.rb

@@ -19,7 +19,7 @@ class TestIndexedTerm < Factbase::Test
     idx = {}
     term.redress!(Factbase::IndexedTerm, idx:)
     maps = Factbase::Taped.new([{ 'foo' => [42] }, { 'bar' => [7] }, { 'foo' => [22, 42] }, { 'foo' => [] }])
-    n = term.predict(maps, { a: 1 })
+    n = term.predict(maps, {})
     assert_equal(2, n.size)
     assert_kind_of(Factbase::Taped, n)
   end
@@ -29,7 +29,7 @@ class TestIndexedTerm < Factbase::Test
     idx = {}
     term.redress!(Factbase::IndexedTerm, idx:)
     maps = Factbase::Taped.new([{ 'foo' => [42] }, { 'bar' => [7] }, { 'foo' => [22, 42] }, { 'foo' => [] }])
-    n = term.predict(maps, { a: 1 })
+    n = term.predict(maps, {})
     assert_equal(3, n.size)
     assert_kind_of(Factbase::Taped, n)
   end
@@ -39,7 +39,7 @@ class TestIndexedTerm < Factbase::Test
     idx = {}
     term.redress!(Factbase::IndexedTerm, idx:)
     maps = Factbase::Taped.new([{ 'foo' => [42] }, { 'bar' => [7] }, { 'foo' => [22, 42] }, { 'foo' => [] }])
-    n = term.predict(maps, { a: 1 })
+    n = term.predict(maps, {})
     assert_equal(1, n.size)
     assert_kind_of(Factbase::Taped, n)
   end
@@ -49,7 +49,7 @@ class TestIndexedTerm < Factbase::Test
     idx = {}
     term.redress!(Factbase::IndexedTerm, idx:)
     maps = Factbase::Taped.new([{ 'foo' => [42] }, { 'bar' => [7], 'foo' => [22, 42] }, { 'foo' => [22] }])
-    n = term.predict(maps, { a: 1 })
+    n = term.predict(maps, {})
     assert_equal(1, n.size)
     assert_kind_of(Factbase::Taped, n)
   end
@@ -59,13 +59,13 @@ class TestIndexedTerm < Factbase::Test
       :and,
       [
         Factbase::Term.new(:eq, [:foo, 42]),
-        Factbase::Term.new(:eq, %i[bar $a])
+        Factbase::Term.new(:eq, %i[bar $jeff])
       ]
     )
     idx = {}
     term.redress!(Factbase::IndexedTerm, idx:)
     maps = Factbase::Taped.new([{ 'foo' => [42] }, { 'bar' => [7], 'foo' => [22, 42] }, { 'foo' => [22, 42] }])
-    n = term.predict(maps, { 'a' => [7] })
+    n = term.predict(maps, Factbase::Tee.new({}, { 'jeff' => [7] }))
     assert_equal(1, n.size)
     assert_kind_of(Factbase::Taped, n)
   end
@@ -90,7 +90,7 @@ class TestIndexedTerm < Factbase::Test
     idx = {}
     term.redress!(Factbase::IndexedTerm, idx:)
     maps = Factbase::Taped.new([{ 'foo' => [42] }, { 'bar' => [7], 'foo' => [22, 42] }, { 'foo' => [22, 42] }])
-    n = term.predict(maps, { a: 1 })
+    n = term.predict(maps, {})
     assert_equal(3, n.size)
     assert_kind_of(Factbase::Taped, n)
   end
@@ -100,7 +100,7 @@ class TestIndexedTerm < Factbase::Test
     idx = {}
     term.redress!(Factbase::IndexedTerm, idx:)
     maps = Factbase::Taped.new([{ 'foo' => [42] }, { 'alpha' => [] }, {}])
-    n = term.predict(maps, { a: 1 })
+    n = term.predict(maps, {})
     assert_nil(n)
   end
 end

data/test/factbase/terms/test_aggregates.rb

@@ -57,7 +57,7 @@ class TestAggregates < Factbase::Test
       { 'a' => [4], 'b' => [55] }
     ]
     t = Factbase::Syntax.new('(empty (eq b $x))').to_term
-    assert(t.evaluate(Factbase::Fact.new({ 'x' => 42 }), maps, Factbase.new))
-    refute(t.evaluate(Factbase::Fact.new({ 'x' => 44 }), maps, Factbase.new))
+    assert(t.evaluate(Factbase::Fact.new({ 'x' => [42] }), maps, Factbase.new))
+    refute(t.evaluate(Factbase::Fact.new({ 'x' => [44] }), maps, Factbase.new))
   end
 end

data/test/factbase/test_query.rb

@@ -156,18 +156,22 @@ class TestQuery < Factbase::Test
 
   def test_reading_one
     maps = [
-      { 'foo' => [42] },
+      { 'foo' => [42], 'hello' => [4] },
       { 'bar' => [4, 5] }
     ]
     with_factbases(maps) do |badge, fb|
       {
+        '(agg (and (eq foo 42) (eq hello $v)) (min foo))' => 42,
+        '(agg (or (eq foo 42) (eq bar 4)) (min foo))' => 42,
         '(agg (exists foo) (first foo))' => [42],
         '(agg (exists z) (first z))' => nil,
         '(agg (always) (count))' => 2,
         '(agg (eq bar $v) (count))' => 1,
+        '(agg (eq foo 42) (min foo))' => 42,
+        '(agg (and (eq foo 42)) (min foo))' => 42,
         '(agg (eq z 40) (count))' => 0
       }.each do |q, expected|
-        result = fb.query(q).one(fb, v: 4)
+        result = fb.query(q).one(fb, 'v' => 4)
         if expected.nil?
           assert_nil(result, "#{q} -> nil in #{badge}")
         else
@@ -190,6 +194,16 @@ class TestQuery < Factbase::Test
     end
   end
 
+  def test_finds_with_subsitution
+    maps = [{ 'foo' => [42] }, { 'bar' => [7] }, { 'foo' => [666] }]
+    with_factbases(maps) do |badge, fb|
+      assert_equal(1, fb.query('(eq 2 (agg (eq foo $foo) (count)))').each.to_a.size, "with #{badge}")
+      fb.txn do |fbt|
+        assert_equal(1, fbt.query('(eq 2 (agg (eq foo $foo) (count)))').each.to_a.size, "with #{badge} (txn)")
+      end
+    end
+  end
+
   def test_scans_and_inserts
     with_factbases do |_, fb|
       fb.insert.foo = 42
@@ -277,8 +291,8 @@ class TestQuery < Factbase::Test
       found += 1
     end
     assert_equal(1, found)
-    assert_equal(1, Factbase::Query.new(maps, '(eq foo $bar)', Factbase.new).each(Factbase.new, bar: 42).to_a.size)
-    assert_equal(0, Factbase::Query.new(maps, '(eq foo $bar)', Factbase.new).each(Factbase.new, bar: 555).to_a.size)
+    assert_equal(1, Factbase::Query.new(maps, '(eq foo $bar)', Factbase.new).each(Factbase.new, bar: [42]).to_a.size)
+    assert_equal(0, Factbase::Query.new(maps, '(eq foo $bar)', Factbase.new).each(Factbase.new, bar: [555]).to_a.size)
   end
 
   def test_with_nil_alias

data/test/factbase/test_tee.rb

@@ -37,10 +37,10 @@ class TestTee < Factbase::Test
     map = {}
     prim = Factbase::Fact.new(map)
     prim.foo = 42
-    t = Factbase::Tee.new(Factbase::Fact.new({}), { 'bar' => 7 })
-    assert_equal(7, t['$bar'])
+    t = Factbase::Tee.new(Factbase::Fact.new({}), { 'bar' => [7] })
+    assert_equal([7], t['$bar'])
     t = Factbase::Tee.new(prim, t)
-    assert_equal(7, t['$bar'])
+    assert_equal([7], t['$bar'])
   end
 
   def test_prints_to_string

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: factbase
 version: !ruby/object:Gem::Version
-  version: 0.9.7
+  version: 0.9.8
 platform: ruby
 authors:
 - Yegor Bugayenko