@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()

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

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

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

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

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

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

@spec format_fa((... -> any()), 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 — имя функции-контейнера. Преобразовать в "анонимный fn в 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 для других.

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