Class: ActiveMutator::BaselineDelta

Inherits:
Object
  • Object
show all
Defined in:
lib/active_mutator/baseline_delta.rb

Overview

Decides how to refresh a stale coverage cache: surgically (re-run only affected spec files / examples) or fully (the safe fallback). Rules per the v1.1 spec's delta table; anything ambiguous prefers full.

Defined Under Namespace

Classes: Delta

Constant Summary collapse

FULL = 
Delta.new(full: true, rerun_spec_files: [], rerun_example_ids: [],
drop_example_ids: [], drop_source_files: [])
REFERENCE_FULL_RATIO =

If a changed constant is referenced by more than this share of all spec files, a full re-run is cheaper and simpler than a giant partial one.

0.5

Class Method Summary collapse

Class Method Details

.compute(old_digests:, new_digests:, coverage_map:, root:) ⇒ Object 



18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
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
68
69
70
71
72
 
# File 'lib/active_mutator/baseline_delta.rb', line 18

def self.compute(old_digests:, new_digests:, coverage_map:, root:)
  changed = (old_digests.keys | new_digests.keys)
            .reject { |k| old_digests[k] == new_digests[k] }
  return FULL if changed.any? { |k| full_trigger?(k) }

  rerun_spec_files = []
  rerun_example_ids = []
  drop_example_ids = []
  drop_source_files = []

  # Read the spec-file list and their contents once per compute call, not
  # once per changed source file: newly_covering_candidates scans every
  # spec file, so re-globbing and re-reading inside the loop was
  # O(changed_files x spec_files) IO. Built lazily so a delta with no
  # scannable source change pays nothing.
  spec_contents = nil

  changed.each do |rel|
    added = !old_digests.key?(rel)
    deleted = !new_digests.key?(rel)
    if rel.start_with?("spec/")
      owned = coverage_map.examples_for_spec_file(rel)
      if deleted
        # A deleted spec file with no records is support-like: other spec
        # files may require it, and partial re-runs would explode. Full.
        return FULL if owned.empty?
        drop_example_ids.concat(owned)
      elsif !added && owned.empty?
        return FULL # pre-existing spec file owning no examples: support-like
      else
        rerun_spec_files << rel
      end
    else
      abs = File.join(root, rel)
      drop_source_files << abs if deleted
      unless added
        rerun_example_ids.concat(coverage_map.examples_covering_file(abs))
      end
      unless deleted
        spec_contents ||= Dir[File.join(root, "spec/**/*_spec.rb")].to_h { |f| [f, File.read(f)] }
        candidates = newly_covering_candidates(root: root, rel: rel, coverage_map: coverage_map,
                                               spec_contents: spec_contents)
        return FULL if candidates == :full

        rerun_spec_files.concat(candidates)
      end
    end
  end

  Delta.new(full: false,
            rerun_spec_files: rerun_spec_files.uniq.sort,
            rerun_example_ids: rerun_example_ids.uniq.sort,
            drop_example_ids: drop_example_ids.uniq.sort,
            drop_source_files: drop_source_files.uniq.sort)
end

.full_trigger?(rel) ⇒ Boolean

Returns:

  • (Boolean) 


74
75
76
 
# File 'lib/active_mutator/baseline_delta.rb', line 74

def self.full_trigger?(rel)
  rel.start_with?("spec/support/") || !rel.end_with?(".rb")
end

.newly_covering_candidates(root:, rel:, coverage_map:, spec_contents:) ⇒ Object

#11: an unchanged spec file can START covering a changed source file because of the edit itself. Cheap static detection: spec files that textually reference a constant the changed file defines, but currently contribute zero coverage to it, get re-run. Files already covering it are handled example-by-example via rerun_example_ids.



83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
 
# File 'lib/active_mutator/baseline_delta.rb', line 83

def self.newly_covering_candidates(root:, rel:, coverage_map:, spec_contents:)
  abs = File.join(root, rel)
  return [] unless File.exist?(abs)

  constants = DefinedConstants.in_source(File.read(abs))
  return [] if constants.empty?

  all_specs = spec_contents.keys

  covering_specs = coverage_map.examples_covering_file(abs)
                               .map { |id| spec_file_of(id) }.to_a.uniq
  # Escaping is required: dynamic-namespace class definitions (e.g.
  # `class (a)::Baz`, `class foo.bar::Baz`) make constant_path.slice carry
  # regex metachars. Unescaped, "(a)::Baz" would match the literal text
  # "a::Baz" — a false candidate.
  # TODO(#11, Task 10 residual gap): a top-level `class ::Foo` yields the
  # slice "::Foo", and /\b::Foo\b/ can never match (no word boundary
  # before ":"), so such files are silently unscanned.
  pattern = /\b(?:#{constants.map { |c| Regexp.escape(c) }.join("|")})\b/
  candidates = all_specs.filter_map do |spec_abs|
    spec_rel = spec_abs.delete_prefix(root).delete_prefix("/")
    next if covering_specs.include?(spec_rel)

    spec_rel if spec_contents.fetch(spec_abs).match?(pattern)
  end
  if candidates.size > 1 && candidates.size > all_specs.size * REFERENCE_FULL_RATIO
    # Never silently degrade: a full baseline where the user expected an
    # incremental refresh must be explained, or it looks like a hang.
    warn "active_mutator: constant-reference scan matched #{candidates.size} of " \
         "#{all_specs.size} spec files for #{rel}; falling back to full baseline"
    return :full
  end

  candidates
end

.spec_file_of(example_id) ⇒ Object 



119
120
121
 
# File 'lib/active_mutator/baseline_delta.rb', line 119

def self.spec_file_of(example_id)
  example_id.sub(%r{\A\./}, "").sub(/\[.*\]\z/, "")
end