branchproof 0.11.1 → 0.12.0

data/sig/branchproof.rbs

@@ -49,6 +49,14 @@ module Branchproof
     def self.load: (path: String, root: String, ?explicit: bool, ?disabled: bool) -> record?
   end
 
+  class Doctor
+    LIMITATIONS: Array[String]
+    def initialize: (options: record, ?runtime: { engine: String, version: String }, ?loaded_features: Array[String], ?gem_sources: { activated: Hash[String, untyped], discoverable: ^(String) -> Array[untyped] }) -> void
+    def document: (source_files: Array[String], test_files: Array[String]) -> record
+    def self.error: (String message) -> record
+    def self.terminal: (record document) -> String
+  end
+
   module RailsSupport
     def self.boot: (project: record) -> record
     def self.validate_rspec!: (project: record) -> record?
@@ -84,6 +92,7 @@ module Branchproof
     def self.flow_assignment_receiver: (String decision_id, untyped receiver) -> untyped
     def self.flow_assignment_path: (String decision_id, Integer index) -> nil
     def self.flow_assignment_finish: (String decision_id, untyped value, ?Integer? default_path) -> untyped
+    def self.fallback_operand: (String decision_id, Integer index, bool implicit, untyped value) -> untyped
     def self.exception_enter: (String decision_id, Integer unhandled_index) -> nil
     def self.exception_path: (String decision_id, Integer index) -> nil
     def self.exception_value: (String decision_id, untyped value, Integer index) -> untyped
@@ -134,6 +143,13 @@ module Branchproof
     def call: (document: document?) -> record
   end
 
+  class ChangedCoveragePolicy
+    CRITERIA: Hash[String, Hash[Symbol, String]]
+    COMPLETENESS_FIELDS: Array[String]
+    def initialize: (minimum_changed: Hash[String | Symbol, untyped]) -> void
+    def call: (document: document?, scope: document?) -> record
+  end
+
   module Constraints
     VERSION: Integer
     NUMERIC_OPERATORS: Array[String]
@@ -181,6 +197,9 @@ module Branchproof
   end
 
   class MinitestAdapter
+    def self.load_framework!: () -> Module
+    def self.active_adapter: () -> MinitestAdapter?
+    def self.active_adapter=: (MinitestAdapter?) -> MinitestAdapter?
     def initialize: (runtime: untyped) -> void
     def capabilities: () -> record
     def run: (test_files: Array[String], runner_args: Array[String], on_complete: ^(record) -> untyped, ?before_load: ^() -> untyped?) -> nil
@@ -207,12 +226,33 @@ module Branchproof
     def validate_runner!: () -> nil
   end
 
+  module Worker
+    def self.child_process: (String config_path) -> Integer?
+    def self.adapter_for: (record project, untyped runtime) -> (MinitestAdapter | RSpecAdapter)
+    def self.guard_late_rspec_execution: (RSpecAdapter adapter, Hash[String, untyped] payload) -> untyped
+    def self.legacy_project: () -> Hash[String, untyped]
+    def self.prepend_load_paths: (record project) -> nil
+    def self.boot_project: (record project) -> record?
+    def self.project_metadata: (record project, record? rails_metadata) -> record
+    def self.completion_result: (baseline: record, project: record, rails_metadata: record?, evidence: record, tests: Array[record], diagnostics: Array[record]) -> record
+    def self.incomplete_evidence: (record evidence, Array[record] diagnostics) -> record
+    def self.write_completion: (Hash[String, untyped] payload, record result) -> nil
+    def self.write_failure: (Hash[String, untyped] payload, String code, untyped details, ?evidence: record?) -> nil
+    def self.project_metadata_for: (Hash[String, untyped] payload) -> record
+    def self.symbolize: (untyped value) -> untyped
+    def self.normalize: (untyped value) -> untyped
+  end
+
   class Report
     SCHEMA_VERSION: String
+    CHANGED_SCOPE_SCHEMA_VERSION: String
+    CHANGED_POLICY_SCHEMA_VERSION: String
+    COLLATION_SCHEMA_VERSION: String
     CRITERION_VERSION: String
     VIEWS: Array[Symbol]
