@spec blame(:error, any(), stacktrace()) :: {t(), stacktrace()}

@spec blame(non_error_kind(), payload, stacktrace()) :: {payload, stacktrace()}
when payload: var

Присоединяет информацию к исключениям для дополнительной отладки.

Эта операция потенциально ресурсоемкая, так как она считывает данные из файловой системы, парсит файлы BEAM, оценивает код и так далее.

Если модуль исключения реализует необязательный обратный вызов blame/2, он будет вызван для выполнения вычислений.

@spec blame_mfa(module(), function :: atom(), args :: [term()]) ::
  {:ok, :def | :defp | :defmacro | :defmacrop,
   [{args :: [term()], guards :: [term()]}]}
  | :error

Присваивает вину вызову данного модуля, функции и аргументов.

Эта функция извлечёт доступные варианты из байткода и проверит их на соответствие заданным аргументам. Варианты возвращаются как список пар {args, guards} где каждый аргумент и каждое условие верхнего уровня в условии, разделённые and/or, заключены в кортеж с метаданными о вине.

Эта функция возвращает либо {:ok, definition, clauses} либо :error. Где definition это :def, :defp, :defmacro или :defmacrop.

@spec format(kind(), any(), stacktrace()) :: String.t()

Нормализует и форматирует выбросы/ошибки/выходы и трассировки стека.

Он полагается на format_banner/3 и format_stacktrace/1 для генерации окончательного формата.

Если kind это {:EXIT, pid}, он не генерирует трассировку стека, так как такие выходы извлекаются как сообщения без трассировок стека.

@spec format_banner(kind(), any(), stacktrace()) :: String.t()

Нормализует и форматирует любой выброс/ошибку/выход.

Сообщение форматируется и отображается в том же формате, что и в командной строке Elixir.

Третий аргумент — трассировка стека, которая используется для обогащения нормализованной ошибки дополнительной информацией. Она используется только в случае, если тип — ошибка.

@spec format_exit(any()) :: String.t()

Форматирует выход. Возвращает строку.

Часто внутри выходов имеются ошибки/исключения. Выходы часто оборачиваются вызывающей стороной и также содержат трассировки стека. Эта функция форматирует выходы таким образом, чтобы красиво отобразить причину выхода, вызывающую сторону и трассировку стека.

@spec format_fa(fun(), arity()) :: String.t()

Принимает анонимную функцию и арность и форматирует её, как показано в трассировках стека. Арность также может быть списком аргументов.

Примеры

Exception.format_fa(fn -> nil end, 1)
#=> "#Function<...>/1"

@spec format_file_line(String.t() | nil, non_neg_integer() | nil, String.t()) ::
  String.t()

Форматирует заданный file и line в виде, представленном в трассировках стека.

Если какие-либо из значений являются nil, они опускаются.

Примеры

iex> Exception.format_file_line("foo", 1)
"foo:1:"

iex> Exception.format_file_line("foo", nil)
"foo:"

iex> Exception.format_file_line(nil, nil)
""

@spec format_file_line_column(
  String.t() | nil,
  non_neg_integer() | nil,
  non_neg_integer() | nil,
  String.t()
) :: String.t()

Форматирует заданный file, line, и column в виде, представленном в трассировках стека.

Если какие-либо из значений являются nil, они опускаются.

Примеры

iex> Exception.format_file_line_column("foo", 1, 2)
"foo:1:2:"

iex> Exception.format_file_line_column("foo", 1, nil)
"foo:1:"

iex> Exception.format_file_line_column("foo", nil, nil)
"foo:"

iex> Exception.format_file_line_column("foo", nil, 2)
"foo:"

iex> Exception.format_file_line_column(nil, nil, nil)
""

@spec format_mfa(module(), atom(), arity_or_args()) :: String.t()

Принимает модуль, функцию и арность и форматирует их в виде, представленном в трассировках стека. Арность также может быть списком аргументов.

Примеры

iex> Exception.format_mfa(Foo, :bar, 1)
"Foo.bar/1"

iex> Exception.format_mfa(Foo, :bar, [])
"Foo.bar()"

iex> Exception.format_mfa(nil, :bar, [])
"nil.bar()"

Анонимные функции отображаются как -func/arity-anonfn-count-, где func — имя функции-оболочки. Перевод: "анонимная функция в func/arity"

@spec format_stacktrace(stacktrace() | nil) :: String.t()

Форматирует трассировку стека.

Трассировка стека должна быть задана в качестве аргумента. Если нет, трассировка стека извлекается из Process.info/2.

@spec format_stacktrace_entry(stacktrace_entry()) :: String.t()

Принимает элемент трассировки стека и форматирует его в строку.

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

Получает сообщение для exception.

@spec normalize(:error, any(), stacktrace()) :: t()

@spec normalize(non_error_kind(), payload, stacktrace()) :: payload when payload: var

Нормализует исключение, преобразуя Erlang-исключения в Elixir-исключения.

Принимает kind выброшенное catch как аргумент и нормализует только :error, возвращая нетронутый payload для других.

Третий аргумент — трассировка стека, которая используется для обогащения нормализованной ошибки дополнительной информацией. Она используется только в случае, если тип — ошибка.