Class: Bud::PushElement

184
185
186

# File 'lib/bud/executor/elements.rb', line 184

def <<(i)
  insert(i, nil)
end

151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167

# File 'lib/bud/executor/elements.rb', line 151

def add_rescan_invalidate(rescan, invalidate)
  # If any sources are in rescan mode, then put this node in rescan
  srcs = non_temporal_predecessors
  if srcs.any?{|p| rescan.member? p}
    rescan << self
  end

  # Pass the current state to each output collection and see if they end up
  # marking this node for rescan
  invalidate_tables(rescan, invalidate)

  # Finally, if this node is in rescan, pass the request on to all source
  # elements
  if rescan.member? self
    rescan.merge(srcs)
  end
end

329
330
331

# File 'lib/bud/executor/elements.rb', line 329

def all?(name=nil, bud_instance=nil, the_schema=nil, &blk)
  push_predicate(:all?, name, bud_instance, the_schema, &blk)
end

332
333
334

# File 'lib/bud/executor/elements.rb', line 332

def any?(name=nil, bud_instance=nil, the_schema=nil, &blk)
  push_predicate(:any?, name, bud_instance, the_schema, &blk)
end

294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310

# File 'lib/bud/executor/elements.rb', line 294

def argagg(aggname, gbkey_cols, collection, &blk)
  gbkey_cols ||= []
  gbkey_cols = gbkey_cols.map{|c| canonicalize_col(c)}
  collection = canonicalize_col(collection)
  toplevel = @bud_instance.toplevel
  agg = toplevel.send(aggname, collection)[0]
  unless agg.class <= Bud::ArgExemplary
    raise Bud::Error, "#{aggname} not declared exemplary"
  end

  aggpairs = [[agg, collection]]
  aa = Bud::PushArgAgg.new('argagg'+Time.new.tv_usec.to_s, toplevel.this_rule_context,
                           @collection_name, gbkey_cols, aggpairs, schema, &blk)
  self.wire_to(aa)
  toplevel.push_elems[[self.object_id, :argagg, gbkey_cols, aggpairs, blk]] = aa
  return aa
end

311
312
313

# File 'lib/bud/executor/elements.rb', line 311

def argmax(gbcols, col, &blk)
  argagg(:max, gbcols, col, &blk)
end

314
315
316

# File 'lib/bud/executor/elements.rb', line 314

def argmin(gbcols, col, &blk)
  argagg(:min, gbcols, col, &blk)
end

69
70
71
72
73

# File 'lib/bud/executor/elements.rb', line 69

def check_wiring
  if @blk.nil? and @outputs.empty? and @pendings.empty? and @deletes.empty? and @delete_keys.empty?
    raise Bud::Error, "no output specified for PushElement #{@qualified_tabname}"
  end
end

214
215
216
217
218
219
220
221
222

# File 'lib/bud/executor/elements.rb', line 214

def each_with_index(&blk)
  toplevel = @bud_instance.toplevel
  elem = Bud::PushEachWithIndex.new("each_with_index#{object_id}",
                                    toplevel.this_rule_context,
                                    @collection_name)
  elem.set_block(&blk)
  self.wire_to(elem)
  toplevel.push_elems[[self.object_id, :each_with_index, blk]] = elem
end

189
190

# File 'lib/bud/executor/elements.rb', line 189

def flush
end

269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292

# File 'lib/bud/executor/elements.rb', line 269

def group(keycols, *aggpairs, &blk)
  # establish schema
  keycols ||= []
  keycols = keycols.map{|c| canonicalize_col(c)}
  keynames = keycols.map{|k| k[2]}
  aggcolsdups = aggpairs.map{|ap| ap[0].class.name.split("::").last}
  aggcols = []
  aggcolsdups.each_with_index do |n, i|
    aggcols << "#{n.downcase}_#{i}".to_sym
  end
  if aggcols.empty?
    the_schema = keynames
  else
    the_schema = { keynames => aggcols }
  end

  aggpairs = prep_aggpairs(aggpairs)
  toplevel = @bud_instance.toplevel
  g = Bud::PushGroup.new('grp'+Time.new.tv_usec.to_s, toplevel.this_rule_context,
                         @collection_name, keycols, aggpairs, the_schema, &blk)
  self.wire_to(g)
  toplevel.push_elems[[self.object_id, :group, keycols, aggpairs, blk]] = g
  return g
end

335
336
337

# File 'lib/bud/executor/elements.rb', line 335

