Automatic repair (автоматическое исправление)

Автоматическое исправление — это принцип, по которому BX-System исправляет дефектный код без ручной проверки. AST engine (движок абстрактных синтаксических деревьев) обнаруживает нарушения правил и исправляет их; Kernel (ядро) возвращается в Stable State (стабильное состояние).

Что запускает исправление?

Код, нарушающий определённое правило: прямые вызовы open(), использование os.path, отсутствующие контракты возврата, отсутствующие декораторы, жёстко заданные пути.

Кто выполняет исправление?

AST engine. Он разбирает код, применяет политики, записывает исправленный код и обновляет подпись.

Требуется ли ручная проверка?

Нет. Исправление автоматическое. AST engine применяет политику и записывает исправленный код.

Что происходит после исправления?

Kernel возвращается в Stable State и обновляет подпись инструмента. Исправленный код проходит проверку.

Как определяются правила?

Правило — это политика. Добавление правила не требует переписывания движка. Политика применяется автоматически.