Ada in Maguyva: Spezifikationen, Rümpfe und Paketgraphen

Warum Ada-Repositories eine Abhängigkeitskarte brauchen

Ada trennt, was ein Paket verspricht (.ads), davon, wie es das umsetzt (.adb). Das ist gutes Engineering und bedeutet zugleich, dass eine einzelne Änderung mehrere Dateien berührt, die eine Textsuche nicht für dich verbindet. Langlebige Ada-Systeme fügen eine weitere Ebene hinzu: Generics, Tagged Types, Tasks und geschützte Objekte, deren Beziehungen wichtiger sind als jede einzelne Datei.

Maguyva gibt einem Agenten diese Abhängigkeitskarte, bevor er eine Änderung vorschlägt. Genau diese Reihenfolge erwartet ein Review in hochzuverlässigen Umgebungen.

Was Maguyva in Ada extrahiert

Maguyva deckt .ads, .adb und .ada ab. Unterprogrammrümpfe sowie Prozedur- und Funktionsspezifikationen werden als aufrufbare Symbole extrahiert, sodass Spezifikation und Rumpf einer Routine beide durchsuchbar sind. Der Symbolabgleich ignoriert Groß- und Kleinschreibung, wie Ada selbst.

Importe entstehen aus with- und use-Klauseln; das Schlüsselwort wird entfernt, sodass der Graph den Paketnamen speichert. Der Graph erfasst außerdem Aufrufe, Vererbung und Overrides bei Tagged Types, Instanziierung, Typreferenzen, Lese- und Schreibzugriffe sowie Kanten für das Auslösen und Behandeln von Ausnahmen.

In der Struktursuche lassen sich Task-Typen, geschützte Typen, Record-Typen und Interface-Typen als Typdefinitionen und Entry-Rümpfe als Methoden auswählen.

Beispiel-Prompts für Agenten

• „Welche Einheiten hängen von Flight_Control.Sensors ab, und welche seiner Unterprogramme rufen sie auf?“ (dependency_search incoming)
• „Zeige Spezifikation und Rumpf von Compute_Trajectory sowie jeden Aufrufer.“ (find_symbol)
• „Erkläre, wie der Telemetrie-Task Daten an das geschützte Logging-Objekt übergibt.“ (get_task_context)

Bekannte Grenzen

• Ada verwendet für manche Aufrufe, Record-Feldzugriffe und Indizierung dieselbe Syntax. Maguyva filtert eingebaute Typen, Pakete der Standardbibliothek, Attributfunktionen und Operatoren (etwa 113 Muster), um den Aufrufgraphen sauber zu halten; Aufrufe in die Standardbibliothek sind daher keine Graphkanten. Record-Feldzugriffe und Indizierung werden anhand ihrer Position in der Grammatik von Aufrufen unterschieden, nicht anhand einer Liste von Feldnamen. Gängige Text-I/O-Aufrufe wie Put_Line, Put und Get bleiben bewusst erhalten.
• use-Klauseln ändern die Sichtbarkeit, werden in der Struktursuche aber nicht als Importe ausgewählt; with-Klauseln schon.
• Knoten für Record- und Interface-Typen können anonyme Fragmente sein, daher können namensbasierte Strukturabfragen sie übersehen. Verwende find_symbol für benannte Typen.

Nächste Schritte

Verbinde ein Repository über den Schnellstart und prüfe dann die Unterstützungsmatrix auf der Kompatibilitätsseite. Wenn dein Ada-Code an C gebunden ist, lies auch den C-Leitfaden.