Class: Factbase::Query

Inherits:
Object
  • Object
show all
Defined in:
lib/factbase/query.rb

Overview

Query.

This is an internal class, it is not supposed to be instantiated directly. It is created by the query() method of the Factbase class.

It is NOT thread-safe!

Author

Yegor Bugayenko ([email protected])

Copyright

Copyright © 2024 Yegor Bugayenko

License

MIT

Instance Method Summary collapse

Constructor Details

#initialize(maps, mutex, query) ⇒ Query

Constructor.

Parameters:

  • maps (Array<Fact>) —

    Array of facts to start with

  • mutex (Mutex) —

    Mutex to sync all modifications to the maps

  • query (String) —

    The query as a string



43
44
45
46
47
 
# File 'lib/factbase/query.rb', line 43

def initialize(maps, mutex, query)
  @maps = maps
  @mutex = mutex
  @query = query
end

Instance Method Details

#delete! ⇒ Integer

Delete all facts that match the query.

Returns:

  • (Integer) —

    Total number of facts deleted



73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
 
# File 'lib/factbase/query.rb', line 73

def delete!
  term = Factbase::Syntax.new(@query).to_term
  deleted = 0
  @mutex.synchronize do
    @maps.delete_if do |m|
      f = Factbase::Fact.new(@mutex, m)
      if term.evaluate(f, @maps)
        deleted += 1
        true
      else
        false
      end
    end
  end
  deleted
end

#each {|Fact| ... } ⇒ Integer

Iterate them one by one.

Yields:

  • (Fact) —

    Facts one-by-one

Returns:

  • (Integer) —

    Total number of facts yielded



52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
 
# File 'lib/factbase/query.rb', line 52

def each
  return to_enum(__method__) unless block_given?
  term = Factbase::Syntax.new(@query).to_term
  yielded = 0
  @maps.each do |m|
    extras = {}
    f = Factbase::Fact.new(@mutex, m)
    a = Factbase::Accum.new(f, extras, false)
    r = term.evaluate(a, @maps)
    unless r.is_a?(TrueClass) || r.is_a?(FalseClass)
      raise "Unexpected evaluation result (#{r.class}), must be Boolean at #{@query}"
    end
    next unless r
    yield Factbase::Accum.new(f, extras, true)
    yielded += 1
  end
  yielded
end