Assay.DialyzerFlags (assay v0.6.1)

Copy Markdown View Source

Parses and normalizes Dialyzer command-line flags.

This module converts raw flag inputs (from config or CLI) into the option tuples that :dialyzer.run/1 expects. It validates flags, prevents conflicting options, and handles PLT path overrides.

Supported Flags

Common flags like --statistics, --fullpath, --no_spec are supported. Flags that conflict with incremental mode (e.g., --build_plt, --incremental) are disallowed.

See parse/3 for details on flag parsing and validation.

Summary

Types

parse_result()
source()

Functions

parse(raw_flags, source, project_root)

Normalizes config or CLI provided Dialyzer flag inputs into the dial_option tuples that :dialyzer.run/1 expects. Returns the derived options as well as a PLT override path (if any).

Types

parse_result()

@type parse_result() :: %{
  options: keyword(),
  init_plt: binary() | nil,
  output_plt: binary() | nil
}

source()

@type source() :: :config | :cli

Functions

parse(raw_flags, source, project_root)

@spec parse(term(), source(), binary()) :: parse_result()

Normalizes config or CLI provided Dialyzer flag inputs into the dial_option tuples that :dialyzer.run/1 expects. Returns the derived options as well as a PLT override path (if any).