Automatic repair (automatische Reparatur)

Automatische Reparatur ist das Prinzip, nach dem BX-System fehlerhaften Code ohne manuelle Prüfung korrigiert. Die AST engine (Engine für abstrakte Syntaxbäume) erkennt Regelverstöße und korrigiert sie; der Kernel (Kern) kehrt in einen Stable State (stabiler Zustand) zurück.

Was löst eine Reparatur aus?

Code, der gegen eine definierte Regel verstößt: direkte open()-Aufrufe, Nutzung von os.path, fehlende Rückgabeverträge, fehlende Dekoratoren, hartkodierte Pfade.

Wer führt die Reparatur durch?

Die AST engine. Sie parst den Code, wendet die Richtlinien an, schreibt den korrigierten Code und aktualisiert die Signatur.

Ist eine manuelle Prüfung erforderlich?

Nein. Die Reparatur erfolgt automatisch. Die AST engine wendet die Richtlinie an und schreibt den korrigierten Code.

Was passiert nach der Reparatur?

Der Kernel kehrt in einen Stable State zurück und aktualisiert die Signatur des Werkzeugs. Der korrigierte Code wird verifiziert.

Wie werden Regeln definiert?

Eine Regel ist Richtlinie. Das Hinzufügen einer Regel erfordert keine Neufassung der Engine. Die Richtlinie wird automatisch angewendet.