-    def initialize: (inventory: document, evidence: document, analysis: document?, minima: Array[document], baseline: document, diagnostics: Array[document], ?level: Integer, ?missing_only: bool, ?view: Symbol, ?run_metadata: document, ?saved_document: document?, ?focus: String?, ?top: (Integer | String)?, ?minimum: document?) -> void
-    def self.from_document: (document: document, ?level: Integer?, ?view: Symbol, ?missing_only: bool, ?focus: String?, ?top: (Integer | String)?, ?minimum: document?) -> Report
+    FORMATS: Array[Symbol]
+    def initialize: (inventory: document, evidence: document, analysis: document?, minima: Array[document], baseline: document, diagnostics: Array[document], ?level: Integer, ?missing_only: bool, ?view: Symbol, ?run_metadata: document, ?saved_document: document?, ?focus: String?, ?top: (Integer | String)?, ?minimum: document?, ?changed_scope: document?, ?minimum_changed: document?) -> void
+    def self.from_document: (document: document, ?level: Integer?, ?view: Symbol, ?missing_only: bool, ?focus: String?, ?top: (Integer | String)?, ?minimum: document?, ?minimum_changed: document?) -> Report
     def diagnostic_message: (Hash[Symbol | String, untyped] diagnostic) -> String
     def condition_explanation: (decision_id: String, condition_id: String) -> String
     def decision_table_requirement: (untyped value) -> String?
@@ -220,11 +260,47 @@ module Branchproof
     def decision_table_expected_heading: (document decision) -> String
     def coverage_policy: () -> record
     def coverage_policy_lines: () -> Array[String]
+    def collation_lines: () -> Array[String]
+    def changed_coverage_policy: () -> record
+    def changed_scope_lines: () -> Array[String]
+    def changed_coverage_available?: () -> bool
+    def display_scope_path: (String path) -> String
     def rerun_command: (String test_id) -> String?
-    def write: (io: _WriteIO, format: Symbol | String) -> nil
+    def write: (io: _WriteIO, format: Symbol | String, ?path_prefix: String?) -> nil
+    def step_summary: () -> String
     def exit_code: () -> Integer
   end
 
+  class HtmlReport
+    def initialize: (document: document, level: Integer, coordinator: Report, ?missing_only: bool, ?selection: ReportSelection) -> void
+    def render: () -> String
+  end
+
+  class ChangedScope
+    def initialize: (root: String, ref: String) -> void
+    def call: (inventory: record) -> record
+  end
+
+  class GitChanges
+    def initialize: (root: String, ref: String) -> void
+    def call: (?include_patch_lines: bool) -> record
+  end
+
+  class ChangedDecisionMap
+    def call: (bytes: String, path: String, decisions: Array[record], hunks: Array[record], ?old_bytes: String) -> Array[String]
+  end
+
+  module ChangedCoverage
+    def self.call: (document: document, scope: record) -> record
+  end
+
+  module CoverageSummary
+    def self.call: (Array[record] decisions) -> record
+    def self.decision_table_aggregate: (Array[record] boolean_supported) -> record
+    def self.alternative_aggregate: (Array[record] decisions) -> record
+    def self.alternative_decision?: (record decision) -> bool
+  end
+
   class CoverageIndex
     def initialize: (document: document) -> void
     attr_reader conditions: Array[record]
@@ -238,14 +314,86 @@ module Branchproof
     def render: () -> String
   end
 
