ArchTest.Violation (ArchTest v0.3.1)

@type t() :: %ArchTest.Violation{
  callee: module() | nil,
  callee_function: {atom(), non_neg_integer()} | nil,
  caller: module() | nil,
  caller_function: {atom(), non_neg_integer()} | nil,
  file: String.t() | nil,
  line: pos_integer() | nil,
  message: String.t(),
  module: module() | nil,
  path: [module()] | nil,
  type: violation_type()
}

violation_type()

@type violation_type() ::
  :forbidden_dep
  | :missing_dep
  | :naming
  | :existence
  | :cycle
  | :metric
  | :custom

Functions

cycle(cycle_path, reason)

@spec cycle([module()], String.t()) :: t()

Builds a :cycle violation.

existence(mod, reason)

@spec existence(module(), String.t()) :: t()

Builds an :existence violation (module should not exist).

forbidden_dep(caller, callee, reason)

@spec forbidden_dep(module(), module(), String.t()) :: t()

Builds a :forbidden_dep violation.

format(v)

@spec format(t()) :: String.t()

Formats a single violation into a human-readable string.

format_all(violations)

@spec format_all([t()]) :: String.t()

Formats a list of violations into a human-readable string for ExUnit output.

Groups violations by offending module where possible and adds visual separators for readability.

key(v)

@spec key(t()) :: String.t()

Returns a stable, structured key suitable for freeze baselines.

The key is intentionally line-oriented and text-friendly, but it is derived from the violation struct rather than parsed from rendered assertion output.

keys(violations)

@spec keys([t()]) :: [String.t()]

Returns sorted stable keys for all violations.

naming(mod, reason)

@spec naming(module(), String.t()) :: t()

Builds a :naming violation.

transitive_dep(caller, callee, path, reason)

@spec transitive_dep(module(), module(), [module()], String.t()) :: t()

Builds a :forbidden_dep violation with a transitive path shown.