Исключение поведение

Функции для форматирования бросков/перехватывания/выходов и исключений.

Обратите внимание, что трассировки стека в Elixir доступны только внутри блоков catch и rescue с использованием переменной __STACKTRACE__/0.

Не полагайтесь на конкретный формат, возвращаемый функциями в этом модуле. Он может быть изменён в будущих версиях для лучшей интеграции с инструментами Elixir. Другими словами, используя функции этого модуля, вы гарантированно будете форматировать исключения в соответствии с текущей версией Elixir.

Краткое описание

Типы

arity_or_args()
kind(): Тип, обрабатываемый функциями форматирования
location()
non_error_kind()
stacktrace()
stacktrace_entry()
t(): Тип исключения

Обработчики

blame(t, stacktrace): Вызывается из Exception.blame/3 для дополнения структуры исключения.
exception(term)
message(t)

Функции

blame(kind, error, stacktrace): Присоединяет информацию к исключениям для дополнительной отладки.
blame_mfa(module, function, args): Присваивает вину вызову указанного модуля, функции и аргументов.
exception?(term) устаревший: Возвращает true если данный term является исключением.
format(kind, payload, stacktrace \\ []): Нормализует и форматирует броски/ошибки/выходы и трассировки стека.
format_banner(kind, exception, stacktrace \\ []): Нормализует и форматирует любые броски/ошибки/выходы.
format_exit(reason): Форматирует выход. Возвращает строку.
format_fa(fun, arity): Принимает анонимную функцию и арность, форматируя их так, как показано в трассировках стека. Арность также может быть списком аргументов.
format_file_line(file, line, suffix \\ ""): Форматирует указанный file и line в соответствии с отображением в трассировках стека.
format_file_line_column(file, line, column, suffix \\ ""): Форматирует указанный file, line, и column в соответствии с отображением в трассировках стека.
format_mfa(module, fun, arity): Принимает модуль, функцию и арность, форматируя их так, как показано в трассировках стека. Арность также может быть списком аргументов.
format_stacktrace(trace \\ nil): Форматирует трассировку стека.
format_stacktrace_entry(entry): Принимает элемент трассировки стека и форматирует его в строку.
message(exception): Получает сообщение для exception.
normalize(kind, payload, stacktrace \\ []): Нормализует исключение, преобразуя исключения Erlang в исключения Elixir.

Типы

arity_or_args()Source

@type arity_or_args() :: non_neg_integer() | list()

kind()Source

@type kind() :: :error | non_error_kind()

Тип, обрабатываемый функциями форматирования

location()Source

@type location() :: keyword()

non_error_kind()Source

@type non_error_kind() :: :exit | :throw | {:EXIT, pid()}

stacktrace()Source

@type stacktrace() :: [stacktrace_entry()]

stacktrace_entry()Source

@type stacktrace_entry() ::
  {module(), atom(), arity_or_args(), location()}
  | {(... -> any()), arity_or_args(), location()}

t()Source

@type t() :: %{
  :__struct__ => module(),
  :__exception__ => true,
  optional(atom()) => any()
}

Тип исключения

Обработчики

blame(t, stacktrace)Source

@callback blame(t(), stacktrace()) :: {t(), stacktrace()}

Вызывается из Exception.blame/3 для дополнения структуры исключения.

Можно использовать для сбора дополнительной информации об исключении или выполнения дополнительных дорогостоящих вычислений.

exception(term)Source

@callback exception(term()) :: t()

message(t)Source

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

Функции

blame(kind, error, stacktrace)Source

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

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

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

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

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

blame_mfa(module, function, args)Source

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

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

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

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

exception?(term)Source

Эта функция устарела. Используйте Kernel.is_exception/1 вместо неё.

Возвращает true , если заданный term является исключением.

format(kind, payload, stacktrace \\ [])Source

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

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

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

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

format_banner(kind, exception, stacktrace \\ [])Source

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

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

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

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

format_exit(reason)Source

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

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

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

format_fa(fun, arity)Source

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

Примеры

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

format_file_line(file, line, suffix \\ "")Source

Форматирует заданный 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)
""

format_file_line_column(file, line, column, suffix \\ "")Source

Форматирует заданные 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)
""

format_mfa(module, fun, arity)Source

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

Примеры

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»

format_stacktrace(trace \\ nil)Source

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

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

format_stacktrace_entry(entry)Source

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

Принимает запись трассировки стека и форматирует её в строку.

message(exception)Source

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

normalize(kind, payload, stacktrace \\ [])Source

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

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

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

Принимает kind , вылитые catch в качестве аргумента и нормализует только :error, возвращая нетронутое содержимое для других.

Настройки Исключение поведение

Краткое описание

Типы

Обработчики

Функции

Типы

arity_or_args()Source

kind()Source

location()Source

non_error_kind()Source

stacktrace()Source

stacktrace_entry()Source

t()Source

Обработчики

blame(t, stacktrace)Source

exception(term)Source

message(t)Source

Функции

blame(kind, error, stacktrace)Source

blame_mfa(module, function, args)Source

exception?(term)Source

format(kind, payload, stacktrace \\ [])Source

format_banner(kind, exception, stacktrace \\ [])Source

format_exit(reason)Source

format_fa(fun, arity)Source

Примеры

format_file_line(file, line, suffix \\ "")Source

Примеры

format_file_line_column(file, line, column, suffix \\ "")Source

Примеры

format_mfa(module, fun, arity)Source

Примеры

format_stacktrace(trace \\ nil)Source

format_stacktrace_entry(entry)Source

message(exception)Source

normalize(kind, payload, stacktrace \\ [])Source

Исключение поведение