Class: Testprune::SafetyCheck

Inherits:
Object
  • Object
show all
Defined in:
lib/testprune/safety_check.rb

Overview

The hard guarantee: never confirm a removal that drops any semantic unit’s coverage to zero. Cascading-aware — evaluates candidates against the units still covered by the retained set, decrementing as removals are confirmed, so two individually-safe removals that are jointly unsafe can’t both pass.

Only non-review candidates (the auto-applicable ones) are checked; review-only candidates are left with ‘safe = nil` since they’re never patched.

Instance Method Summary collapse

Constructor Details

#initialize(footprints, original_footprints: nil) ⇒ SafetyCheck

original_footprints: pre-ambient-stripping footprints. When baseline subtraction is active, the candidates’ footprint.units are stripped — but removing a test also removes its ambient units from coverage. We track and decrement original units so ambient units are guaranteed not to drop to zero.



16
17
18
19
20
21
22
 
# File 'lib/testprune/safety_check.rb', line 16

def initialize(footprints, original_footprints: nil)
  originals = original_footprints || footprints
  @cover_count = Hash.new(0)
  originals.each { |fp| fp.units.each { |unit| @cover_count[unit] += 1 } }
  # Map id -> original units so evaluate always decrements the right set.
  @original_units = originals.each_with_object({}) { |fp, h| h[fp.id] = fp.units }
end

Instance Method Details

#apply(candidates) ⇒ Object 



24
25
26
27
28
 
# File 'lib/testprune/safety_check.rb', line 24

def apply(candidates)
  removable = candidates.reject(&:review_only).sort_by { |c| c.footprint.id }
  removable.each { |candidate| evaluate(candidate) }
  candidates
end