Class: CPEE::ProcessTransformation::Traces

Inherits:
Array
  • Object
show all
Defined in:
lib/cpee/processtransformation/structures.rb

Overview

}}}

Instance Method Summary collapse

Instance Method Details

#add_breaks ⇒ Object 



319
320
321
322
323
324
325
326
327
328
 
# File 'lib/cpee/processtransformation/structures.rb', line 319

def add_breaks
  trueloops = self.find_all{ |t| t.last == t.first }.length
  if trueloops == self.length
    self << [self.first_node] ### the blank conditional so that we get a break
  else
    self.each do |t|
      t << Break.new(1) unless t.last == t.first ### an explicit break
    end
  end  
end

#all_loops? ⇒ Boolean

Returns:

  • (Boolean) 


312
313
314
315
316
 
# File 'lib/cpee/processtransformation/structures.rb', line 312

def all_loops?
  num = 0
  self.each{|n| num += 1 if n.first == n.last }
  num == self.length
end

#eliminate(loops) ⇒ Object 



338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
 
# File 'lib/cpee/processtransformation/structures.rb', line 338

def eliminate(loops)
  ### find nested loops
  self.each_with_index do |t,i|
    maxcut = 0
    ### find out which common parts the traces share with theloops
    loops.each do |l|
      maxcut.upto(l.length) do |i|
        maxcut = i if t[0...i] == l[0...i]
      end
    end
    ### in case of nested loop (common part occurs at end of loop), include the whole
    0.upto (maxcut-1) do |j|
      if self[i][j] == self[i].last
        loops << self[i].shift(self[i].length)
      end
    end  
  end
  loops.uniq!
  loops.remove_empty
  self.remove_empty

  ### cut from non-nested loops
  self.each_with_index do |t,i|
    maxcut = 0
    ### find out which common parts the traces share with theloops
    loops.each do |l|
      maxcut.upto(l.length) do |i|
        maxcut = i if t[0...i] == l[0...i]
      end
    end
    loops << self[i].shift(maxcut)
  end
end

#extend ⇒ Object 



372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
 
# File 'lib/cpee/processtransformation/structures.rb', line 372

def extend
  # find largest common
  max = nil
  sh = self.shortest
  sh = sh[0..-2] if sh.first == sh.last
  sh.each_with_index do |e,i|
    if self.same_position_in_all?(e,i)
      max = e
    else  
      break
    end
  end

  # if last is the largest common do nothing
  # else append from last to largest common
  self.each do |t|
    unless t.last == max
      last = t.last
      t.last.incoming = 1
      if t.index(last) && t.index(max)
        (t.index(last) + 1).upto(t.index(max)) do |i|
          t << t[i]
        end 
      end
    end  
  end

  max.incoming = self.length
  max
end

#find_endnode ⇒ Object 



410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
 
# File 'lib/cpee/processtransformation/structures.rb', line 410

def find_endnode
  # supress loops
  trcs = self.dup
  trcs.delete_if { |t| t.uniq.length < t.length }

  # find common node (except loops)
  enode = nil
  trcs.first.each do |n|
    if trcs.include_in_all?(n)
      enode = n
      break
    end  
  end
  enode
end

#finished? ⇒ Boolean

Returns:

  • (Boolean) 


293
294
295
 
# File 'lib/cpee/processtransformation/structures.rb', line 293

def finished?
  self.reduce(0){|sum,t| sum += t.length} == 0
end

#first_node ⇒ Object 



271
272
273
 
# File 'lib/cpee/processtransformation/structures.rb', line 271

def first_node
  self.first.first
end

#include_in_all?(e) ⇒ Boolean

Returns:

  • (Boolean) 


301
302
303
304
305
 
# File 'lib/cpee/processtransformation/structures.rb', line 301

def include_in_all?(e)
  num = 0
  self.each{|n| num += 1 if n.include?(e)} 
  num == self.length
end

#initialize_copy(other) ⇒ Object

{{{



256
257
258
259
 
# File 'lib/cpee/processtransformation/structures.rb', line 256

def initialize_copy(other)
 super
 self.map!{ |t| t.dup }
end

#loops ⇒ Object 



330
331
332
333
334
335
336
 
# File 'lib/cpee/processtransformation/structures.rb', line 330

def loops
  lo = Traces.new self.find_all{ |t| t.first == t.last }
  self.each do |t|
    lo << t if lo.second_nodes.include?(t[1])
  end
  lo.uniq
end

#pop_all ⇒ Object 



289
290
291
 
# File 'lib/cpee/processtransformation/structures.rb', line 289

def pop_all
  self.each{ |tr| tr.pop }
end

#remove(trcs) ⇒ Object 



261
262
263
264
265
 
# File 'lib/cpee/processtransformation/structures.rb', line 261

def remove(trcs)
  trcs.each do |t|
    self.delete(t)
  end  
end

#remove_empty ⇒ Object 



267
268
269
 
# File 'lib/cpee/processtransformation/structures.rb', line 267

def remove_empty
  self.delete_if{|t| t.empty? }
end

#same_first ⇒ Object 



297
298
299
 
# File 'lib/cpee/processtransformation/structures.rb', line 297

def same_first
  (n = self.map{|t| t.first }.uniq).length == 1 ? n.first : nil
end

#same_position_in_all?(e, i) ⇒ Boolean

Returns:

  • (Boolean) 


306
307
308
309
310
 
# File 'lib/cpee/processtransformation/structures.rb', line 306

def same_position_in_all?(e,i)
  num = 0
  self.each{|n| num += 1 if n[i] == e}
  num == self.length
end

#second_nodes ⇒ Object 



274
275
276
 
# File 'lib/cpee/processtransformation/structures.rb', line 274

def second_nodes
  self.map { |t| t[1] }
end

#segment_by(endnode) ⇒ Object 



426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
 
# File 'lib/cpee/processtransformation/structures.rb', line 426

def segment_by(endnode)
  # cut shit until common node, return the shit you cut away
  tracesgroup = self.group_by{|t| t.first}.map do |k,trace|
    coltrace = trace.map do |t|
      # slice upto common node, collect the sliced away part
      len = t.index(endnode)
      if len
        cut = t.slice!(0...len)
        cut << t.first
      else # if endnode is nil, then return the whole
        t
      end
    end.uniq
    Traces.new(coltrace)
  end
  [tracesgroup,endnode]
end

#segment_by_loops(loops) ⇒ Object 



403
404
405
406
407
408
 
# File 'lib/cpee/processtransformation/structures.rb', line 403

def segment_by_loops(loops)
  # supress loops
  self.delete_if { |t| loops.include?(t) }
  self.eliminate(loops)
  loops.extend
end

#shift_all ⇒ Object 



286
287
288
 
# File 'lib/cpee/processtransformation/structures.rb', line 286

def shift_all
  self.each{ |tr| tr.shift }
end

#shortest ⇒ Object 



278
279
280
 
# File 'lib/cpee/processtransformation/structures.rb', line 278

def shortest
  self.min_by{|e|e.length}
end

#to_s ⇒ Object 



282
283
284
 
# File 'lib/cpee/processtransformation/structures.rb', line 282

def to_s
  "TRACES: " + self.collect { |t| t.empty? ? '∅' : t.collect{|n| "%2d" % n.niceid }.join('→ ') }.join("\n        ")
end