Class: Rigor::CLI::FusedFileProtection

Inherits:
Data
  • Object
show all
Defined in:
lib/rigor/cli/fused_protection_report.rb

Overview

ADR-70 — aggregates per-file Protection::MutationScanner::FusedFileResult into a project-level fused protection report: how many type-visible breakages were caught by the type checker, how many of the type-survivors were caught by the test suite, and which sites neither axis caught — the ranked "add a type OR a test here" list.

Framing (ADR-63 / ADR-62 Criterion A, extended): the payload is the attribution — which protection axis is missing — never raw survival. An unprotected site is "add protection here", never "your code is broken". harness_errors (#264) — see FileEffectiveness; defaults to 0 for the same reason.

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(path:, type_killed:, test_killed:, unprotected:, ratio:, harness_errors: 0) ⇒ FusedFileProtection

Returns a new instance of FusedFileProtection.



14
15
16
 
# File 'lib/rigor/cli/fused_protection_report.rb', line 14

def initialize(path:, type_killed:, test_killed:, unprotected:, ratio:, harness_errors: 0)
  super
end

Instance Attribute Details

#harness_errors ⇒ Object (readonly)

Returns the value of attribute harness_errors

Returns:

  • (Object) —

    the current value of harness_errors



13
14
15
 
# File 'lib/rigor/cli/fused_protection_report.rb', line 13

def harness_errors
  @harness_errors
end

#path ⇒ Object (readonly)

Returns the value of attribute path

Returns:

  • (Object) —

    the current value of path



13
14
15
 
# File 'lib/rigor/cli/fused_protection_report.rb', line 13

def path
  @path
end

#ratio ⇒ Object (readonly)

Returns the value of attribute ratio

Returns:

  • (Object) —

    the current value of ratio



13
14
15
 
# File 'lib/rigor/cli/fused_protection_report.rb', line 13

def ratio
  @ratio
end

#test_killed ⇒ Object (readonly)

Returns the value of attribute test_killed

Returns:

  • (Object) —

    the current value of test_killed



13
14
15
 
# File 'lib/rigor/cli/fused_protection_report.rb', line 13

def test_killed
  @test_killed
end

#type_killed ⇒ Object (readonly)

Returns the value of attribute type_killed

Returns:

  • (Object) —

    the current value of type_killed



13
14
15
 
# File 'lib/rigor/cli/fused_protection_report.rb', line 13

def type_killed
  @type_killed
end

#unprotected ⇒ Object (readonly)

Returns the value of attribute unprotected

Returns:

  • (Object) —

    the current value of unprotected



13
14
15
 
# File 'lib/rigor/cli/fused_protection_report.rb', line 13

def unprotected
  @unprotected
end