Коды ошибок

Все коды отказов платформы: чей код и когда он приходит. Человек видит тот же отказ словами в окне; здесь — его код, чтобы найти причину.

1 Коды ошибок

Документ — часть договора Обмен с ядром: коды отказов платформы и ответственные за них части. Вид ошибки в сообщении — Обмен с ядром, раздел 3.

У предметной ошибки поле data содержит: error_code, category, message_key, параметры для текста, если текст их принимает, retryable (допустимость повтора), подробности, допустимые к показу, и trace_id — трассу вызова, на который отказ отвечает: названную в параметрах вызова или трассу прогона, чей это шаг (context.trace_id). Отказ, назвавший свою трассу, сохраняет её. message_key по умолчанию — error.<код>; отказ может назвать свой ключ, когда у одного кода несколько причин и у каждой свои слова, и перечислить в names то, о чём его слова говорят, — узлы, переменные, рёбра. Окно говорит слова ключа и после них названное. Так отказывает process.group.detach (Методы графа, раздел 1).

Категории: protocol, config, runtime, graph, module, document, ui. Категорию даёт хозяин кода. Код части — категории части: функция графа — graph, функция модулей и отказы модулей — module, функция настроек — config, мастерская и пульт — ui, остальные — runtime. Общий код и код договора — той категории, что объявил их хозяин рядом с кодами (core/protocol/src/codes.rs, сами категории — константы договора в core/protocol/src/constants.rs): обмен — protocol, документы и пути — document, значения настроек — config, коды договора функции модулей — module; эту категорию код сохраняет, какая бы часть его ни выдала. Коды ядра делятся так же — обмен, описания и реестр (config), документы, остальное (runtime) — и объявлены в core/kernel/src/codes.rs.

Каждый код объявлен один раз — в файле codes.rs своего хозяина; коды, которые выдают несколько частей, — в общем коде протокола (core/protocol/src/codes.rs); код договора хозяина, который выдаёт и зависимая часть, — в разделе договора хозяина core/protocol/src/contracts/<хозяин>/codes.rs, текст у хозяина. Текст для человека хранится в словаре хозяина под ключом error.<код>; у общих кодов хозяин — ядро. Проверка в make ci не проходит, если код есть в коде, но не записан здесь, записан здесь, но не объявлен, или у него нет текста на обоих языках.

Общие — core/protocol/src/codes.rs, тексты у ядра:

Таблица 1 — Общие коды ошибок

Ядро — core/kernel/src/codes.rs:

Таблица 2 — Коды ошибок ядра

Граф — functions/graph/src/codes.rs:

Таблица 3 — Коды ошибок функции графа

Модули — functions/modules/src/codes.rs:

Таблица 4 — Коды ошибок функции модулей

Договор функции модулей — core/protocol/src/contracts/modules/codes.rs, тексты у функции модулей; эти коды выдаёт или читает и функция графа: когда процесс находит записанный модуль другим, когда остановка застаёт шаг, который ещё ждал начала, и когда по коду отказа она решает, известен ли исход шага:

Таблица 5 — Коды ошибок договора функции модулей

Настройки — functions/settings/src/codes.rs:

Таблица 6 — Коды ошибок функции настроек

Пульт — functions/canvas/src/codes.rs:

Таблица 7 — Коды ошибок функции пульта

Наблюдение — functions/observe/src/codes.rs:

Таблица 8 — Коды ошибок функции наблюдения

Языки — functions/i18n/src/codes.rs:

Таблица 9 — Коды ошибок функции языков

Источники — functions/sources/src/codes.rs:

Таблица 10 — Коды ошибок функции источников

Мастерская — functions/ui/src/codes.rs:

Таблица 11 — Коды ошибок функции мастерской

Вход для программ — functions/gate/src/codes.rs:

Таблица 12 — Коды ошибок функции входа

Помощник — functions/assistant/src/codes.rs:

Таблица 13 — Коды ошибок функции помощника

Профиль — functions/profile/src/codes.rs:

Таблица 14 — Коды ошибок функции профиля