predicator 0.3.0 → 1.2.1
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 +5 -5
- data/.gitignore +2 -0
- data/.rubocop.yml +46 -0
- data/.travis.yml +3 -2
- data/HISTORY.md +31 -0
- data/README.md +33 -12
- data/Rakefile +14 -5
- data/lib/predicator.rb +18 -4
- data/lib/predicator/ast.rb +190 -0
- data/lib/predicator/context.rb +7 -12
- data/lib/predicator/evaluator.rb +153 -0
- data/lib/predicator/lexer.rex +69 -0
- data/lib/predicator/lexer.rex.rb +187 -0
- data/lib/predicator/parser.rb +427 -26
- data/lib/predicator/parser.y +103 -35
- data/lib/predicator/version.rb +1 -1
- data/lib/predicator/visitors.rb +5 -0
- data/lib/predicator/visitors/dot.rb +113 -0
- data/lib/predicator/visitors/each.rb +16 -0
- data/lib/predicator/visitors/instructions.rb +183 -0
- data/lib/predicator/visitors/string.rb +76 -0
- data/lib/predicator/visitors/visitor.rb +100 -0
- data/predicator.gemspec +10 -2
- metadata +67 -28
- data/lib/predicator/generated_parser.rb +0 -307
- data/lib/predicator/lexer.rb +0 -117
- data/lib/predicator/predicates/and.rb +0 -20
- data/lib/predicator/predicates/between.rb +0 -23
- data/lib/predicator/predicates/equal.rb +0 -9
- data/lib/predicator/predicates/false.rb +0 -13
- data/lib/predicator/predicates/greater_than.rb +0 -9
- data/lib/predicator/predicates/greater_than_or_equal.rb +0 -9
- data/lib/predicator/predicates/less_than.rb +0 -9
- data/lib/predicator/predicates/less_than_or_equal.rb +0 -9
- data/lib/predicator/predicates/not.rb +0 -20
- data/lib/predicator/predicates/not_equal.rb +0 -9
- data/lib/predicator/predicates/or.rb +0 -20
- data/lib/predicator/predicates/relation.rb +0 -17
- data/lib/predicator/predicates/true.rb +0 -13
- data/lib/predicator/variable.rb +0 -26
data/lib/predicator/lexer.rb
DELETED
|
@@ -1,117 +0,0 @@
|
|
|
1
|
-
require "stringio"
|
|
2
|
-
require "strscan"
|
|
3
|
-
|
|
4
|
-
module Predicator
|
|
5
|
-
class Lexer
|
|
6
|
-
SPACE = /[ \t\r\n]/
|
|
7
|
-
DOT = /\./
|
|
8
|
-
LPAREN = /\(/
|
|
9
|
-
RPAREN = /\)/
|
|
10
|
-
NEQ = /!=/
|
|
11
|
-
GEQ = />=/
|
|
12
|
-
LEQ = /<=/
|
|
13
|
-
GT = />/
|
|
14
|
-
LT = /</
|
|
15
|
-
EQ = /=/
|
|
16
|
-
BANG = /!/
|
|
17
|
-
DATE = /(\d{4})-(\d{2})-(\d{2})/i
|
|
18
|
-
FLOAT = /[+-]?(?:[0-9_]+\.[0-9_]*|\.[0-9_]+|\d+(?=[eE]))(?:[eE][+-]?[0-9_]+)?\b/
|
|
19
|
-
INTEGER = /[+-]?\d(_?\d)*\b/
|
|
20
|
-
TRUE = /true\b/
|
|
21
|
-
FALSE = /false\b/
|
|
22
|
-
AND = /and/i
|
|
23
|
-
OR = /or/i
|
|
24
|
-
BETWEEN = /between/i
|
|
25
|
-
STRING = /(["])(?:\\?.)*?\1/
|
|
26
|
-
IDENTIFIER = /[a-z][A-Za-z0-9_]*/
|
|
27
|
-
|
|
28
|
-
def initialize string_or_io
|
|
29
|
-
io = string_or_io.is_a?(String) ?
|
|
30
|
-
StringIO.new(string_or_io) :
|
|
31
|
-
string_or_io
|
|
32
|
-
|
|
33
|
-
@ss = StringScanner.new io.read
|
|
34
|
-
@tokens = []
|
|
35
|
-
tokenize
|
|
36
|
-
end
|
|
37
|
-
|
|
38
|
-
def next_token
|
|
39
|
-
@tokens.shift
|
|
40
|
-
end
|
|
41
|
-
|
|
42
|
-
def tokenize
|
|
43
|
-
until @ss.eos?
|
|
44
|
-
case
|
|
45
|
-
when @ss.scan(SPACE)
|
|
46
|
-
# ignore space
|
|
47
|
-
|
|
48
|
-
when text = @ss.scan(DOT)
|
|
49
|
-
@tokens.push [:tDOT, text]
|
|
50
|
-
|
|
51
|
-
when text = @ss.scan(LPAREN)
|
|
52
|
-
@tokens.push [:tLPAREN, text]
|
|
53
|
-
|
|
54
|
-
when text = @ss.scan(RPAREN)
|
|
55
|
-
@tokens.push [:tRPAREN, text]
|
|
56
|
-
|
|
57
|
-
when text = @ss.scan(NEQ)
|
|
58
|
-
@tokens.push [:tNEQ, text]
|
|
59
|
-
|
|
60
|
-
when text = @ss.scan(GEQ)
|
|
61
|
-
@tokens.push [:tGEQ, text]
|
|
62
|
-
|
|
63
|
-
when text = @ss.scan(LEQ)
|
|
64
|
-
@tokens.push [:tLEQ, text]
|
|
65
|
-
|
|
66
|
-
when text = @ss.scan(GT)
|
|
67
|
-
@tokens.push [:tGT, text]
|
|
68
|
-
|
|
69
|
-
when text = @ss.scan(LT)
|
|
70
|
-
@tokens.push [:tLT, text]
|
|
71
|
-
|
|
72
|
-
when text = @ss.scan(EQ)
|
|
73
|
-
@tokens.push [:tEQ, text]
|
|
74
|
-
|
|
75
|
-
when text = @ss.scan(BANG)
|
|
76
|
-
@tokens.push [:tBANG, text]
|
|
77
|
-
|
|
78
|
-
when text = @ss.scan(DATE)
|
|
79
|
-
args = [ @ss[1], @ss[2], @ss[3] ].map(&:to_i)
|
|
80
|
-
@tokens.push [:tDATE, args]
|
|
81
|
-
|
|
82
|
-
when text = @ss.scan(FLOAT)
|
|
83
|
-
@tokens.push [:tFLOAT, text]
|
|
84
|
-
|
|
85
|
-
when text = @ss.scan(INTEGER)
|
|
86
|
-
@tokens.push [:tINTEGER, text]
|
|
87
|
-
|
|
88
|
-
when text = @ss.scan(TRUE)
|
|
89
|
-
@tokens.push [:tTRUE, text]
|
|
90
|
-
|
|
91
|
-
when text = @ss.scan(FALSE)
|
|
92
|
-
@tokens.push [:tFALSE, text]
|
|
93
|
-
|
|
94
|
-
when text = @ss.scan(AND)
|
|
95
|
-
@tokens.push [:tAND, text]
|
|
96
|
-
|
|
97
|
-
when text = @ss.scan(OR)
|
|
98
|
-
@tokens.push [:tOR, text]
|
|
99
|
-
|
|
100
|
-
when text = @ss.scan(BETWEEN)
|
|
101
|
-
@tokens.push [:tBETWEEN, text]
|
|
102
|
-
|
|
103
|
-
when text = @ss.scan(STRING)
|
|
104
|
-
@tokens.push [:tSTRING, text[1..-2]]
|
|
105
|
-
|
|
106
|
-
when text = @ss.scan(IDENTIFIER)
|
|
107
|
-
@tokens.push [:tIDENTIFIER, text]
|
|
108
|
-
|
|
109
|
-
else
|
|
110
|
-
raise "Unexpected characters: #{@ss.peek(5).inspect}"
|
|
111
|
-
end
|
|
112
|
-
end
|
|
113
|
-
|
|
114
|
-
@tokens.push [false, false]
|
|
115
|
-
end
|
|
116
|
-
end
|
|
117
|
-
end
|
|
@@ -1,20 +0,0 @@
|
|
|
1
|
-
module Predicator
|
|
2
|
-
module Predicates
|
|
3
|
-
class And
|
|
4
|
-
attr_reader :predicates
|
|
5
|
-
|
|
6
|
-
def initialize predicates
|
|
7
|
-
@predicates = predicates
|
|
8
|
-
end
|
|
9
|
-
|
|
10
|
-
def satisfied? context=Predicator::Context.new
|
|
11
|
-
predicates.all?{ |pred| pred.satisfied? context }
|
|
12
|
-
end
|
|
13
|
-
|
|
14
|
-
def == other
|
|
15
|
-
other.kind_of?(self.class) &&
|
|
16
|
-
other.predicates == predicates
|
|
17
|
-
end
|
|
18
|
-
end
|
|
19
|
-
end
|
|
20
|
-
end
|
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
module Predicator
|
|
2
|
-
module Predicates
|
|
3
|
-
class Between
|
|
4
|
-
attr_reader :value, :left, :right
|
|
5
|
-
|
|
6
|
-
def initialize value, left, right
|
|
7
|
-
@value, @left, @right = value, left, right
|
|
8
|
-
end
|
|
9
|
-
|
|
10
|
-
def satisfied? context=Predicator::Context.new
|
|
11
|
-
context.value_for(value) >= context.value_for(left) &&
|
|
12
|
-
context.value_for(value) <= context.value_for(right)
|
|
13
|
-
end
|
|
14
|
-
|
|
15
|
-
def == other
|
|
16
|
-
other.kind_of?(self.class) &&
|
|
17
|
-
other.value == value &&
|
|
18
|
-
other.left == left &&
|
|
19
|
-
other.right == right
|
|
20
|
-
end
|
|
21
|
-
end
|
|
22
|
-
end
|
|
23
|
-
end
|
|
@@ -1,20 +0,0 @@
|
|
|
1
|
-
module Predicator
|
|
2
|
-
module Predicates
|
|
3
|
-
class Not
|
|
4
|
-
attr_reader :predicate
|
|
5
|
-
|
|
6
|
-
def initialize predicate
|
|
7
|
-
@predicate = predicate
|
|
8
|
-
end
|
|
9
|
-
|
|
10
|
-
def satisfied? context=Predicator::Context.new
|
|
11
|
-
!predicate.satisfied? context
|
|
12
|
-
end
|
|
13
|
-
|
|
14
|
-
def == other
|
|
15
|
-
other.kind_of?(self.class) &&
|
|
16
|
-
other.predicate == predicate
|
|
17
|
-
end
|
|
18
|
-
end
|
|
19
|
-
end
|
|
20
|
-
end
|
|
@@ -1,20 +0,0 @@
|
|
|
1
|
-
module Predicator
|
|
2
|
-
module Predicates
|
|
3
|
-
class Or
|
|
4
|
-
attr_reader :predicates
|
|
5
|
-
|
|
6
|
-
def initialize predicates
|
|
7
|
-
@predicates = predicates
|
|
8
|
-
end
|
|
9
|
-
|
|
10
|
-
def satisfied? context=Predicator::Context.new
|
|
11
|
-
predicates.any?{ |pred| pred.satisfied? context }
|
|
12
|
-
end
|
|
13
|
-
|
|
14
|
-
def == other
|
|
15
|
-
other.kind_of?(self.class) &&
|
|
16
|
-
other.predicates == predicates
|
|
17
|
-
end
|
|
18
|
-
end
|
|
19
|
-
end
|
|
20
|
-
end
|
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
module Predicator
|
|
2
|
-
module Predicates
|
|
3
|
-
class Relation
|
|
4
|
-
attr_reader :left, :right
|
|
5
|
-
|
|
6
|
-
def initialize left, right
|
|
7
|
-
@left, @right = left, right
|
|
8
|
-
end
|
|
9
|
-
|
|
10
|
-
def == other
|
|
11
|
-
other.kind_of?(self.class) &&
|
|
12
|
-
other.left == left &&
|
|
13
|
-
other.right == right
|
|
14
|
-
end
|
|
15
|
-
end
|
|
16
|
-
end
|
|
17
|
-
end
|
data/lib/predicator/variable.rb
DELETED
|
@@ -1,26 +0,0 @@
|
|
|
1
|
-
module Predicator
|
|
2
|
-
class Variable
|
|
3
|
-
attr_reader :model, :attribute
|
|
4
|
-
|
|
5
|
-
def initialize model, attribute
|
|
6
|
-
@model = model
|
|
7
|
-
@attribute = attribute
|
|
8
|
-
end
|
|
9
|
-
|
|
10
|
-
def value_in context
|
|
11
|
-
entity_name = model.to_s
|
|
12
|
-
entity = context.bindings[model]
|
|
13
|
-
if entity.nil?
|
|
14
|
-
raise ArgumentError, "Unknown entity #{entity_name}"
|
|
15
|
-
else
|
|
16
|
-
entity.send attribute
|
|
17
|
-
end
|
|
18
|
-
end
|
|
19
|
-
|
|
20
|
-
def == other
|
|
21
|
-
other.kind_of?(self.class) &&
|
|
22
|
-
other.model == model &&
|
|
23
|
-
other.attribute == attribute
|
|
24
|
-
end
|
|
25
|
-
end
|
|
26
|
-
end
|