Ada у Maguyva: специфікації, тіла та графи пакетів

Чому репозиторіям на Ada потрібна карта залежностей

Ada відокремлює те, що пакет обіцяє (.ads), від того, як він це виконує (.adb). Це добра інженерія, і водночас одна зміна зачіпає кілька файлів, які текстовий пошук за вас не пов’яже. Довговічні системи на Ada додають ще один шар: узагальнення, тегові типи, задачі й захищені об’єкти, зв’язки між якими важливіші за будь-який окремий файл.

Maguyva дає агентові цю карту залежностей до того, як він запропонує правку, — саме в тому порядку, якого очікує рев’ю високої надійності.

Що Maguyva витягує з Ada

Maguyva охоплює .ads, .adb і .ada. Тіла підпрограм, а також специфікації процедур і функцій витягуються як символи, що викликаються, тож шукати можна і специфікацію процедури, і її тіло. Зіставлення символів не враховує регістр — як і сама Ada.

Імпорти будуються з речень with і use; ключове слово вилучається, і в графі зберігається назва пакета. Граф також фіксує виклики, успадкування й перевизначення для тегових типів, створення екземплярів, посилання на типи, читання й записи, а також ребра збудження та обробки винятків.

У структурному пошуку типи задач, захищені типи, типи записів та інтерфейсні типи можна вибрати як визначення типів, а тіла входів — як методи.

Приклади промптів для агентів

• «Які модулі залежать від Flight_Control.Sensors і які його підпрограми викликають?» (dependency_search incoming)
• «Покажи специфікацію й тіло Compute_Trajectory та всіх, хто їх викликає.» (find_symbol)
• «Поясни, як задача телеметрії передає дані захищеному об’єкту журналювання.» (get_task_context)

Відомі обмеження

• В Ada частина викликів, звернення до полів записів та індексація мають однаковий синтаксис. Щоб граф викликів лишався чистим, Maguyva фільтрує вбудовані типи, пакети стандартної бібліотеки, функції атрибутів і оператори (близько 113 шаблонів), тож виклики стандартної бібліотеки не стають ребрами графа. Звернення до полів записів та індексацію відрізняють від викликів за їхньою позицією в граматиці, а не за списком назв полів. Поширені виклики текстового введення-виведення, як-от Put_Line, Put і Get, зберігаються навмисно.
• Речення use змінюють видимість, але в структурному пошуку не вибираються як імпорти; речення with — вибираються.
• Вузли типів записів та інтерфейсів можуть бути анонімними фрагментами, тому структурні запити за назвою можуть їх пропустити. Для іменованих типів використовуйте find_symbol.

Наступні кроки

Під’єднайте репозиторій за швидким стартом, потім перегляньте матрицю підтримки на сторінці сумісності. Якщо ваш код на Ada пов’язаний із C, прочитайте також посібник із C.