+  class SummaryRanking
+    class Decision
+      attr_reader id: String
+      attr_reader relative_path: String?
+      attr_reader line: Integer?
+      attr_reader column: Integer?
+      attr_reader expression: String
+      attr_reader kind: String
+      attr_reader context: String?
+      attr_reader unexecuted: bool
+      attr_reader missing_rules: Array[record]
+      attr_reader required_rules: Integer
+      attr_reader table_calculated: bool
+      attr_reader unproven_conditions: Array[record]
+      attr_reader conditions: Array[record]
+      attr_reader missing_alternatives: Array[record]
+      attr_reader alternatives: Array[record]
+      attr_reader test_ids: Array[String]
+      def missing_total: () -> Integer
+      def gap?: () -> bool
+      def cases_to_test: () -> Integer
+      def rule_cases?: () -> bool
+    end
+
+    class SourceFile
+      attr_reader relative_path: String?
+      attr_reader decisions: Array[Decision]
+      def gaps: () -> Integer
+      def unexecuted: () -> Integer
+      def missing_rules: () -> Integer
+      def required_rules: () -> Integer
+      def unproven_conditions: () -> Integer
+      def conditions: () -> Integer
+      def missing_alternatives: () -> Integer
+      def alternatives: () -> Integer
+      def missing_total: () -> Integer
+    end
+
+    attr_reader index: CoverageIndex
+    def initialize: (document: document, ?selection: ReportSelection) -> void
+    def available?: () -> bool
+    def decisions: () -> Array[Decision]
+    def gaps: () -> Array[Decision]
+    def files: () -> Array[SourceFile]
+    def unsupported_count: () -> Integer
+  end
+
+  class SummaryReport
+    ORDER_NOTE: String
+    def initialize: (document: document, level: Integer, coordinator: Report, ?missing_only: bool, ?selection: ReportSelection) -> void
+    def render: () -> String
+    def self.gap_summary: (SummaryRanking::Decision decision) -> String
+    def self.case_lines: (SummaryRanking::Decision decision, Report coordinator) -> Array[String]
+    def self.one_line: (String text, ?Integer width) -> String
+    def self.rule_text: (record rule, Array[String] expressions, Report coordinator) -> String
+  end
+
+  class GithubReport
+    MARKDOWN_ROWS: Integer
+    def initialize: (document: document, level: Integer, coordinator: Report, ?selection: ReportSelection, ?path_prefix: String?) -> void
+    def annotations: (?path_prefix: String?) -> String
+    def step_summary: () -> String
+  end
+
+  class CLI
+    def initialize: (stdout: _WriteIO, stderr: _WriteIO, ?env: _Env) -> void
+    def call: (Array[String] argv) -> Integer
+  end
+
   class ReportSelection
     attr_reader focus: record?
     attr_reader top: Integer?
-    def initialize: (?focus: String?, ?top: (Integer | String)?) -> void
+    attr_reader decision_ids: Array[String]?
+    def initialize: (?focus: String?, ?top: (Integer | String)?, ?decision_ids: Array[String]?) -> void
     def active?: () -> bool
     def focus_active?: () -> bool
+    def decision_filter_active?: () -> bool
     def focus_label: () -> String?
-    def matching_decision_ids: (document: document) -> Array[String]
+    def matching_decision_ids: (document document) -> Array[String]
+    def selected_decision_ids: (document document) -> Array[String]?
     def filter_decisions: (Array[record] decisions, ?inventory: document) -> Array[record]
     def limit: (Array[record] items) -> [Array[record], Integer]
     def sort_key: (record decision, ?inventory: document) -> [String, Integer, Integer, String]
@@ -255,6 +403,20 @@ module Branchproof
     def self.read: (String path) -> document
   end
 
+  class Collation
+    def initialize: (inputs: Array[Hash[Symbol | String, untyped]], ?expected_shards: Array[String]?) -> void
+    def call: () -> Hash[String, untyped]
+  end
+
+  class CollationManifest
+    attr_reader expected_ids: Array[String]
+    attr_reader declared_paths: Array[String]
+    attr_reader declared_identities: Array[String]
+    attr_reader inputs: Array[Hash[Symbol, String]]
+    def self.path_identity: (String path) -> String
+    def initialize: (path: String, supplied_paths: Array[String]) -> void
+  end
+
   class Comparison
     def initialize: (before: document, after: document) -> void
     def call: () -> document
@@ -266,6 +428,45 @@ module Branchproof
     def exit_code: (?fail_on_regression: bool) -> Integer
   end
 