def include?(name=nil, bud_instance=nil, the_schema=nil, &blk)
  push_predicate(:include?, name, bud_instance, the_schema, &blk)
end

104
105
106

# File 'lib/bud/executor/elements.rb', line 104

def insert(item, source=nil)
  push_out(item)
end

366
367
368
369
370
371
372
373
374

# File 'lib/bud/executor/elements.rb', line 366

def inspected
  toplevel = @bud_instance.toplevel
  if toplevel.push_elems[[self.object_id, :inspected]].nil?
    ins = pro{|i| [i.inspect]}
    self.wire_to(ins)
    toplevel.push_elems[[self.object_id, :inspected]] = ins
  end
  toplevel.push_elems[[self.object_id, :inspected]]
end

191
192

# File 'lib/bud/executor/elements.rb', line 191

def invalidate_cache
end

169
170
171
172
173
174
175
176
177
178
179
180
181
182

# File 'lib/bud/executor/elements.rb', line 169

def invalidate_tables(rescan, invalidate)
  # Exchange rescan and invalidate information with tables. If this node is
  # in rescan, it may invalidate an output table (if it is a scratch). And
  # if the output table is going to be invalidated, this node marks itself
  # for rescan to enable a refill of that table at run-time.
  [@outputs, @pendings].each do |v|
    v.each do |o|
      unless o.class <= PushElement
        o.add_rescan_invalidate(rescan, invalidate)
        rescan << self if invalidate.member? o
      end
    end
  end
end

224
225
226
227
228
229
230
231
232
233

# File 'lib/bud/executor/elements.rb', line 224

def join(elem2, &blk)
  elem2 = elem2.to_push_elem unless elem2.kind_of? PushElement
  toplevel = @bud_instance.toplevel
  join = Bud::PushSHJoin.new([self, elem2], toplevel.this_rule_context, [])
  self.wire_to(join)
  elem2.wire_to(join)
  toplevel.push_elems[[self.object_id, :join, [self, elem2], toplevel, blk]] = join
  toplevel.push_joins[toplevel.this_stratum] << join
  return join
end

338
339
340

# File 'lib/bud/executor/elements.rb', line 338

def member?(name=nil, bud_instance=nil, the_schema=nil, &blk)
  push_predicate(:member?, name, bud_instance, the_schema, &blk)
end

248
249
250
251
252
253
254

# File 'lib/bud/executor/elements.rb', line 248

def merge(source)
  if source.class <= PushElement and @bud_instance.wiring?
    source.wire_to(self)
  else
    source.each {|i| self << i}
  end
end

341
342
343

# File 'lib/bud/executor/elements.rb', line 341

def none?(name=nil, bud_instance=nil, the_schema=nil, &blk)
  push_predicate(:none?, name, bud_instance, the_schema, &blk)
end

238
239
240
241
242
243
244
245
246

# File 'lib/bud/executor/elements.rb', line 238

def notin(elem2, *preds, &blk)
  elem2 = elem2.to_push_elem unless elem2.kind_of? PushElement
  toplevel = @bud_instance.toplevel
  notin_elem = Bud::PushNotIn.new([self, elem2], toplevel.this_rule_context, preds, &blk)
  self.wire_to(notin_elem)
  elem2.wire_to(notin_elem)
  toplevel.push_elems[[self.object_id, :notin, [self, elem2], toplevel, blk]] = notin_elem
  return notin_elem
end

357
358
359
360
361
362
363
364
365

# File 'lib/bud/executor/elements.rb', line 357

def on_include?(item, &blk)
  toplevel = @bud_instance.toplevel
  if toplevel.push_elems[[self.object_id, :on_include?, item, blk]].nil?
    inc = pro{|i| blk.call(item) if i == item and not blk.nil?}
    wire_to(inc)
    toplevel.push_elems[[self.object_id, :on_include?, item, blk]] = inc
  end
  toplevel.push_elems[[self.object_id, :on_include?, item, blk]]
end

344
345
346

# File 'lib/bud/executor/elements.rb', line 344

def one?(name=nil, bud_instance=nil, the_schema=nil, &blk)
  push_predicate(:one?, name, bud_instance, the_schema, &blk)
end

37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67

# File 'lib/bud/executor/elements.rb', line 37

