factbase 0.0.31 → 0.0.32

Sign up to get free protection for your applications and to get access to all the features.
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: 016b53cf00bc9efec24f50c333ab1fc14266151487fab61ce7d7ca533ba602a6
4
- data.tar.gz: 89845aa58068bf78189d62602282dbcffe8f99a5d4b772dcf8bfd3ee4b3698d4
3
+ metadata.gz: 53e563c36bf3d61f977bbae719a1b6069973a40b28f37ba4e3222f7fbae7091c
4
+ data.tar.gz: ecd5e6b589ceda68f8a25369e6d7c169500dab90ac6bfca26af5384d0e74bdc9
5
5
  SHA512:
6
- metadata.gz: 0d2fecf64f6b62d4ad8796469f4aa937a63e2398f032a812fc15b95ea6be48f0aa25fe032bc469e4afd4ced351f6ba8fbc914bf1dc074dd07ae881b481e39d0b
7
- data.tar.gz: 9843fdc79bf8b53aae6b366d1ea133f92185a85dc37ed5f6779d478d030655e621d5431cf793ee162f79fddc4c51ae49403850f25849cbcefb7ac793cc4975ae
6
+ metadata.gz: 7fc18cb91cd74af7e9e87b0740b10d1409278ce0dc8a7ea589ef8c45a5b61501dbe0706faf012a49862c911c25859d85a93ad1e6e275421af4c3255bcd5d1b2b
7
+ data.tar.gz: bf4d812092097c9edb40ccd4aeac447b96906bbdbb515696199f9fa229d8e620ba36b2c80435e1d75115c07e5f2bac6029215df0657d03d51ceb42d053f6652c
data/README.md CHANGED
@@ -56,8 +56,7 @@ assert(f2.query('(eq foo 42)').each.to_a.size == 1)
56
56
 
57
57
  All terms available in a query:
58
58
 
59
- * `()` is true
60
- * `(nil)` is false
59
+ * `(always)` and `(never)` are "true" and "false"
61
60
  * `(not t)` inverses the `t` if it's boolean (exception otherwise)
62
61
  * `(or t1 t2 ...)` returns true if at least one argument is true
63
62
  * `(and t1 t2 ...)` returns true if all arguments are true
@@ -71,7 +71,7 @@ class Factbase::Syntax
71
71
  return [tokens[at], at + 1] unless tokens[at] == :open
72
72
  at += 1
73
73
  op = tokens[at]
74
- return [Factbase::Term.new(:nil, []), at + 1] if op == :close
74
+ raise 'No token found' if op == :close
75
75
  operands = []
76
76
  at += 1
77
77
  loop do
data/lib/factbase/term.rb CHANGED
@@ -43,6 +43,8 @@ class Factbase::Term
43
43
  # @return [bool] TRUE if matches
44
44
  def evaluate(fact)
45
45
  send(@op, fact)
46
+ rescue NoMethodError => _e
47
+ raise "Term '#{@op}' is not defined"
46
48
  end
47
49
 
48
50
  # Put it into the context: let it see the entire array of maps.
@@ -87,11 +89,16 @@ class Factbase::Term
87
89
 
88
90
  private
89
91
 
90
- def nil(_fact)
92
+ def always(_fact)
91
93
  assert_args(0)
92
94
  true
93
95
  end
94
96
 
97
+ def never(_fact)
98
+ assert_args(0)
99
+ false
100
+ end
101
+
95
102
  def not(fact)
96
103
  assert_args(1)
97
104
  !only_bool(the_value(0, fact))
data/lib/factbase.rb CHANGED
@@ -29,7 +29,7 @@ require 'yaml'
29
29
  # License:: MIT
30
30
  class Factbase
31
31
  # Current version of the gem (changed by .rultor.yml on every release)
32
- VERSION = '0.0.31'
32
+ VERSION = '0.0.32'
33
33
 
34
34
  # Constructor.
35
35
  def initialize(facts = [])
@@ -42,7 +42,7 @@ class TestInv < Minitest::Test
42
42
  end
43
43
  f.c = 256
44
44
  assert_equal(42, f.a)
45
- assert_equal(1, fb.query('()').each.to_a.size)
45
+ assert_equal(1, fb.query('(always)').each.to_a.size)
46
46
  end
47
47
 
48
48
  def test_pre_and_inv
@@ -48,19 +48,19 @@ class TestLooged < Minitest::Test
48
48
  fb = Factbase.new
49
49
  fb.insert
50
50
  fb.insert
51
- assert_equal(2, Factbase::Looged.new(fb, Loog::NULL).query('()').each(&:to_s))
51
+ assert_equal(2, Factbase::Looged.new(fb, Loog::NULL).query('(always)').each(&:to_s))
52
52
  end
53
53
 
54
54
  def test_returns_int_when_empty
55
55
  fb = Factbase.new
56
- assert_equal(0, Factbase::Looged.new(fb, Loog::NULL).query('()').each(&:to_s))
56
+ assert_equal(0, Factbase::Looged.new(fb, Loog::NULL).query('(always)').each(&:to_s))
57
57
  end
58
58
 
59
59
  def test_logs_when_enumerator