+  class RakeTask < Rake::TaskLib
+    OPTIONS: Array[Symbol]
+    REPEATED_FLAGS: Hash[Symbol, String]
+    DEFAULTS: Hash[Symbol, untyped]
+    attr_reader name: Symbol
+    attr_accessor description: String
+    attr_reader sources: Array[String]
+    attr_reader tests: Array[String]
+    attr_reader project: String
+    attr_reader framework: String
+    attr_reader view: String
+    attr_reader level: Integer
+    attr_reader missing_only: bool
+    attr_reader minimum: Array[String]
+    attr_reader format: String
+    attr_reader output: String?
+    attr_reader runner_args: Array[String]
+    def initialize: (?Symbol | String name) ?{ (RakeTask) -> void } -> void
+    def sources=: (Array[String] | String value) -> Array[String]
+    def tests=: (Array[String] value) -> Array[String]
+    def project=: (String value) -> String
+    def framework=: (String value) -> String
+    def view=: (String value) -> String
+    def level=: (Integer value) -> Integer
+    def missing_only=: (bool value) -> bool
+    def minimum=: (Array[String] value) -> Array[String]
+    def format=: (String value) -> String
+    def output=: (String? value) -> String?
+    def runner_args=: (Array[String] | String value) -> Array[String]
+    def argv: () -> Array[String]
+    def command: () -> Array[String]
+    def executable: () -> String
+    def run: () -> void
+  end
+
+  interface _Env
+    def []: (String) -> String?
+  end
+
   interface _WriteIO
     def write: (String) -> Integer
   end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: branchproof
 version: !ruby/object:Gem::Version
-  version: 0.11.1
+  version: 0.12.0
 platform: ruby
 authors:
 - Lucian Ghinda
@@ -9,26 +9,6 @@ bindir: exe
 cert_chain: []
 date: 1980-01-02 00:00:00.000000000 Z
 dependencies:
-- !ruby/object:Gem::Dependency
-  name: minitest
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 5.25.5
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '6'
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 5.25.5
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '6'
 - !ruby/object:Gem::Dependency
   name: prism
   requirement: !ruby/object:Gem::Requirement
@@ -68,6 +48,12 @@ files:
 - doc/Branchproof.md
 - doc/Branchproof/Analyzer.md
 - doc/Branchproof/CLI.md
+- doc/Branchproof/ChangedCoverage.md
+- doc/Branchproof/ChangedCoveragePolicy.md
+- doc/Branchproof/ChangedDecisionMap.md
+- doc/Branchproof/ChangedScope.md
+- doc/Branchproof/Collation.md
+- doc/Branchproof/CollationManifest.md
 - doc/Branchproof/Comparison.md
 - doc/Branchproof/ComparisonReport.md
 - doc/Branchproof/Configuration.md
@@ -75,19 +61,28 @@ files:
 - doc/Branchproof/Constraints/Solver.md
 - doc/Branchproof/CoverageIndex.md
 - doc/Branchproof/CoveragePolicy.md
+- doc/Branchproof/CoverageSummary.md
 - doc/Branchproof/DecisionSyntax.md
 - doc/Branchproof/DecisionTable.md
 - doc/Branchproof/DefaultInstrumentation.md
 - doc/Branchproof/DefaultRuntime.md
 - doc/Branchproof/DefaultSyntax.md
+- doc/Branchproof/Doctor.md
+- doc/Branchproof/Doctor/TerminalRenderer.md
 - doc/Branchproof/Error.md
 - doc/Branchproof/Evidence.md
 - doc/Branchproof/ExceptionInstrumentation.md
 - doc/Branchproof/ExceptionRuntime.md
 - doc/Branchproof/ExceptionSyntax.md
 - doc/Branchproof/ExtendedAlternativeRuntime.md
+- doc/Branchproof/FallbackInstrumentation.md
+- doc/Branchproof/FallbackRuntime.md
+- doc/Branchproof/FallbackSyntax.md
 - doc/Branchproof/FlowInstrumentation.md
 - doc/Branchproof/FocusedReport.md