def print_wiring(depth=0, accum="")
  depth.times {print "  "}
  puts "#{accum} #{(self.object_id*2).to_s(16)}: #{qualified_tabname} (#{self.class})"

  [@outputs, @pendings, @deletes, @delete_keys].each do |kind|
    case kind.object_id
    when @outputs.object_id
      next_accum = "=> "
    when @pendings.object_id
      next_accum = "+> "
    when @deletes.object_id, @delete_keys.object_id
      next_accum = "-> "
    end

    kind.each do |o|
      if o.respond_to?(:print_wiring)
        o.print_wiring(depth+1, next_accum)
      else
        (depth+1).times {print "  "}
        print "#{next_accum} "
        if o.class <= Bud::BudCollection
          puts "#{(o.object_id*2).to_s(16)}: #{o.qualified_tabname} (#{o.class})"
        elsif o.class <= Bud::LatticeWrapper
          puts "#{o.inspect}"
        else
          puts "#{(o.object_id*2).to_s(16)}: (#{o.class.name})"
        end
      end
    end
  end
end

200
201
202
203
204
205
206
207
208
209

# File 'lib/bud/executor/elements.rb', line 200

def pro(the_name=elem_name, the_schema=schema, &blk)
  toplevel = @bud_instance.toplevel
  elem = Bud::PushElement.new("project#{object_id}",
                              toplevel.this_rule_context,
                              @collection_name, the_schema)
  self.wire_to(elem)
  elem.set_block(&blk)
  toplevel.push_elems[[self.object_id, :pro, blk]] = elem
  return elem
end

116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147

# File 'lib/bud/executor/elements.rb', line 116

def push_out(item, do_block=true)
  if do_block && @blk
    item = item.to_a if @blk.arity > 1
    item = @blk.call item
    return if item.nil?
  end

  @outputs.each do |ou|
    if ou.class <= Bud::PushElement
      ou.insert(item, self)
    elsif ou.class <= Bud::BudCollection
      ou.do_insert(item, ou.new_delta)
    elsif ou.class <= Bud::LatticeWrapper
      ou.insert(item, self)
    else
      raise Bud::Error, "unexpected output target: #{ou.class}"
    end
  end

  # for the following, o is a BudCollection
  @deletes.each{|o| o.pending_delete([item])}
  @delete_keys.each{|o| o.pending_delete_keys([item])}

  # o is a LatticeWrapper or a BudCollection
  @pendings.each do |o|
    if o.class <= Bud::LatticeWrapper
      o <+ item
    else
      o.pending_merge([item])
    end
  end
end

322
323
324
325
326
327
328

# File 'lib/bud/executor/elements.rb', line 322

def push_predicate(pred_symbol, name=nil, bud_instance=nil,
                   the_schema=nil, &blk)
  elem = Bud::PushPredicate.new(pred_symbol, name, bud_instance,
                                the_schema, &blk)
  wire_to(elem)
  elem
end

348
349
350
351
352
353
354

# File 'lib/bud/executor/elements.rb', line 348

def reduce(initial, &blk)
  retval = Bud::PushReduce.new("reduce#{Time.new.tv_usec}",
                               @bud_instance, @collection_name,
                               schema, initial, &blk)
  self.wire_to(retval)
  retval
end

100
101
102

# File 'lib/bud/executor/elements.rb', line 100

def rescan_at_tick
  false
end

75
76
77

# File 'lib/bud/executor/elements.rb', line 75

def set_block(&blk)
  @blk = blk
end

317
318
319
320
321

# File 'lib/bud/executor/elements.rb', line 317

def sort(name=nil, bud_instance=nil, the_schema=nil, &blk)
  elem = Bud::PushSort.new(name, bud_instance, the_schema, &blk)
  wire_to(elem)
  elem
end

193
194

# File 'lib/bud/executor/elements.rb', line 193

def stratum_end
end

108
109
110

# File 'lib/bud/executor/elements.rb', line 108

def tick
  invalidate_cache if @invalidated
end

112
113
114

# File 'lib/bud/executor/elements.rb', line 112

def tick_deltas
  @found_delta = false
end

79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98

# File 'lib/bud/executor/elements.rb', line 79

def wire_to(element, kind=:output)
  unless @bud_instance.wiring?
    raise Bud::Error, "wire_to called outside wiring phase"
  end

  case kind
  when :output
    @outputs << element
  when :pending
    @pendings << element
  when :delete
    @deletes << element
  when :delete_by_key
    @delete_keys << element
  else
    raise Bud::Error, "unrecognized wiring kind: #{kind}"
  end

  element.wired_by << self if element.respond_to? :wired_by
end

32
33
34

# File 'lib/bud/executor/elements.rb', line 32

def wirings
  @wirings ||= @outputs + @pendings + @deletes + @delete_keys
end