factbase 0.0.39 → 0.0.40

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 8ff1db55d5a25e5036d3a98423caedc960f8323681e2227c82e0a397727067c0
-  data.tar.gz: b3000b708bd2eb69005998a722011a296384d5cea66641b975471e611b93e4d0
+  metadata.gz: 129d17fba6d19bc5131f853d6b90c2e963187e84626270be4f7766e926d4c2c9
+  data.tar.gz: 4196611d541b81bdc1a73bf31f4b1fe15077ad702d8d1ec558f0f61d5e530396
 SHA512:
-  metadata.gz: a377a359a877b1f50c83f13c451e095036b4087cf88e39c04a0e5d64e86337bfef458883646009daff4b2b90446abbdbd563a4921b3ed275b88b7408b69ef0de
-  data.tar.gz: 26a5ca088df353e0c526080213aa4d87b23805dd522617d52d2d738b1881c40ae4c659fa886db4fbe19a30a131ff6b5a7e19aadf5dbafcbd0f6b81954386bd65
+  metadata.gz: 1d87ddb11c2252043c963c6e086a617f216bc15a79441cfa121a0e3de3157f31705cfd1bfea7b6b89996488c76805ee27152f4be00627c7d3f3e1d506636c303
+  data.tar.gz: 5e913f0d675f19fc03cc83c80301af5fd390de8cdaf730a0ea2612768ae0056286be7f5f42686616ee0b1fc69cf22adc0009e9df5315251971e9c948da5ee739

data/README.md

@@ -92,6 +92,7 @@ One term is for meta-programming:
 There are terms that are history of search aware:
 
 * `(prev a)` returns the value of `a` in the previously seen fact
+* `(unique k)` returns true if the value of `k` property hasn't been seen yet
 
 There are also terms that match the entire factbase
 and must be used inside the `(agg ..)` term:

data/lib/factbase/fact.rb

@@ -24,17 +24,20 @@ require 'json'
 require 'time'
 require_relative '../factbase'
 
-# Fact.
+# A single fact in a factbase.
 #
-# This is an internal class, it is not supposed to be instantiated directly.
-#
-# It is possible to use for testing directly, for example to make a
+# This is an internal class, it is not supposed to be instantiated directly,
+# by the +Factbase+ class.
+# However, it is possible to use it for testing directly, for example to make a
 # fact with a single key/value pair inside:
 #
 #  require 'factbase/fact'
 #  f = Factbase::Fact.new(Mutex.new, { 'foo' => [42, 256, 'Hello, world!'] })
 #  assert_equal(42, f.foo)
 #
+# A fact is basically a key/value hash map, where values are non-empty
+# sets of values.
+#
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024 Yegor Bugayenko
 # License:: MIT

data/lib/factbase/looged.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 'loog'
 
 # A decorator of a Factbase, that logs all operations.
@@ -114,39 +115,51 @@ class Factbase::Looged
     def each(&)
       q = Factbase::Syntax.new(@expr).to_term.to_s
       if block_given?
-        r = @query.each(&)
+        r = nil
+        tail = Factbase::Looged.elapsed do
+          r = @query.each(&)
+        end
         raise ".each of #{@query.class} returned #{r.class}" unless r.is_a?(Integer)
         if r.zero?
-          @loog.debug("Nothing found by '#{q}'")
+          @loog.debug("Nothing found by '#{q}' #{tail}")
         else
-          @loog.debug("Found #{r} fact(s) by '#{q}'")
+          @loog.debug("Found #{r} fact(s) by '#{q}' #{tail}")
         end
         r
       else
         array = []
-        # rubocop:disable Style/MapIntoArray
-        @query.each do |f|
-          array << f
+        tail = Factbase::Looged.elapsed do
+          @query.each do |f|
+            array << f
+          end
         end
-        # rubocop:enable Style/MapIntoArray
         if array.empty?
-          @loog.debug("Nothing found by '#{q}'")
+          @loog.debug("Nothing found by '#{q}' #{tail}")
         else
-          @loog.debug("Found #{array.size} fact(s) by '#{q}'")
+          @loog.debug("Found #{array.size} fact(s) by '#{q}' #{tail}")
         end
         array
       end
     end
 
     def delete!
-      r = @query.delete!
+      r = nil
+      tail = Factbase::Looged.elapsed do
+        r = @query.delete!
+      end
       raise ".delete! of #{@query.class} returned #{r.class}" unless r.is_a?(Integer)
       if r.zero?
-        @loog.debug("Nothing deleted by '#{@expr}'")
+        @loog.debug("Nothing deleted by '#{@expr}' #{tail}")
       else
-        @loog.debug("Deleted #{r} fact(s) by '#{@expr}'")
+        @loog.debug("Deleted #{r} fact(s) by '#{@expr}' #{tail}")
       end
       r
     end
   end
+
+  def self.elapsed
+    start = Time.now
+    yield
+    "in #{format('%.2f', (Time.now - start) * 1000)}ms"
+  end
 end

data/lib/factbase/term.rb

@@ -36,6 +36,15 @@ require_relative 'fact'
 #  t = Factbase::Term.new(:lt, [:foo, 50])
 #  assert(t.evaluate(f))
 #
+# The design of this class may look ugly, since it has a large number of
+# methods, each of which corresponds to a different type of a +Term+. A much
+# better design would definitely involve many classes, one per each type
+# of a term. It's not done this way because of an experimental nature of
+# the project. Most probably we should keep current design intact, since it
+# works well and is rather simple to extend (by adding new term types).
+# Moreover, it looks like the number of possible term types is rather limited
+# and currently we implement most of them.
+#
 # Author:: Yegor Bugayenko (yegor256@gmail.com)
 # Copyright:: Copyright (c) 2024 Yegor Bugayenko
 # License:: MIT
@@ -184,6 +193,19 @@ class Factbase::Term
     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
+
   def many(fact, maps)
     assert_args(1)
     v = the_values(0, fact, maps)

data/lib/factbase.rb

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

data/test/factbase/test_looged.rb

@@ -94,7 +94,7 @@ class TestLooged < Minitest::Test
       'Found 1 fact(s) by \'(exists bar)\'',
       'Deleted 3 fact(s) by \'(not (exists bar))\''
     ].each do |s|
-      assert(log.to_s.include?("#{s}\n"), "#{log}\n")
+      assert(log.to_s.include?(s), "#{log}\n")
     end
   end
 end

data/test/factbase/test_query.rb

@@ -57,6 +57,9 @@ class TestQuery < Minitest::Test
       '(not (exists hello))' => 3,
       '(eq "Integer" (type num))' => 2,
       '(when (eq num 0) (exists time))' => 2,
+      '(unique num)' => 2,
+      '(unique name)' => 2,
+      '(unique pi)' => 1,
       '(many num)' => 1,
       '(one num)' => 2,
       '(gt num (minus 1 (either (at 0 (prev num)) 0)))' => 3,

metadata

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