factbase 0.0.60 → 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/.github/workflows/copyrights.yml +1 -1
- data/Gemfile +3 -2
- data/Gemfile.lock +16 -9
- data/factbase.gemspec +8 -8
- data/lib/factbase/syntax.rb +5 -3
- data/lib/factbase/term.rb +0 -7
- data/lib/factbase/terms/logical.rb +14 -7
- data/lib/factbase.rb +3 -3
- data/test/factbase/terms/test_defn.rb +71 -0
- data/test/factbase/terms/test_logical.rb +78 -0
- data/test/factbase/terms/test_math.rb +6 -0
- data/test/factbase/terms/test_strings.rb +8 -1
- data/test/factbase/test_query.rb +7 -2
- data/test/factbase/test_term.rb +0 -90
- data/test/test__helper.rb +3 -0
- metadata +4 -2
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA256:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: 190cce930c1b89f0b8f9a3f5bfd1c186b0fcb44b237056c89c0844d3ded39102
|
|
4
|
+
data.tar.gz: 900c8db8d5d4b6494c409d9df9b0acf9e484a4e680dce67df31ab754e0c1ddc6
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: b78e198034d25412f97a07273c3005bf0f10b14e5889370f48e7ac687f16e3bb708393d10bebe00289db0f1f478d9de2eb7f2be2d58a6d5dcedbda1438444a8a
|
|
7
|
+
data.tar.gz: 5d66f9d6d94c48ad3de475d7bf478b6cd133c15598d1a8a17bf53a8467e03631737e4ae345826972d6158df4f2f315102a7743453ba031a3d6d64110de6ef1da
|
data/Gemfile
CHANGED
|
@@ -24,11 +24,12 @@ source 'https://rubygems.org'
|
|
|
24
24
|
gemspec
|
|
25
25
|
|
|
26
26
|
gem 'minitest', '5.24.1', require: false
|
|
27
|
+
gem 'minitest-reporters', '1.7.1', require: false
|
|
27
28
|
gem 'rake', '13.2.1', require: false
|
|
28
29
|
gem 'rspec-rails', '6.1.3', require: false
|
|
29
|
-
gem 'rubocop', '1.
|
|
30
|
+
gem 'rubocop', '1.65.0', require: false
|
|
30
31
|
gem 'rubocop-performance', '1.21.1', require: false
|
|
31
|
-
gem 'rubocop-rspec', '3.0.
|
|
32
|
+
gem 'rubocop-rspec', '3.0.3', require: false
|
|
32
33
|
gem 'simplecov', '0.22.0', require: false
|
|
33
34
|
gem 'simplecov-cobertura', '2.1.0', require: false
|
|
34
35
|
gem 'yard', '0.9.36', require: false
|
data/Gemfile.lock
CHANGED
|
@@ -40,6 +40,7 @@ GEM
|
|
|
40
40
|
minitest (>= 5.1)
|
|
41
41
|
mutex_m
|
|
42
42
|
tzinfo (~> 2.0)
|
|
43
|
+
ansi (1.5.0)
|
|
43
44
|
ast (2.4.2)
|
|
44
45
|
backtrace (0.4.0)
|
|
45
46
|
base64 (0.2.0)
|
|
@@ -56,7 +57,7 @@ GEM
|
|
|
56
57
|
i18n (1.14.5)
|
|
57
58
|
concurrent-ruby (~> 1.0)
|
|
58
59
|
io-console (0.7.2)
|
|
59
|
-
irb (1.
|
|
60
|
+
irb (1.14.0)
|
|
60
61
|
rdoc (>= 4.0.0)
|
|
61
62
|
reline (>= 0.4.2)
|
|
62
63
|
json (2.7.2)
|
|
@@ -66,6 +67,11 @@ GEM
|
|
|
66
67
|
nokogiri (>= 1.12.0)
|
|
67
68
|
loog (0.5.2)
|
|
68
69
|
minitest (5.24.1)
|
|
70
|
+
minitest-reporters (1.7.1)
|
|
71
|
+
ansi
|
|
72
|
+
builder
|
|
73
|
+
minitest (>= 5.0)
|
|
74
|
+
ruby-progressbar
|
|
69
75
|
mutex_m (0.2.0)
|
|
70
76
|
nokogiri (1.16.6-arm64-darwin)
|
|
71
77
|
racc (~> 1.4)
|
|
@@ -77,13 +83,13 @@ GEM
|
|
|
77
83
|
racc (~> 1.4)
|
|
78
84
|
others (0.0.3)
|
|
79
85
|
parallel (1.25.1)
|
|
80
|
-
parser (3.3.
|
|
86
|
+
parser (3.3.4.0)
|
|
81
87
|
ast (~> 2.4.1)
|
|
82
88
|
racc
|
|
83
89
|
psych (5.1.2)
|
|
84
90
|
stringio
|
|
85
91
|
racc (1.8.0)
|
|
86
|
-
rack (3.1.
|
|
92
|
+
rack (3.1.7)
|
|
87
93
|
rack-session (2.0.0)
|
|
88
94
|
rack (>= 3.0.0)
|
|
89
95
|
rack-test (2.1.0)
|
|
@@ -113,7 +119,7 @@ GEM
|
|
|
113
119
|
regexp_parser (2.9.2)
|
|
114
120
|
reline (0.5.9)
|
|
115
121
|
io-console (~> 0.5)
|
|
116
|
-
rexml (3.3.
|
|
122
|
+
rexml (3.3.2)
|
|
117
123
|
strscan
|
|
118
124
|
rspec-core (3.13.0)
|
|
119
125
|
rspec-support (~> 3.13.0)
|
|
@@ -132,13 +138,13 @@ GEM
|
|
|
132
138
|
rspec-mocks (~> 3.13)
|
|
133
139
|
rspec-support (~> 3.13)
|
|
134
140
|
rspec-support (3.13.1)
|
|
135
|
-
rubocop (1.
|
|
141
|
+
rubocop (1.65.0)
|
|
136
142
|
json (~> 2.3)
|
|
137
143
|
language_server-protocol (>= 3.17.0)
|
|
138
144
|
parallel (~> 1.10)
|
|
139
145
|
parser (>= 3.3.0.2)
|
|
140
146
|
rainbow (>= 2.2.2, < 4.0)
|
|
141
|
-
regexp_parser (>=
|
|
147
|
+
regexp_parser (>= 2.4, < 3.0)
|
|
142
148
|
rexml (>= 3.2.5, < 4.0)
|
|
143
149
|
rubocop-ast (>= 1.31.1, < 2.0)
|
|
144
150
|
ruby-progressbar (~> 1.7)
|
|
@@ -148,7 +154,7 @@ GEM
|
|
|
148
154
|
rubocop-performance (1.21.1)
|
|
149
155
|
rubocop (>= 1.48.1, < 2.0)
|
|
150
156
|
rubocop-ast (>= 1.31.1, < 2.0)
|
|
151
|
-
rubocop-rspec (3.0.
|
|
157
|
+
rubocop-rspec (3.0.3)
|
|
152
158
|
rubocop (~> 1.61)
|
|
153
159
|
ruby-progressbar (1.13.0)
|
|
154
160
|
simplecov (0.22.0)
|
|
@@ -181,11 +187,12 @@ PLATFORMS
|
|
|
181
187
|
DEPENDENCIES
|
|
182
188
|
factbase!
|
|
183
189
|
minitest (= 5.24.1)
|
|
190
|
+
minitest-reporters (= 1.7.1)
|
|
184
191
|
rake (= 13.2.1)
|
|
185
192
|
rspec-rails (= 6.1.3)
|
|
186
|
-
rubocop (= 1.
|
|
193
|
+
rubocop (= 1.65.0)
|
|
187
194
|
rubocop-performance (= 1.21.1)
|
|
188
|
-
rubocop-rspec (= 3.0.
|
|
195
|
+
rubocop-rspec (= 3.0.3)
|
|
189
196
|
simplecov (= 0.22.0)
|
|
190
197
|
simplecov-cobertura (= 2.1.0)
|
|
191
198
|
yard (= 0.9.36)
|
data/factbase.gemspec
CHANGED
|
@@ -42,13 +42,13 @@ Gem::Specification.new do |s|
|
|
|
42
42
|
s.files = `git ls-files`.split($RS)
|
|
43
43
|
s.rdoc_options = ['--charset=UTF-8']
|
|
44
44
|
s.extra_rdoc_files = ['README.md', 'LICENSE.txt']
|
|
45
|
-
s.
|
|
46
|
-
s.
|
|
47
|
-
s.
|
|
48
|
-
s.
|
|
49
|
-
s.
|
|
50
|
-
s.
|
|
51
|
-
s.
|
|
52
|
-
s.
|
|
45
|
+
s.add_dependency 'backtrace', '~>0.3'
|
|
46
|
+
s.add_dependency 'decoor', '~>0.0'
|
|
47
|
+
s.add_dependency 'json', '~>2.7'
|
|
48
|
+
s.add_dependency 'loog', '~>0.2'
|
|
49
|
+
s.add_dependency 'nokogiri', '~>1.10'
|
|
50
|
+
s.add_dependency 'others', '~>0.0'
|
|
51
|
+
s.add_dependency 'tago', '~>0.0'
|
|
52
|
+
s.add_dependency 'yaml', '~>0.3'
|
|
53
53
|
s.metadata['rubygems_mfa_required'] = 'true'
|
|
54
54
|
end
|
data/lib/factbase/syntax.rb
CHANGED
|
@@ -35,8 +35,10 @@ require_relative 'term'
|
|
|
35
35
|
class Factbase::Syntax
|
|
36
36
|
# Ctor.
|
|
37
37
|
# @param [String] query The query, for example "(eq id 42)"
|
|
38
|
-
|
|
38
|
+
# @param [Class] term The class to instantiate to make every term
|
|
39
|
+
def initialize(query, term: Factbase::Term)
|
|
39
40
|
@query = query
|
|
41
|
+
@term = term
|
|
40
42
|
end
|
|
41
43
|
|
|
42
44
|
# Convert it to a term.
|
|
@@ -60,7 +62,7 @@ class Factbase::Syntax
|
|
|
60
62
|
raise 'Too many terms' if @ast[1] != @tokens.size
|
|
61
63
|
term = @ast[0]
|
|
62
64
|
raise 'No terms found' if term.nil?
|
|
63
|
-
raise 'Not a term' unless term.is_a?(
|
|
65
|
+
raise 'Not a term' unless term.is_a?(@term)
|
|
64
66
|
term
|
|
65
67
|
end
|
|
66
68
|
|
|
@@ -89,7 +91,7 @@ class Factbase::Syntax
|
|
|
89
91
|
operands << operand
|
|
90
92
|
break if tokens[at] == :close
|
|
91
93
|
end
|
|
92
|
-
[
|
|
94
|
+
[@term.new(op, operands), at + 1]
|
|
93
95
|
end
|
|
94
96
|
|
|
95
97
|
# Turns a query into an array of tokens.
|
data/lib/factbase/term.rb
CHANGED
|
@@ -130,13 +130,6 @@ class Factbase::Term
|
|
|
130
130
|
|
|
131
131
|
private
|
|
132
132
|
|
|
133
|
-
def either(fact, maps)
|
|
134
|
-
assert_args(2)
|
|
135
|
-
v = the_values(0, fact, maps)
|
|
136
|
-
return v unless v.nil?
|
|
137
|
-
the_values(1, fact, maps)
|
|
138
|
-
end
|
|
139
|
-
|
|
140
133
|
def at(fact, maps)
|
|
141
134
|
assert_args(2)
|
|
142
135
|
i = the_values(0, fact, maps)
|
|
@@ -57,6 +57,20 @@ module Factbase::Term::Logical
|
|
|
57
57
|
true
|
|
58
58
|
end
|
|
59
59
|
|
|
60
|
+
def when(fact, maps)
|
|
61
|
+
assert_args(2)
|
|
62
|
+
a = @operands[0]
|
|
63
|
+
b = @operands[1]
|
|
64
|
+
!a.evaluate(fact, maps) || (a.evaluate(fact, maps) && b.evaluate(fact, maps))
|
|
65
|
+
end
|
|
66
|
+
|
|
67
|
+
def either(fact, maps)
|
|
68
|
+
assert_args(2)
|
|
69
|
+
v = the_values(0, fact, maps)
|
|
70
|
+
return v unless v.nil?
|
|
71
|
+
the_values(1, fact, maps)
|
|
72
|
+
end
|
|
73
|
+
|
|
60
74
|
def and_or_simplify
|
|
61
75
|
strs = []
|
|
62
76
|
ops = []
|
|
@@ -79,13 +93,6 @@ module Factbase::Term::Logical
|
|
|
79
93
|
and_or_simplify
|
|
80
94
|
end
|
|
81
95
|
|
|
82
|
-
def when(fact, maps)
|
|
83
|
-
assert_args(2)
|
|
84
|
-
a = @operands[0]
|
|
85
|
-
b = @operands[1]
|
|
86
|
-
!a.evaluate(fact, maps) || (a.evaluate(fact, maps) && b.evaluate(fact, maps))
|
|
87
|
-
end
|
|
88
|
-
|
|
89
96
|
def _only_bool(val, pos)
|
|
90
97
|
val = val[0] if val.is_a?(Array)
|
|
91
98
|
return false if val.nil?
|
data/lib/factbase.rb
CHANGED
|
@@ -81,7 +81,7 @@ require 'yaml'
|
|
|
81
81
|
# License:: MIT
|
|
82
82
|
class Factbase
|
|
83
83
|
# Current version of the gem (changed by .rultor.yml on every release)
|
|
84
|
-
VERSION = '0.0
|
|
84
|
+
VERSION = '0.1.0'
|
|
85
85
|
|
|
86
86
|
# An exception that may be thrown in a transaction, to roll it back.
|
|
87
87
|
class Rollback < StandardError; end
|
|
@@ -99,7 +99,7 @@ class Factbase
|
|
|
99
99
|
Factbase.new(@maps.map { |m| m.transform_values(&:dup) })
|
|
100
100
|
end
|
|
101
101
|
|
|
102
|
-
# Size.
|
|
102
|
+
# Size, the total number of facts in the factbase.
|
|
103
103
|
# @return [Integer] How many facts are in there
|
|
104
104
|
def size
|
|
105
105
|
@maps.size
|
|
@@ -114,11 +114,11 @@ class Factbase
|
|
|
114
114
|
#
|
|
115
115
|
# @return [Factbase::Fact] The fact just inserted
|
|
116
116
|
def insert
|
|
117
|
-
require_relative 'factbase/fact'
|
|
118
117
|
map = {}
|
|
119
118
|
@mutex.synchronize do
|
|
120
119
|
@maps << map
|
|
121
120
|
end
|
|
121
|
+
require_relative 'factbase/fact'
|
|
122
122
|
Factbase::Fact.new(@mutex, map)
|
|
123
123
|
end
|
|
124
124
|
|
|
@@ -0,0 +1,71 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
# Copyright (c) 2024 Yegor Bugayenko
|
|
4
|
+
#
|
|
5
|
+
# Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
6
|
+
# of this software and associated documentation files (the 'Software'), to deal
|
|
7
|
+
# in the Software without restriction, including without limitation the rights
|
|
8
|
+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
9
|
+
# copies of the Software, and to permit persons to whom the Software is
|
|
10
|
+
# furnished to do so, subject to the following conditions:
|
|
11
|
+
#
|
|
12
|
+
# The above copyright notice and this permission notice shall be included in all
|
|
13
|
+
# copies or substantial portions of the Software.
|
|
14
|
+
#
|
|
15
|
+
# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
16
|
+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
17
|
+
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
|
|
18
|
+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
19
|
+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
20
|
+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
21
|
+
# SOFTWARE.
|
|
22
|
+
|
|
23
|
+
require 'minitest/autorun'
|
|
24
|
+
require_relative '../../../lib/factbase/term'
|
|
25
|
+
|
|
26
|
+
# Defn test.
|
|
27
|
+
# Author:: Yegor Bugayenko (yegor256@gmail.com)
|
|
28
|
+
# Copyright:: Copyright (c) 2024 Yegor Bugayenko
|
|
29
|
+
# License:: MIT
|
|
30
|
+
class TestDefn < Minitest::Test
|
|
31
|
+
def test_defn_simple
|
|
32
|
+
t = Factbase::Term.new(:defn, [:foo, 'self.to_s'])
|
|
33
|
+
assert_equal(true, t.evaluate(fact('foo' => 4), []))
|
|
34
|
+
t1 = Factbase::Term.new(:foo, ['hello, world!'])
|
|
35
|
+
assert_equal('(foo \'hello, world!\')', t1.evaluate(fact, []))
|
|
36
|
+
end
|
|
37
|
+
|
|
38
|
+
def test_defn_again_by_mistake
|
|
39
|
+
t = Factbase::Term.new(:defn, [:and, 'self.to_s'])
|
|
40
|
+
assert_raises do
|
|
41
|
+
t.evaluate(fact, [])
|
|
42
|
+
end
|
|
43
|
+
end
|
|
44
|
+
|
|
45
|
+
def test_defn_bad_name_by_mistake
|
|
46
|
+
t = Factbase::Term.new(:defn, [:to_s, 'self.to_s'])
|
|
47
|
+
assert_raises do
|
|
48
|
+
t.evaluate(fact, [])
|
|
49
|
+
end
|
|
50
|
+
end
|
|
51
|
+
|
|
52
|
+
def test_defn_bad_name_spelling_by_mistake
|
|
53
|
+
t = Factbase::Term.new(:defn, [:'some-key', 'self.to_s'])
|
|
54
|
+
assert_raises do
|
|
55
|
+
t.evaluate(fact, [])
|
|
56
|
+
end
|
|
57
|
+
end
|
|
58
|
+
|
|
59
|
+
def test_undef_simple
|
|
60
|
+
t = Factbase::Term.new(:defn, [:hello, 'self.to_s'])
|
|
61
|
+
assert_equal(true, t.evaluate(fact, []))
|
|
62
|
+
t = Factbase::Term.new(:undef, [:hello])
|
|
63
|
+
assert_equal(true, t.evaluate(fact, []))
|
|
64
|
+
end
|
|
65
|
+
|
|
66
|
+
private
|
|
67
|
+
|
|
68
|
+
def fact(map = {})
|
|
69
|
+
Factbase::Fact.new(Mutex.new, map)
|
|
70
|
+
end
|
|
71
|
+
end
|
|
@@ -0,0 +1,78 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
# Copyright (c) 2024 Yegor Bugayenko
|
|
4
|
+
#
|
|
5
|
+
# Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
6
|
+
# of this software and associated documentation files (the 'Software'), to deal
|
|
7
|
+
# in the Software without restriction, including without limitation the rights
|
|
8
|
+
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
9
|
+
# copies of the Software, and to permit persons to whom the Software is
|
|
10
|
+
# furnished to do so, subject to the following conditions:
|
|
11
|
+
#
|
|
12
|
+
# The above copyright notice and this permission notice shall be included in all
|
|
13
|
+
# copies or substantial portions of the Software.
|
|
14
|
+
#
|
|
15
|
+
# THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
16
|
+
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
17
|
+
# FITNESS FOR A PARTICULAR PURPOSE AND NONINFINGEMENT. IN NO EVENT SHALL THE
|
|
18
|
+
# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
19
|
+
# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
20
|
+
# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
21
|
+
# SOFTWARE.
|
|
22
|
+
|
|
23
|
+
require 'minitest/autorun'
|
|
24
|
+
require_relative '../../../lib/factbase/term'
|
|
25
|
+
|
|
26
|
+
# Logical test.
|
|
27
|
+
# Author:: Yegor Bugayenko (yegor256@gmail.com)
|
|
28
|
+
# Copyright:: Copyright (c) 2024 Yegor Bugayenko
|
|
29
|
+
# License:: MIT
|
|
30
|
+
class TestLogical < Minitest::Test
|
|
31
|
+
def test_not_matching
|
|
32
|
+
t = Factbase::Term.new(:not, [Factbase::Term.new(:always, [])])
|
|
33
|
+
assert(!t.evaluate(fact('foo' => [100]), []))
|
|
34
|
+
end
|
|
35
|
+
|
|
36
|
+
def test_not_eq_matching
|
|
37
|
+
t = Factbase::Term.new(:not, [Factbase::Term.new(:eq, [:foo, 100])])
|
|
38
|
+
assert(t.evaluate(fact('foo' => [42, 12, -90]), []))
|
|
39
|
+
assert(!t.evaluate(fact('foo' => 100), []))
|
|
40
|
+
end
|
|
41
|
+
|
|
42
|
+
def test_either
|
|
43
|
+
t = Factbase::Term.new(:either, [Factbase::Term.new(:at, [5, :foo]), 42])
|
|
44
|
+
assert_equal([42], t.evaluate(fact('foo' => 4), []))
|
|
45
|
+
end
|
|
46
|
+
|
|
47
|
+
def test_or_matching
|
|
48
|
+
t = Factbase::Term.new(
|
|
49
|
+
:or,
|
|
50
|
+
[
|
|
51
|
+
Factbase::Term.new(:eq, [:foo, 4]),
|
|
52
|
+
Factbase::Term.new(:eq, [:bar, 5])
|
|
53
|
+
]
|
|
54
|
+
)
|
|
55
|
+
assert(t.evaluate(fact('foo' => [4]), []))
|
|
56
|
+
assert(t.evaluate(fact('bar' => [5]), []))
|
|
57
|
+
assert(!t.evaluate(fact('bar' => [42]), []))
|
|
58
|
+
end
|
|
59
|
+
|
|
60
|
+
def test_when_matching
|
|
61
|
+
t = Factbase::Term.new(
|
|
62
|
+
:when,
|
|
63
|
+
[
|
|
64
|
+
Factbase::Term.new(:eq, [:foo, 4]),
|
|
65
|
+
Factbase::Term.new(:eq, [:bar, 5])
|
|
66
|
+
]
|
|
67
|
+
)
|
|
68
|
+
assert(t.evaluate(fact('foo' => 4, 'bar' => 5), []))
|
|
69
|
+
assert(!t.evaluate(fact('foo' => 4), []))
|
|
70
|
+
assert(t.evaluate(fact('foo' => 5, 'bar' => 5), []))
|
|
71
|
+
end
|
|
72
|
+
|
|
73
|
+
private
|
|
74
|
+
|
|
75
|
+
def fact(map = {})
|
|
76
|
+
Factbase::Fact.new(Mutex.new, map)
|
|
77
|
+
end
|
|
78
|
+
end
|
|
@@ -106,6 +106,12 @@ class TestMath < Minitest::Test
|
|
|
106
106
|
assert_equal('Float', t.evaluate(fact, []).class.to_s)
|
|
107
107
|
end
|
|
108
108
|
|
|
109
|
+
def test_plus
|
|
110
|
+
t = Factbase::Term.new(:plus, [:foo, 42])
|
|
111
|
+
assert_equal(46, t.evaluate(fact('foo' => 4), []))
|
|
112
|
+
assert(t.evaluate(fact, []).nil?)
|
|
113
|
+
end
|
|
114
|
+
|
|
109
115
|
private
|
|
110
116
|
|
|
111
117
|
def fact(map = {})
|
|
@@ -28,6 +28,13 @@ require_relative '../../../lib/factbase/term'
|
|
|
28
28
|
# Copyright:: Copyright (c) 2024 Yegor Bugayenko
|
|
29
29
|
# License:: MIT
|
|
30
30
|
class TestStrings < Minitest::Test
|
|
31
|
+
def test_regexp_matching
|
|
32
|
+
t = Factbase::Term.new(:matches, [:foo, '[a-z]+'])
|
|
33
|
+
assert(t.evaluate(fact('foo' => 'hello'), []))
|
|
34
|
+
assert(t.evaluate(fact('foo' => 'hello 42'), []))
|
|
35
|
+
assert(!t.evaluate(fact('foo' => 42), []))
|
|
36
|
+
end
|
|
37
|
+
|
|
31
38
|
def test_concat
|
|
32
39
|
t = Factbase::Term.new(:concat, [42, 'hi', 3.14, :hey, Time.now])
|
|
33
40
|
s = t.evaluate(fact, [])
|
|
@@ -40,7 +47,7 @@ class TestStrings < Minitest::Test
|
|
|
40
47
|
end
|
|
41
48
|
|
|
42
49
|
def test_sprintf
|
|
43
|
-
t = Factbase::Term.new(:sprintf, ['hi, %s!', 'Jeff'
|
|
50
|
+
t = Factbase::Term.new(:sprintf, ['hi, %s!', 'Jeff'])
|
|
44
51
|
assert_equal('hi, Jeff!', t.evaluate(fact, []))
|
|
45
52
|
end
|
|
46
53
|
|
data/test/factbase/test_query.rb
CHANGED
|
@@ -120,8 +120,13 @@ class TestQuery < Minitest::Test
|
|
|
120
120
|
'(agg (always) (count))' => 2,
|
|
121
121
|
'(agg (eq bar $v) (count))' => 1,
|
|
122
122
|
'(agg (eq z 40) (count))' => 0
|
|
123
|
-
}.each do |q,
|
|
124
|
-
|
|
123
|
+
}.each do |q, expected|
|
|
124
|
+
result = Factbase::Query.new(maps, Mutex.new, q).one(v: 4)
|
|
125
|
+
if expected.nil?
|
|
126
|
+
assert_nil(result, "#{q} -> nil")
|
|
127
|
+
else
|
|
128
|
+
assert_equal(expected, result, "#{q} -> #{expected}")
|
|
129
|
+
end
|
|
125
130
|
end
|
|
126
131
|
end
|
|
127
132
|
|
data/test/factbase/test_term.rb
CHANGED
|
@@ -33,17 +33,6 @@ class TestTerm < Minitest::Test
|
|
|
33
33
|
assert(!t.evaluate(fact('foo' => [100]), []))
|
|
34
34
|
end
|
|
35
35
|
|
|
36
|
-
def test_not_matching
|
|
37
|
-
t = Factbase::Term.new(:not, [Factbase::Term.new(:always, [])])
|
|
38
|
-
assert(!t.evaluate(fact('foo' => [100]), []))
|
|
39
|
-
end
|
|
40
|
-
|
|
41
|
-
def test_not_eq_matching
|
|
42
|
-
t = Factbase::Term.new(:not, [Factbase::Term.new(:eq, [:foo, 100])])
|
|
43
|
-
assert(t.evaluate(fact('foo' => [42, 12, -90]), []))
|
|
44
|
-
assert(!t.evaluate(fact('foo' => 100), []))
|
|
45
|
-
end
|
|
46
|
-
|
|
47
36
|
def test_size_matching
|
|
48
37
|
t = Factbase::Term.new(:size, [:foo])
|
|
49
38
|
assert_equal(3, t.evaluate(fact('foo' => [42, 12, -90]), []))
|
|
@@ -74,74 +63,6 @@ class TestTerm < Minitest::Test
|
|
|
74
63
|
assert_equal('nil', t.evaluate(fact, []))
|
|
75
64
|
end
|
|
76
65
|
|
|
77
|
-
def test_regexp_matching
|
|
78
|
-
t = Factbase::Term.new(:matches, [:foo, '[a-z]+'])
|
|
79
|
-
assert(t.evaluate(fact('foo' => 'hello'), []))
|
|
80
|
-
assert(t.evaluate(fact('foo' => 'hello 42'), []))
|
|
81
|
-
assert(!t.evaluate(fact('foo' => 42), []))
|
|
82
|
-
end
|
|
83
|
-
|
|
84
|
-
def test_or_matching
|
|
85
|
-
t = Factbase::Term.new(
|
|
86
|
-
:or,
|
|
87
|
-
[
|
|
88
|
-
Factbase::Term.new(:eq, [:foo, 4]),
|
|
89
|
-
Factbase::Term.new(:eq, [:bar, 5])
|
|
90
|
-
]
|
|
91
|
-
)
|
|
92
|
-
assert(t.evaluate(fact('foo' => [4]), []))
|
|
93
|
-
assert(t.evaluate(fact('bar' => [5]), []))
|
|
94
|
-
assert(!t.evaluate(fact('bar' => [42]), []))
|
|
95
|
-
end
|
|
96
|
-
|
|
97
|
-
def test_when_matching
|
|
98
|
-
t = Factbase::Term.new(
|
|
99
|
-
:when,
|
|
100
|
-
[
|
|
101
|
-
Factbase::Term.new(:eq, [:foo, 4]),
|
|
102
|
-
Factbase::Term.new(:eq, [:bar, 5])
|
|
103
|
-
]
|
|
104
|
-
)
|
|
105
|
-
assert(t.evaluate(fact('foo' => 4, 'bar' => 5), []))
|
|
106
|
-
assert(!t.evaluate(fact('foo' => 4), []))
|
|
107
|
-
assert(t.evaluate(fact('foo' => 5, 'bar' => 5), []))
|
|
108
|
-
end
|
|
109
|
-
|
|
110
|
-
def test_defn_simple
|
|
111
|
-
t = Factbase::Term.new(:defn, [:foo, 'self.to_s'])
|
|
112
|
-
assert_equal(true, t.evaluate(fact('foo' => 4), []))
|
|
113
|
-
t1 = Factbase::Term.new(:foo, ['hello, world!'])
|
|
114
|
-
assert_equal('(foo \'hello, world!\')', t1.evaluate(fact, []))
|
|
115
|
-
end
|
|
116
|
-
|
|
117
|
-
def test_defn_again_by_mistake
|
|
118
|
-
t = Factbase::Term.new(:defn, [:and, 'self.to_s'])
|
|
119
|
-
assert_raises do
|
|
120
|
-
t.evaluate(fact, [])
|
|
121
|
-
end
|
|
122
|
-
end
|
|
123
|
-
|
|
124
|
-
def test_defn_bad_name_by_mistake
|
|
125
|
-
t = Factbase::Term.new(:defn, [:to_s, 'self.to_s'])
|
|
126
|
-
assert_raises do
|
|
127
|
-
t.evaluate(fact, [])
|
|
128
|
-
end
|
|
129
|
-
end
|
|
130
|
-
|
|
131
|
-
def test_defn_bad_name_spelling_by_mistake
|
|
132
|
-
t = Factbase::Term.new(:defn, [:'some-key', 'self.to_s'])
|
|
133
|
-
assert_raises do
|
|
134
|
-
t.evaluate(fact, [])
|
|
135
|
-
end
|
|
136
|
-
end
|
|
137
|
-
|
|
138
|
-
def test_undef_simple
|
|
139
|
-
t = Factbase::Term.new(:defn, [:hello, 'self.to_s'])
|
|
140
|
-
assert_equal(true, t.evaluate(fact, []))
|
|
141
|
-
t = Factbase::Term.new(:undef, [:hello])
|
|
142
|
-
assert_equal(true, t.evaluate(fact, []))
|
|
143
|
-
end
|
|
144
|
-
|
|
145
66
|
def test_past
|
|
146
67
|
t = Factbase::Term.new(:prev, [:foo])
|
|
147
68
|
assert_nil(t.evaluate(fact('foo' => 4), []))
|
|
@@ -154,17 +75,6 @@ class TestTerm < Minitest::Test
|
|
|
154
75
|
assert_equal(5, t.evaluate(fact('foo' => [4, 5]), []))
|
|
155
76
|
end
|
|
156
77
|
|
|
157
|
-
def test_either
|
|
158
|
-
t = Factbase::Term.new(:either, [Factbase::Term.new(:at, [5, :foo]), 42])
|
|
159
|
-
assert_equal([42], t.evaluate(fact('foo' => 4), []))
|
|
160
|
-
end
|
|
161
|
-
|
|
162
|
-
def test_plus
|
|
163
|
-
t = Factbase::Term.new(:plus, [:foo, 42])
|
|
164
|
-
assert_equal(46, t.evaluate(fact('foo' => 4), []))
|
|
165
|
-
assert(t.evaluate(fact, []).nil?)
|
|
166
|
-
end
|
|
167
|
-
|
|
168
78
|
def test_report_missing_term
|
|
169
79
|
t = Factbase::Term.new(:something, [])
|
|
170
80
|
msg = assert_raises do
|
data/test/test__helper.rb
CHANGED
metadata
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: factbase
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 0.0
|
|
4
|
+
version: 0.1.0
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Yegor Bugayenko
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: bin
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date: 2024-07-
|
|
11
|
+
date: 2024-07-17 00:00:00.000000000 Z
|
|
12
12
|
dependencies:
|
|
13
13
|
- !ruby/object:Gem::Dependency
|
|
14
14
|
name: backtrace
|
|
@@ -183,6 +183,8 @@ files:
|
|
|
183
183
|
- renovate.json
|
|
184
184
|
- test/factbase/terms/test_aggregates.rb
|
|
185
185
|
- test/factbase/terms/test_aliases.rb
|
|
186
|
+
- test/factbase/terms/test_defn.rb
|
|
187
|
+
- test/factbase/terms/test_logical.rb
|
|
186
188
|
- test/factbase/terms/test_math.rb
|
|
187
189
|
- test/factbase/terms/test_strings.rb
|
|
188
190
|
- test/factbase/test_accum.rb
|