Class: Rigor::CLI::CoverageCommand

Inherits:
Command
  • Object
show all
Includes:
CoverageMutation
Defined in:
lib/rigor/cli/coverage_command.rb

Overview

Executes the rigor coverage command.

Walks every Prism node in one or more files, infers its type via Rigor::Scope#type_of, and classifies the result into precision tiers (constant / nominal / shaped / refined / bot / dynamic_specific / dynamic_top / top). Reports aggregate and per-file statistics so maintainers can track type-precision trends and SKILL pipelines can measure the impact of adding new constant-fold or shape-dispatch rules.

Exit codes:

0  — scan complete, precision ratio ≥ threshold (or no threshold given)
1  — precision ratio < threshold, or parse errors encountered
64 — usage error

Constant Summary collapse

USAGE = 
"Usage: rigor coverage [options] PATH..."
DEFAULT_TEST_COMMAND =

ADR-70 — the default test runner hook for --with-tests. The conventional Ruby test task; override with --test-command.

%w[bundle exec rake].freeze

Instance Method Summary collapse

Methods inherited from Command

#initialize

Constructor Details

This class inherits a constructor from Rigor::CLI::Command

Instance Method Details

#run ⇒ Integer

Returns CLI exit status.

Returns:

  • (Integer) —

    CLI exit status.



54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
 
# File 'lib/rigor/cli/coverage_command.rb', line 54

def run
  options = parse_options
  return mutation_misuse_error if options[:mutation] && !options[:protection]
  return with_tests_misuse_error if options[:with_tests] && !options[:mutation]
  return include_dynamic_misuse_error if options[:include_dynamic] && !options[:with_tests]
  return run_mutation_protection(options) if options[:mutation]

  paths = collect_paths(@argv, command_name: "coverage")
  return CLI::EXIT_USAGE if paths.nil?
  return usage_error if paths.empty?

  return run_protection(paths, options) if options[:protection]

  report = scan_paths(paths, options)
  CoverageRenderer.new(out: @out).render(report, format: options.fetch(:format))
  determine_exit(report, options)
end