henitai 0.1.0

data/sig/henitai.rbs

@@ -0,0 +1,594 @@
+module ::FileUtils
+  def self.mkdir_p: (String) -> Array[String]
+end
+
+module ::JSON
+  def self.generate: (untyped) -> String
+  def self.pretty_generate: (untyped) -> String
+end
+
+module ::Net
+  class HTTP
+    def self.start: (String, Integer, use_ssl: bool) { (HTTP) -> untyped } -> untyped
+    def request: (untyped) -> untyped
+    def open_timeout=: (Integer) -> Integer
+    def read_timeout=: (Integer) -> Integer
+
+    class Put
+      def initialize: (String, Hash[String, String]) -> void
+      attr_accessor body: String
+    end
+  end
+end
+
+module ::URI
+  class InvalidURIError < StandardError
+  end
+
+  def self.parse: (String) -> untyped
+  def self.encode_www_form_component: (String) -> String
+end
+
+module ::Open3
+  def self.capture2: (*String) -> [String, Process::Status]
+end
+
+module ::Coverage
+  def self.peek_result: () -> untyped
+end
+
+module ::Minitest
+  def self.run: (Array[String]) -> bool
+end
+
+module ::RSpec::Core::Formatters
+  def self.register: (untyped, *untyped) -> void
+end
+
+module Henitai
+  HISTORY_STORE_FILENAME: String
+  VERSION: String
+
+  class ConfigurationError < StandardError
+  end
+
+  class SubjectNotFound < StandardError
+  end
+
+  class CoverageError < StandardError
+  end
+
+  class GitDiffError < StandardError
+  end
+
+  module Operators
+  end
+
+  class Configuration
+    DEFAULT_TIMEOUT: Float
+    DEFAULT_OPERATORS: Symbol
+    DEFAULT_JOBS: untyped
+    DEFAULT_MAX_MUTANTS_PER_LINE: Integer
+    DEFAULT_MAX_FLAKY_RETRIES: Integer
+    DEFAULT_REPORTS_DIR: String
+    DEFAULT_COVERAGE_CRITERIA: Hash[Symbol, bool]
+    DEFAULT_THRESHOLDS: Hash[Symbol, Integer]
+    CONFIG_FILE: String
+
+    attr_reader integration: untyped
+    attr_reader includes: Array[String]
+    attr_reader operators: Symbol
+    attr_reader timeout: Float
+    attr_reader ignore_patterns: Array[untyped]
+    attr_reader max_mutants_per_line: Integer
+    attr_reader max_flaky_retries: Integer
+    attr_reader sampling: untyped
+    attr_reader jobs: untyped
+    attr_reader coverage_criteria: Hash[Symbol, untyped]
+    attr_reader thresholds: Hash[Symbol, Integer]
+    attr_reader reporters: Array[String]
+    attr_reader reports_dir: String
+    attr_reader dashboard: Hash[Symbol, untyped]
+    attr_reader all_logs: bool
+
+    def self.load: (?path: String, ?overrides: Hash[Symbol, untyped]) -> Configuration
+    def initialize: (?path: String, ?overrides: Hash[Symbol, untyped]) -> void
+
+    private
+
+    def load_raw_configuration: (String) -> Hash[Symbol, untyped]
+    def apply_defaults: (Hash[Symbol, untyped]) -> void
+    def apply_general_defaults: (Hash[Symbol, untyped]) -> void
+    def apply_mutation_defaults: (Hash[Symbol, untyped]) -> void
+    def apply_analysis_defaults: (Hash[Symbol, untyped]) -> void
+    def merge_defaults: (Hash[Symbol, untyped], Hash[Symbol, untyped]?) -> Hash[Symbol, untyped]
+    def symbolize_keys: (untyped) -> untyped
+  end
+
+  class ScenarioExecutionResult
+    attr_reader status: Symbol
+    attr_reader stdout: String
+    attr_reader stderr: String
+    attr_reader exit_status: Integer?
+    attr_reader log_path: String
+
+    def initialize: (status: Symbol, stdout: String?, stderr: String?, log_path: String, ?exit_status: Integer?) -> void
+    def survived?: () -> bool
+    def killed?: () -> bool
+    def timeout?: () -> bool
+    def log_text: () -> String
+    def combined_output: () -> String
+    def tail: (?Integer) -> String
+    def should_show_logs?: (?all_logs: bool) -> bool
+    def failure_tail: (?all_logs: bool, ?lines: Integer) -> String
+  end
+
+  class Subject
+    attr_reader namespace: String?
+    attr_reader method_name: String?
+    attr_reader method_type: Symbol
+    attr_reader source_file: String?
+    attr_reader source_range: Range[Integer]?
+
+    def self.parse: (String) -> Subject
+    def initialize: (?expression: String, ?namespace: String, ?method_name: String, ?method_type: Symbol, ?source_location: Hash[Symbol, untyped], ?ast_node: untyped) -> void
+    def expression: () -> String
+    def wildcard?: () -> bool
+
+    private
+
+    def parse_expression: (String) -> void
+  end
+
+  class Mutant
+    STATUSES: Array[Symbol]
+
+    attr_reader id: String
+    attr_reader subject: Subject
+    attr_reader operator: String
+    attr_reader original_node: untyped
+    attr_reader mutated_node: untyped
+    attr_reader mutation_type: untyped
+    attr_reader description: String
+    attr_reader location: Hash[Symbol, untyped]
+    attr_accessor status: Symbol
+    attr_accessor killing_test: String?
+    attr_accessor duration: Float?
+
+    def initialize: (subject: Subject, operator: String, nodes: Hash[Symbol, untyped], description: String, location: Hash[Symbol, untyped]) -> void
+    def killed?: () -> bool
+    def survived?: () -> bool
+    def pending?: () -> bool
+    def ignored?: () -> bool
+    def equivalent?: () -> bool
+    def to_s: () -> String
+  end
+
+  class SyntaxValidator
+    def initialize: () -> void
+    def valid?: (Mutant) -> bool
+  end
+
+  class CoverageFormatter
+    REPORT_DIR_ENV: String
+    REPORT_FILE_NAME: String
+
+    def initialize: (untyped) -> void
+    def example_finished: (untyped) -> void
+    def dump_summary: (untyped) -> void
+
+    private
+
+    def report_path: () -> String
+    def reports_dir: () -> String
+    def current_snapshot: () -> untyped
+    def new_lines: (untyped) -> untyped
+    def new_line_numbers: (untyped, untyped) -> untyped
+    def previous_line_counts: (String) -> untyped
+    def line_counts_for: (untyped) -> Array[untyped]
+    def source_file?: (String) -> bool
+    def serializable_report: () -> untyped
+  end
+
+  class SamplingStrategy
+    def initialize: () -> void
+    def sample: (Array[Mutant], ratio: Float, ?strategy: Symbol) -> Array[Mutant]
+  end
+
+  class TestPrioritizer
+    def initialize: () -> void
+    def sort: (Array[String], untyped, Hash[untyped, untyped]) -> Array[String]
+  end
+
+  class Operator
+    LIGHT_SET: Array[String]
+    FULL_SET: Array[String]
+
+    def self.for_set: (Symbol) -> Array[untyped]
+    def self.node_types: () -> Array[Symbol]
+    def mutate: (untyped, subject: Subject) -> Array[Mutant]
+    def name: () -> String
+
+    private
+
+    def build_mutant: (subject: Subject, original_node: untyped, mutated_node: untyped, description: String) -> Mutant
+    def node_location: (untyped) -> Hash[Symbol, untyped]
+  end
+
+  module Integration
+    def self.for: (String) -> untyped
+
+    class Base
+      def select_tests: (Subject) -> Array[String]
+      def test_files: () -> Array[String]
+      def run_mutant: (mutant: Mutant, test_files: Array[String], timeout: Float) -> ScenarioExecutionResult
+      def run_suite: (Array[String], ?timeout: Float) -> ScenarioExecutionResult
+    end
+
+    class ScenarioLogSupport
+      def capture_child_output: (Hash[Symbol, String]) { () -> untyped } -> untyped
+      def with_coverage_dir: (String) { () -> untyped } -> untyped
+
+      private
+
+      def open_child_output: (Hash[Symbol, String]) -> Hash[Symbol, untyped]
+      def close_child_output: (Hash[Symbol, untyped]?) -> void
+      def build_child_output_files: (Hash[Symbol, String]) -> Hash[Symbol, untyped]
+      def sync_child_output_files: (Hash[Symbol, untyped]) -> void
+      def redirect_child_output: (Hash[Symbol, untyped]) -> void
+      def restore_child_output: (Hash[Symbol, untyped]) -> void
+      def reopen_child_output_stream: (untyped, untyped) -> void
+      def close_child_output_files: (Hash[Symbol, untyped]) -> void
+      def mutation_coverage_dir: (String) -> String
+    end
+
+    class Rspec < Base
+      REQUIRE_DIRECTIVE_PATTERN: Regexp
+      DEFAULT_SUITE_TIMEOUT: Float
+
+      def select_tests: (Subject) -> Array[String]
+      def test_files: () -> Array[String]
+      def run_mutant: (mutant: Mutant, test_files: Array[String], timeout: Float) -> ScenarioExecutionResult
+      def run_suite: (Array[String], ?timeout: Float) -> ScenarioExecutionResult
+
+      private
+
+      def run_in_child: (mutant: Mutant, test_files: Array[String], log_paths: Hash[Symbol, String]) -> Integer
+      def suite_command: (Array[String]) -> Array[String]
+      def wait_with_timeout: (Integer, Float) -> untyped
+      def handle_timeout: (Integer) -> Symbol
+      def build_result: (untyped, Hash[Symbol, String]) -> ScenarioExecutionResult
+      def scenario_status: (untyped) -> Symbol
+      def exit_status_for: (untyped) -> Integer?
+      def read_log_file: (String) -> String
+      def write_combined_log: (String, String, String) -> void
+      def combined_log: (String, String) -> String
+      def scenario_log_paths: (String) -> Hash[Symbol, String]
+      def run_tests: (Array[String]) -> Integer
+      def pause: (Float) -> void
+      def scenario_log_support: () -> ScenarioLogSupport
+      def rspec_options: () -> Array[String]
+      def spec_files: () -> Array[String]
+      def fallback_spec_files: (Subject) -> Array[String]
+      def selection_patterns: (Subject) -> Array[String]
+      def requires_source_file?: (String, String) -> bool
+      def requires_source_file_transitively?: (String, String, ?Array[String]) -> bool
+      def required_files: (String) -> Array[String]
+      def resolve_required_file: (String, String, String) -> String?
+      def relative_candidates: (String, String) -> Array[String]
+      def require_candidates: (String, String) -> Array[String]
+      def expand_candidates: (String, String) -> Array[String]
+      def reap_child: (Integer) -> void
+    end
+
+    class Minitest < Rspec
+      private
+
+      def run_tests: (Array[String]) -> Integer
+      def spec_files: () -> Array[String]
+    end
+  end
+
+  class SubjectResolver
+    def resolve_from_files: (Array[String]?) -> Array[Subject]
+    def apply_pattern: (Array[Subject], String) -> Array[Subject]
+  end
+
+  class GitDiffAnalyzer
+    def changed_files: (from: String, to: String, ?dir: String) -> Array[String]
+  end
+
+  class MutantGenerator
+    def generate: (Array[Subject], Array[untyped], ?config: untyped) -> Array[Mutant]
+  end
+
+  class MutantHistoryStore
+    def initialize: (path: String) -> void
+    def record: (Result, version: String, ?recorded_at: Time) -> void
+    def trend_report: () -> Hash[Symbol, untyped]
+  end
+
+  class EquivalenceDetector
+    def initialize: () -> void
+    def analyze: (Mutant) -> Mutant
+
+    private
+
+    def equivalent_arithmetic_mutation?: (Mutant) -> bool
+    def binary_send?: (untyped) -> bool
+    def same_receiver?: (untyped, untyped) -> bool
+    def additive_equivalent?: (untyped, untyped) -> bool
+    def multiplicative_equivalent?: (untyped, untyped) -> bool
+    def additive_operator?: (untyped) -> bool
+    def multiplicative_operator?: (untyped) -> bool
+    def zero_operand?: (untyped) -> bool
+    def one_operand?: (untyped) -> bool
+    def numeric_operand?: (untyped, untyped) -> bool
+    def same_node?: (untyped, untyped) -> bool
+  end
+
+  module UnparseHelper
+    private
+
+    def safe_unparse: (untyped) -> String
+    def fallback_source: (untyped) -> String
+  end
+
+  class StaticFilter
+    def apply: (Array[Mutant], untyped) -> Array[Mutant]
+    def coverage_lines_for: (untyped) -> Hash[String, Array[Integer]]
+    def coverage_lines_by_file: (?String) -> Hash[String, Array[Integer]]
+    def test_lines_by_file: (?String) -> Hash[String, Hash[String, Array[Integer]]]
+  end
+
+  class ExecutionEngine
+    def run: (Array[Mutant], untyped, untyped, ?progress_reporter: untyped) -> Array[Mutant]
+
+    private
+
+    def parallel_execution?: (untyped, Array[Mutant]) -> bool
+    def worker_count: (untyped) -> Integer
+    def run_linear: (Array[Mutant], untyped, untyped, untyped?, untyped) -> void
+    def run_parallel: (Array[Mutant], untyped, untyped, untyped?, untyped) -> void
+    def process_mutant: (Mutant, untyped, untyped, untyped?, ?untyped) -> void
+    def prioritized_tests_for: (Mutant, untyped, untyped) -> Array[String]
+    def test_prioritizer: () -> TestPrioritizer
+    def test_history: (untyped) -> Hash[untyped, untyped]
+    def run_with_flaky_retry: (Mutant, untyped, untyped, Array[String], ?untyped) -> ScenarioExecutionResult
+    def warn_flaky_mutants: (Integer) -> void
+    def with_reports_dir: (untyped) { () -> untyped } -> untyped
+  end
+
+  class Mutant::Activator
+    SERIALIZER_METHODS: Hash[Symbol, Symbol]
+
+    def self.activate!: (untyped) -> Symbol?
+    def initialize: () -> void
+    def activate!: (untyped) -> Symbol?
+
+    private
+
+    def load_target: (Subject) -> untyped
+    def load_source_file: (Subject) -> void
+    def target_for: (Subject) -> untyped
+    def method_source: (Mutant) -> String
+    def body_source: (Mutant) -> String
+    def parameter_source: (Mutant) -> String
+    def method_arguments: (untyped) -> untyped
+    def parameter_fragment: (untyped) -> String?
+    def argument_parameter_fragment: (untyped) -> String
+    def optional_parameter_fragment: (untyped) -> String
+    def rest_parameter_fragment: (untyped) -> String
+    def keyword_parameter_fragment: (untyped) -> String
+    def optional_keyword_parameter_fragment: (untyped) -> String
+    def keyword_rest_parameter_fragment: (untyped) -> String
+    def block_parameter_fragment: (untyped) -> String
+    def forward_parameter_fragment: (untyped) -> String
+    def prefixed_parameter: (untyped, String) -> String
+    def replace_node: (untyped, untyped, untyped) -> untyped
+    def same_node?: (untyped, untyped) -> bool
+    def replace_child: (untyped, untyped, untyped) -> untyped
+    def method_body: (untyped) -> untyped
+    def source_file_from_ast: (Subject) -> String?
+    def node_location_signature: (untyped) -> Array[untyped]?
+    def compile_safe_unparse: (untyped) -> String
+  end
+
+  module Reporter
+    def self.run_all: (names: Array[String], result: Result, config: Configuration) -> void
+    def self.reporter_class: (String) -> untyped
+
+    class Base
+      def initialize: (config: Configuration) -> void
+      def report: (Result) -> void
+
+      private
+
+      def config: () -> Configuration
+    end
+
+    class Terminal < Base
+      include UnparseHelper
+
+      PROGRESS_GLYPHS: Hash[Symbol, String]
+
+      def report: (Result) -> void
+      def progress: (untyped, ?scenario_result: ScenarioExecutionResult) -> void
+
+      private
+
+      def report_lines: (Result) -> Array[String]
+      def summary_lines: (Result) -> Array[String]
+      def survived_detail_lines: (Result) -> Array[String]
+      def survived_mutant_lines: (Mutant) -> Array[String]
+      def survived_mutant_header: (Mutant) -> String
+      def original_line: (Mutant) -> String
+      def mutated_line: (Mutant) -> String
+      def score_line: (Result) -> String
+      def format_row: (String, untyped) -> String
+      def count_status: (Result, Symbol) -> Integer
+      def format_duration: (Float) -> String
+      def format_percent: (Float?) -> String
+      def score_color: (Float?) -> String?
+      def colorize: (String, String) -> String
+      def should_show_logs?: (ScenarioExecutionResult) -> bool
+      def scenario_output: (ScenarioExecutionResult) -> String
+      def flush: () -> void
+    end
+
+    class Json < Base
+      def report: (Result) -> void
+
+      private
+
+      def report_path: () -> String
+      def write_history_report: () -> void
+      def history_store_path: () -> String
+      def history_report_path: () -> String
+    end
+
+    class Html < Base
+      def report: (Result) -> void
+
+      private
+
+      def report_path: () -> String
+      def html_document: (Result) -> String
+      def escaped_report_json: (Result) -> String
+    end
+
+  class Dashboard < Base
+      DEFAULT_BASE_URL: String
+      HTTP_TIMEOUT_SECONDS: Integer
+
+      def report: (Result) -> void
+
+      private
+
+      def ready?: () -> bool
+      def build_request: (Result, untyped) -> untyped
+      def request_headers: () -> Hash[String, String]
+      def send_request: (untyped, untyped) -> untyped
+      def dashboard_uri: () -> untyped
+      def base_url: () -> String
+      def project: () -> String?
+      def version: () -> String?
+      def env_version: () -> String?
+      def ref_without_prefix: (String?) -> String?
+      def project_from_git_remote: () -> String?
+      def api_key: () -> String?
+      def project_path: () -> String
+      def encoded_version: () -> String
+      def blank?: (String?) -> bool
+      def git_remote_url: () -> String?
+      def git_branch_name: () -> String?
+
+      def self.project_from_git_url: (String?) -> String?
+      def self.normalize_git_url: (String?) -> String?
+      def self.project_from_uri_url: (String) -> String?
+      def self.project_from_ssh_url: (String) -> String?
+    end
+  end
+
+  class Result
+    include UnparseHelper
+
+    SCHEMA_VERSION: String
+
+    attr_reader mutants: Array[Mutant]
+    attr_reader started_at: Time
+    attr_reader finished_at: Time
+
+    def initialize: (mutants: Array[Mutant], started_at: Time, finished_at: Time) -> void
+    def killed: () -> Integer
+    def survived: () -> Integer
+    def equivalent: () -> Integer
+    def detected: () -> Integer
+    def mutation_score: () -> Float?
+    def mutation_score_indicator: () -> Float?
+    def scoring_summary: () -> Hash[Symbol, untyped]
+    def duration: () -> Float
+    def to_stryker_schema: () -> Hash[Symbol, untyped]
+
+    private
+
+    def build_files_section: () -> Hash[Symbol, untyped]
+    def mutant_to_schema: (Mutant) -> Hash[Symbol, untyped]
+    def replacement_for: (Mutant) -> String
+    def location_for: (Mutant) -> Hash[Symbol, untyped]
+    def line_column: (Mutant, Symbol) -> Hash[Symbol, Integer]
+    def duration_for: (Mutant) -> Integer?
+    def equivalence_uncertainty: () -> String?
+    def stryker_status: (Symbol) -> String
+  end
+
+  class Runner
+    attr_reader config: Configuration
+    attr_reader result: untyped
+
+    def initialize: (?config: Configuration, ?subjects: Array[Subject], ?since: String) -> void
+    def run: () -> Result
+    def resolve_subjects: (?Array[String]) -> untyped
+    def generate_mutants: (untyped) -> untyped
+    def filter_mutants: (untyped) -> untyped
+    def execute_mutants: (untyped) -> untyped
+    def report: (Result) -> void
+    def subject_resolver: () -> untyped
+    def git_diff_analyzer: () -> untyped
+    def mutant_generator: () -> untyped
+    def static_filter: () -> untyped
+    def execution_engine: () -> untyped
+    def coverage_bootstrapper: () -> CoverageBootstrapper
+    def integration: () -> untyped
+    def operators: () -> untyped
+    def progress_reporter: () -> untyped?
+    def history_store: () -> untyped
+    def history_store_path: () -> String
+    def source_files: () -> Array[String]
+    def pattern_subjects: () -> Array[Subject]
+    def unique_subjects: (Array[Subject]) -> Array[Subject]
+    def normalize_path: (String) -> String
+
+    private
+
+    def build_result: (Array[Mutant], Time, Time) -> Result
+    def persist_history: (Result, Time) -> void
+    def bootstrap_coverage: (Array[String]) -> void
+    def with_reports_dir: () { () -> untyped } -> untyped
+  end
+
+  class CoverageBootstrapper
+    def initialize: (?static_filter: StaticFilter) -> void
+    def ensure!: (source_files: Array[String], config: Configuration, integration: Integration::Base) -> void
+
+    private
+
+    def static_filter: () -> StaticFilter
+    def coverage_available?: (Array[String], Configuration) -> bool
+    def bootstrap_coverage: (Integration::Base, Configuration) -> void
+    def source_file_paths: (Array[String]) -> Array[String]
+  end
+
+  class CLI
+    def self.start: (Array[String]) -> untyped
+    def initialize: (Array[String]) -> void
+    def run: () -> untyped
+  end
+end
+
+module Process
+  def self.fork: () { () -> untyped } -> Integer
+  def self.exit: (Integer?) -> void
+  def self.wait: (Integer, ?Integer) -> Integer?
+  def self.last_status: () -> untyped
+  def self.kill: (Symbol, Integer) -> Integer
+  def self.clock_gettime: (Symbol) -> Float
+end
+
+module RSpec
+  module Core
+    class Runner
+      def self.run: (Array[String]) -> Integer
+    end
+  end
+end

data/sig/unparser.rbs

@@ -0,0 +1,3 @@
+module Unparser
+  def self.unparse: (untyped) -> String
+end