LKQL Libadalang和Langkit的查询语言。允许使用自定义设计的称为LKQL的查询语言在Ada代码库上运行查询。 语法目前尚不稳定。 高层概述 ：包含： LKQL解析器的Langkit语言定义 LKQL解释器的实现（在 ）。嵌入LKQL解释器仅需要使用lkql项目。 解释器的命令行应用程序 ：LKQL命令行检查器。可以运行“检查”，以标记给定Ada代码库中的特定代码行。 建造与使用 先决条件 您需要在适当的路径中提供所有可用的GNAT，langkit和libadalang。