Ada v Maguyva: specifikace, těla a grafy balíčků

Proč repozitáře v Adě potřebují mapu závislostí

Ada odděluje to, co balíček slibuje (.ads), od toho, jak to plní (.adb). Je to dobré inženýrství a zároveň to znamená, že jedna změna zasáhne několik souborů, které za vás textové vyhledávání nepropojí. Dlouhodobé systémy v Adě přidávají další vrstvu: generika, tagované typy, úlohy a chráněné objekty, jejichž vazby jsou důležitější než jakýkoli jednotlivý soubor.

Maguyva dá agentovi tuto mapu závislostí dřív, než navrhne úpravu, tedy přesně v pořadí, které revize s vysokou integritou očekává.

Co Maguyva v Adě extrahuje

Maguyva pokrývá .ads, .adb a .ada. Těla podprogramů i specifikace procedur a funkcí se extrahují jako volatelné symboly, takže lze vyhledat specifikaci i tělo rutiny. Porovnávání symbolů nerozlišuje velikost písmen, stejně jako samotná Ada.

Importy vznikají z klauzulí with a use; klíčové slovo se odstraní, takže graf uchovává název balíčku. Graf zaznamenává také volání, dědičnost a přepisy u tagovaných typů, vytváření instancí, odkazy na typy, čtení a zápisy a hrany vyvolání a ošetření výjimek.

Ve strukturním vyhledávání lze typy úloh, chráněné typy, typy záznamů a typy rozhraní vybrat jako definice typů a těla vstupů jako metody.

Ukázkové prompty pro agenty

• „Které jednotky závisejí na Flight_Control.Sensors a které jeho podprogramy volají?“ (dependency_search incoming)
• „Ukaž specifikaci a tělo Compute_Trajectory a všechny volající.“ (find_symbol)
• „Vysvětli, jak úloha telemetrie předává data chráněnému objektu pro logování.“ (get_task_context)

Známá omezení

• Ada používá stejnou syntaxi pro některá volání, přístup k položkám záznamů a indexování. Maguyva filtruje vestavěné typy, balíčky standardní knihovny, atributové funkce a operátory (přibližně 113 vzorů), aby graf volání zůstal čistý, takže volání standardní knihovny nejsou hranami grafu. Přístup k položkám záznamů a indexování se od volání rozlišují podle své pozice v gramatice, nikoli podle seznamu názvů položek. Běžná volání textového vstupu a výstupu jako Put_Line, Put a Get se záměrně zachovávají.
• Klauzule use mění viditelnost, ale ve strukturním vyhledávání se jako importy nevybírají; klauzule with ano.
• Uzly typů záznamů a rozhraní mohou být anonymní fragmenty, takže je strukturní dotazy podle názvu mohou minout. Pro pojmenované typy použijte find_symbol.

Další kroky

Připojte repozitář podle rychlého startu a pak si prohlédněte matici podpory na stránce kompatibility. Pokud se váš kód v Adě propojuje s C, přečtěte si i průvodce jazykem C.