Module: Rigor::CLI::CoverageScan

Defined in:
lib/rigor/cli/coverage_scan.rb

Overview

Shared type-precision scan behind both ‘rigor coverage` (the dedicated command) and `rigor check –coverage` (the in-run coverage block). Walks each file’s AST, types every expression via ‘Scope#type_of`, and accumulates the precision-tier breakdown into a `CoverageReport`. Extracted so the two surfaces stay byte-identical on the same file set.

Class Method Summary collapse

Class Method Details

.precision_report(files:, configuration:) ⇒ Rigor::CLI::CoverageReport

Parameters:

  • files (Array<String>) —

    explicit ‘.rb` file paths to scan.

  • configuration (Rigor::Configuration)

Returns:



25
26
27
28
29
30
31
 
# File 'lib/rigor/cli/coverage_scan.rb', line 25

def precision_report(files:, configuration:)
  scope = Scope.empty(environment: project_environment(configuration))
  scanner = Inference::PrecisionScanner.new(scope: scope)
  accumulator = CoverageAccumulator.new
  files.each { |path| scan_into(path, scanner, accumulator, configuration) }
  accumulator.to_report(files, {})
end

.project_environment(configuration) ⇒ Object 



33
34
35
36
37
38
 
# File 'lib/rigor/cli/coverage_scan.rb', line 33

def project_environment(configuration)
  Environment.for_project(
    libraries: configuration.libraries,
    signature_paths: configuration.signature_paths
  )
end

.scan_into(path, scanner, accumulator, configuration) ⇒ Object

Parses one file and feeds the scan result (or a parse-error record) into ‘accumulator`. `scanner` / `accumulator` are a matched pair — a `PrecisionScanner` + `CoverageAccumulator`, or a `ProtectionScanner` + `ProtectionAccumulator` — both of which respond to `scan(node)` and `absorb(path, result)`.



45
46
47
48
49
50
51
52
53
54
 
# File 'lib/rigor/cli/coverage_scan.rb', line 45

def scan_into(path, scanner, accumulator, configuration)
  source = File.read(path)
  parse_result = Prism.parse(source, filepath: path, version: configuration.target_ruby)
  if parse_result.errors.any?
    accumulator.record_parse_error(path, parse_result.errors)
    return
  end

  accumulator.absorb(path, scanner.scan(parse_result.value))
end