+- doc/Branchproof/GitChanges.md
+- doc/Branchproof/GithubReport.md
+- doc/Branchproof/HtmlReport.md
 - doc/Branchproof/Instrumenter.md
 - doc/Branchproof/IterationInstrumentation.md
 - doc/Branchproof/IterationRuntime.md
@@ -106,6 +101,7 @@ files:
 - doc/Branchproof/RSpecAdapter/UnsupportedRunner.md
 - doc/Branchproof/RailsSupport.md
 - doc/Branchproof/RailsSupport/Error.md
+- doc/Branchproof/RakeTask.md
 - doc/Branchproof/Records.md
 - doc/Branchproof/Report.md
 - doc/Branchproof/ReportSelection.md
@@ -113,6 +109,10 @@ files:
 - doc/Branchproof/RuntimeFlow.md
 - doc/Branchproof/SavedReport.md
 - doc/Branchproof/Source.md
+- doc/Branchproof/SummaryRanking.md
+- doc/Branchproof/SummaryRanking/Decision.md
+- doc/Branchproof/SummaryRanking/SourceFile.md
+- doc/Branchproof/SummaryReport.md
 - doc/Branchproof/ValueInstrumentation.md
 - doc/Branchproof/ValueRuntime.md
 - doc/Branchproof/ValueSyntax.md
@@ -123,25 +123,38 @@ files:
 - exe/mcdc
 - lib/branchproof.rb
 - lib/branchproof/analyzer.rb
+- lib/branchproof/changed_coverage.rb
+- lib/branchproof/changed_decision_map.rb
+- lib/branchproof/changed_scope.rb
 - lib/branchproof/cli.rb
+- lib/branchproof/collation.rb
+- lib/branchproof/collation_manifest.rb
 - lib/branchproof/comparison.rb
 - lib/branchproof/comparison_report.rb
 - lib/branchproof/configuration.rb
 - lib/branchproof/constraints.rb
 - lib/branchproof/coverage_index.rb
 - lib/branchproof/coverage_policy.rb
+- lib/branchproof/coverage_summary.rb
 - lib/branchproof/decision_syntax.rb
 - lib/branchproof/decision_table.rb
 - lib/branchproof/default_instrumentation.rb
 - lib/branchproof/default_runtime.rb
 - lib/branchproof/default_syntax.rb
+- lib/branchproof/doctor.rb
 - lib/branchproof/evidence.rb
 - lib/branchproof/exception_instrumentation.rb
 - lib/branchproof/exception_runtime.rb
 - lib/branchproof/exception_syntax.rb
 - lib/branchproof/extended_alternative_runtime.rb
+- lib/branchproof/fallback_instrumentation.rb
+- lib/branchproof/fallback_runtime.rb
+- lib/branchproof/fallback_syntax.rb
 - lib/branchproof/flow_instrumentation.rb
 - lib/branchproof/focused_report.rb
+- lib/branchproof/git_changes.rb
+- lib/branchproof/github_report.rb
+- lib/branchproof/html_report.rb
 - lib/branchproof/instrumenter.rb
 - lib/branchproof/iteration_instrumentation.rb
 - lib/branchproof/iteration_runtime.rb
@@ -152,6 +165,7 @@ files:
 - lib/branchproof/minitest_adapter.rb
 - lib/branchproof/project.rb
 - lib/branchproof/rails_support.rb
+- lib/branchproof/rake_task.rb
 - lib/branchproof/records.rb
 - lib/branchproof/report.rb
 - lib/branchproof/report_selection.rb
@@ -160,6 +174,8 @@ files:
 - lib/branchproof/runtime_flow.rb
 - lib/branchproof/saved_report.rb
 - lib/branchproof/source.rb
+- lib/branchproof/summary_ranking.rb
+- lib/branchproof/summary_report.rb
 - lib/branchproof/value_instrumentation.rb
 - lib/branchproof/value_runtime.rb
 - lib/branchproof/value_syntax.rb
@@ -183,14 +199,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 3.3.0
+      version: '4.0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.7.2
+rubygems_version: 4.0.11
 specification_version: 4
 summary: Modified condition and decision coverage for Ruby tests
 test_files: []