60
60
  fb = Factbase::Looged.new(Factbase.new, Loog::NULL)
61
- assert_equal(0, fb.query('()').each.to_a.size)
61
+ assert_equal(0, fb.query('(always)').each.to_a.size)
62
62
  fb.insert
63
- assert_equal(1, fb.query('()').each.to_a.size)
63
+ assert_equal(1, fb.query('(always)').each.to_a.size)
64
64
  end
65
65
 
66
66
  def test_proper_logging
@@ -33,6 +33,6 @@ class TestPre < Minitest::Test
33
33
  fb = Factbase::Pre.new(Factbase.new) { |f| f.foo = 42 }
34
34
  f = fb.insert
35
35
  assert_equal(42, f.foo)
36
- assert_equal(1, fb.query('()').each.to_a.size)
36
+ assert_equal(1, fb.query('(always)').each.to_a.size)
37
37
  end
38
38
  end
@@ -90,6 +90,16 @@ class TestQuery < Minitest::Test
90
90
  assert_equal(1, maps.size)
91
91
  end
92
92
 
93
+ def test_deleting_nothing
94
+ maps = []
95
+ maps << { 'foo' => [42] }
96
+ maps << { 'bar' => [4, 5] }
97
+ maps << { 'bar' => 5 }
98
+ q = Factbase::Query.new(maps, Mutex.new, '(never)')
99
+ assert_equal(0, q.delete!)
100
+ assert_equal(3, maps.size)
101
+ end
102
+
93
103
  def test_to_array
94
104
  maps = []
95
105
  maps << { 'foo' => [42] }
@@ -41,13 +41,12 @@ class TestSyntax < Minitest::Test
41
41
 
42
42
  def test_simple_parsing
43
43
  [
44
- '()',
45
44
  '(foo)',
46
45
  '(foo (bar) (zz 77) )',
47
46
  "(eq foo \n\n 'Hello, world!'\n)\n",
48
47
  "(eq x 'Hello, \\' \n) \\' ( world!')",
49
48
  "# this is a comment\n(eq foo # test\n 42)\n\n# another comment\n",
50
- "(or ( a 4) (b 5) () (and () (c 5) \t\t(r 7 w8s w8is 'Foo')))"
49
+ "(or ( a 4) (b 5) (always) (and (always) (c 5) \t\t(r 7 w8s w8is 'Foo')))"
51
50
  ].each do |q|
52
51
  Factbase::Syntax.new(q).to_term
53
52
  end
@@ -67,7 +66,7 @@ class TestSyntax < Minitest::Test
67
66
  '(eq t 2024-05-25T19:43:48Z)',
68
67
  '(eq t 3.1415926)',
69
68
  '(eq t 3.0e+21)',
70
- "(foo (x (f (t (y 42 'Hey you'))) (f) (r 3)) y z)"
69
+ "(foo (x (f (t (y 42 'Hey you'))) (never) (r 3)) y z)"
71
70
  ].each do |q|
72
71
  assert_equal(q, Factbase::Syntax.new(q).to_term.to_s)
73
72
  end
@@ -91,6 +90,7 @@ class TestSyntax < Minitest::Test
91
90
  def test_broken_syntax
92
91
  [
93
92
  '',
93
+ '()',
94
94
  '(foo',
95
95
  '(foo 1) (bar 2)',
96
96
  'some text',
@@ -82,8 +82,13 @@ class TestTerm < Minitest::Test
82
82
  assert(!t.evaluate(fact('bar' => [100])))
83
83
  end
84
84
 
85
+ def test_false_matching
86
+ t = Factbase::Term.new(:never, [])
87
+ assert(!t.evaluate(fact('foo' => [100])))
88
+ end
89
+
85
90
  def test_not_matching
86
- t = Factbase::Term.new(:not, [Factbase::Term.new(:nil, [])])
91
+ t = Factbase::Term.new(:not, [Factbase::Term.new(:always, [])])
87
92
  assert(!t.evaluate(fact('foo' => [100])))
88
93
  end
89
94
 
@@ -107,7 +107,7 @@ class TestFactbase < Minitest::Test
107
107
 
108
108
  def test_all_decorators
109
109
  [
110
- Factbase::Rules.new(Factbase.new, '()'),
110
+ Factbase::Rules.new(Factbase.new, '(always)'),
111
111
  Factbase::Inv.new(Factbase.new) { |_, _| true },
112
112
  Factbase::Pre.new(Factbase.new) { |_| true },
113
113
  Factbase::Looged.new(Factbase.new, Loog::NULL),
@@ -126,7 +126,7 @@ class TestFactbase < Minitest::Test
126
126
  end
127
127
  d.import(d.export)
128
128
  assert_equal(4, d.size)
129
- assert_equal(4, d.query('()').each.to_a.size)
129
+ assert_equal(4, d.query('(always)').each.to_a.size)
130
130
  end
131
131
  end
132
132
  end
metadata CHANGED
@@ -1,7 +1,7 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: factbase
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.0.31
4
+ version: 0.0.32
5
5
  platform: ruby
6
6
  authors:
7
7
  - Yegor Bugayenko