Ada i Maguyva: specifikationer, kroppe og pakkegrafer

Hvorfor Ada-repositories har brug for et afhængighedskort

Ada adskiller det, en pakke lover (.ads), fra hvordan den gør det (.adb). Det er god ingeniørkunst, og det betyder også, at én ændring berører flere filer, som en tekstsøgning ikke forbinder for dig. Langlivede Ada-systemer tilføjer endnu et lag: generics, taggede typer, tasks og beskyttede objekter, hvis relationer betyder mere end nogen enkelt fil.

Maguyva giver agenten det afhængighedskort, før den foreslår en ændring, hvilket er præcis den rækkefølge, et review med høj integritet forventer.

Hvad Maguyva udtrækker i Ada

Maguyva dækker .ads, .adb og .ada. Underprogramkroppe samt procedure- og funktionsspecifikationer udtrækkes som kaldbare symboler, så både specifikationen og kroppen for en rutine er søgbare. Symbolmatchningen skelner ikke mellem store og små bogstaver, ligesom Ada selv.

Importer kommer fra with- og use-klausuler; nøgleordet fjernes, så grafen gemmer pakkenavnet. Grafen registrerer også kald, nedarvning og overskrivninger på taggede typer, instansiering, typereferencer, læsninger og skrivninger samt kanter for at kaste og håndtere undtagelser.

I strukturel søgning kan task-typer, beskyttede typer, posttyper og interfacetyper vælges som typedefinitioner og entry-kroppe som metoder.

Eksempler på prompts til agenter

• “Hvilke enheder afhænger af Flight_Control.Sensors, og hvilke af dens underprogrammer kalder de?” (dependency_search incoming)
• “Vis specifikationen og kroppen for Compute_Trajectory og alle, der kalder den.” (find_symbol)
• “Forklar, hvordan telemetri-tasken afleverer data til det beskyttede logningsobjekt.” (get_task_context)

Kendte begrænsninger

• Ada bruger samme syntaks til visse kald, adgang til postfelter og indeksering. Maguyva filtrerer indbyggede typer, pakker i standardbiblioteket, attributfunktioner og operatorer (omkring 113 mønstre) for at holde kaldgrafen ren, så kald til standardbiblioteket bliver ikke kanter i grafen. Adgang til postfelter og indeksering skelnes fra kald ud fra deres placering i grammatikken, ikke ud fra en liste over feltnavne. Almindelige tekst-I/O-kald som Put_Line, Put og Get bevares med vilje.
• use-klausuler ændrer synligheden, men vælges ikke som importer i strukturel søgning; det gør with-klausuler.
• Noder for post- og interfacetyper kan være anonyme fragmenter, så navnebaserede strukturelle forespørgsler kan overse dem. Brug find_symbol til navngivne typer.

Næste skridt

Tilslut et repository med hurtigstarten, og se derefter understøttelsesmatricen på kompatibilitetssiden. Hvis din Ada-kode binder til C, så læs også guiden til C.