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”.

Instance Attribute Summary collapse

Instance Attribute Details

#path ⇒ Object (readonly)

Returns the value of attribute path

Returns:

  • (Object) —

    the current value of path



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

def path
  @path
end

#ratio ⇒ Object (readonly)

Returns the value of attribute ratio

Returns:

  • (Object) —

    the current value of ratio



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

def ratio
  @ratio
end

#test_killed ⇒ Object (readonly)

Returns the value of attribute test_killed

Returns:

  • (Object) —

    the current value of test_killed



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

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



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

def type_killed
  @type_killed
end

#unprotected ⇒ Object (readonly)

Returns the value of attribute unprotected

Returns:

  • (Object) —

    the current value of unprotected



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

def unprotected
  @unprotected
end