Class: Dry::Logic::RuleCompiler

Inherits:
Object
  • Object
show all
Defined in:
lib/dry/logic/rule_compiler.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(predicates) ⇒ RuleCompiler

Returns a new instance of RuleCompiler.



8
9
10
 
# File 'lib/dry/logic/rule_compiler.rb', line 8

def initialize(predicates)
  @predicates = predicates
end

Instance Attribute Details

#predicates ⇒ Object (readonly)

Returns the value of attribute predicates.



6
7
8
 
# File 'lib/dry/logic/rule_compiler.rb', line 6

def predicates
  @predicates
end

Instance Method Details

#call(ast) ⇒ Object 



12
13
14
 
# File 'lib/dry/logic/rule_compiler.rb', line 12

def call(ast)
  ast.map { |node| visit(node) }
end

#visit(node) ⇒ Object 



16
17
18
19
 
# File 'lib/dry/logic/rule_compiler.rb', line 16

def visit(node)
  name, nodes = node
  send(:"visit_#{name}", nodes)
end

#visit_and(node) ⇒ Object 



57
58
59
60
 
# File 'lib/dry/logic/rule_compiler.rb', line 57

def visit_and(node)
  left, right = node
  visit(left) & visit(right)
end

#visit_attr(node) ⇒ Object 



35
36
37
38
 
# File 'lib/dry/logic/rule_compiler.rb', line 35

def visit_attr(node)
  name, predicate = node
  Rule::Attr.new(visit(predicate), name: name)
end

#visit_check(node) ⇒ Object 



21
22
23
24
 
# File 'lib/dry/logic/rule_compiler.rb', line 21

def visit_check(node)
  name, predicate, keys = node
  Rule::Check.new(visit(predicate), name: name, keys: keys || [name])
end

#visit_each(node) ⇒ Object 



48
49
50
 
# File 'lib/dry/logic/rule_compiler.rb', line 48

def visit_each(node)
  Rule::Each.new(visit(node))
end

#visit_implication(node) ⇒ Object 



72
73
74
75
 
# File 'lib/dry/logic/rule_compiler.rb', line 72

def visit_implication(node)
  left, right = node
  visit(left) > visit(right)
end

#visit_key(node) ⇒ Object 



30
31
32
33
 
# File 'lib/dry/logic/rule_compiler.rb', line 30

def visit_key(node)
  name, predicate = node
  Rule::Key.new(visit(predicate), name: name)
end

#visit_not(node) ⇒ Object 



26
27
28
 
# File 'lib/dry/logic/rule_compiler.rb', line 26

def visit_not(node)
  visit(node).negation
end

#visit_or(node) ⇒ Object 



62
63
64
65
 
# File 'lib/dry/logic/rule_compiler.rb', line 62

def visit_or(node)
  left, right = node
  visit(left) | visit(right)
end

#visit_predicate(node) ⇒ Object 



52
53
54
55
 
# File 'lib/dry/logic/rule_compiler.rb', line 52

def visit_predicate(node)
  name, args = node
  predicates[name].curry(*args)
end

#visit_set(node) ⇒ Object 



44
45
46
 
# File 'lib/dry/logic/rule_compiler.rb', line 44

def visit_set(node)
  Rule::Set.new(call(node))
end

#visit_val(node) ⇒ Object 



40
41
42
 
# File 'lib/dry/logic/rule_compiler.rb', line 40

def visit_val(node)
  Rule::Value.new(visit(node))
end

#visit_xor(node) ⇒ Object 



67
68
69
70
 
# File 'lib/dry/logic/rule_compiler.rb', line 67

def visit_xor(node)
  left, right = node
  visit(left) ^ visit(right)
end