Maguyva 的 Ada 支持：规格、实现体与包依赖图谱

为什么 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 等常用文本 I/O 调用是特意保留的。
• use 子句会改变可见性，但在结构搜索中不会被选为导入；with 子句会。
• 记录类型和接口类型的节点可能是匿名片段，因此基于名称的结构查询可能会漏掉它们。查找具名类型请使用 find_symbol。

后续步骤

通过快速入门连接仓库，然后在兼容性页面查看支持矩阵。如果你的 Ada 代码与 C 绑定，也请阅读 C 指南。