Ada i Maguyva: specifikationer, kroppar och paketgrafer

Varför Ada-repon behöver en beroendekarta

Ada skiljer det ett paket lovar (.ads) från hur det gör det (.adb). Det är god ingenjörskonst, och det betyder också att en enda ändring berör flera filer som en textsökning inte kopplar ihop åt dig. Långlivade Ada-system lägger till ytterligare ett lager: generics, taggade typer, tasks och skyddade objekt, vars relationer betyder mer än någon enskild fil.

Maguyva ger agenten den beroendekartan innan den föreslår en ändring, vilket är exakt den ordning som en granskning med hög integritet förväntar sig.

Vad Maguyva extraherar i Ada

Maguyva täcker .ads, .adb och .ada. Underprogramkroppar samt procedur- och funktionsspecifikationer extraheras som anropbara symboler, så både specifikationen och kroppen för en rutin är sökbara. Symbolmatchningen är skiftlägesokänslig, precis som Ada självt.

Importer kommer från with- och use-satser; nyckelordet tas bort så att grafen lagrar paketnamnet. Grafen registrerar också anrop, arv och överskrivningar för taggade typer, instansiering, typreferenser, läsningar och skrivningar samt kanter för att kasta och hantera undantag.

I strukturell sökning kan task-typer, skyddade typer, posttyper och gränssnittstyper väljas som typdefinitioner, och entry-kroppar som metoder.

Exempel på prompter för agenter

• “Vilka enheter beror på Flight_Control.Sensors, och vilka av dess underprogram anropar de?” (dependency_search incoming)
• “Visa specifikationen och kroppen för Compute_Trajectory och alla som anropar den.” (find_symbol)
• “Förklara hur telemetritasken lämnar data till det skyddade loggningsobjektet.” (get_task_context)

Kända begränsningar

• Ada använder samma syntax för vissa anrop, åtkomst till postfält och indexering. Maguyva filtrerar inbyggda typer, paket i standardbiblioteket, attributfunktioner och operatorer (omkring 113 mönster) för att hålla anropsgrafen ren, så anrop till standardbiblioteket blir inte kanter i grafen. Åtkomst till postfält och indexering skiljs från anrop utifrån deras position i grammatiken, inte utifrån en lista med fältnamn. Vanliga text-I/O-anrop som Put_Line, Put och Get behålls avsiktligt.
• use-satser ändrar synligheten men väljs inte som importer i strukturell sökning; with-satser gör det.
• Noder för post- och gränssnittstyper kan vara anonyma fragment, så namnbaserade strukturella frågor kan missa dem. Använd find_symbol för namngivna typer.

Nästa steg

Anslut ett repo med snabbstarten och kontrollera sedan stödmatrisen på kompatibilitetssidan. Om din Ada-kod binder till C, läs även guiden för C.