文件名称：langkit-query-language:Libadalang和Langkit的查询语言
文件大小：386KB
文件格式：ZIP
更新时间：2024-04-07 11:59:57
Ada
LKQL Libadalang和Langkit的查询语言。允许使用自定义设计的称为LKQL的查询语言在Ada代码库上运行查询。 语法目前尚不稳定。 高层概述 ：包含： LKQL解析器的Langkit语言定义 LKQL解释器的实现（在 ）。嵌入LKQL解释器仅需要使用lkql项目。 解释器的命令行应用程序 ：LKQL命令行检查器。可以运行“检查”，以标记给定Ada代码库中的特定代码行。 建造与使用 先决条件 您需要在适当的路径中提供所有可用的GNAT，langkit和libadalang。 建立步骤 建立LKQL是通过以下方式完成的 lkql/manage.py make 然后，您可以通过以下方式使LKQL可用（二进制文件，Ada库和Python库）： eval `lkql/manage.py setenv` LKQL检查器（基于lkql的线性）是单独构建的： gprbuild