LKQL

Query language for Libadalang and Langkit. Allows to run queries on Ada codebase using a custom designed query language called LKQL.

The syntax is not stable for now.

High level overview

lkql/: Langkit language definition for the LKQL parser.

lkql_jit/: LKQL reference implementation using the Truffle Java framework.

GNATcheck and GNATkp have been moved to their own repository.

Building & using

Prerequisites

The preferred way to build and use LKQL is to use an ancr development environment, which installs all dependencies and sets up the environment:

git clone https://gitlab.adacore-it.com/eng/devenv/ancr
cd ancr
./bin/ancr build libadalang
./bin/ancr shell libadalang
cd langkit-query-language

Build steps

• Building LKQL can then be done via

make

• GNATcheck (the linter based on LKQL) is built separately and hosted in its own repository.

Running the testsuite

cd testsuite
# Run the testsuite, keep the temp results in tmp
python testsuite.py -dtmp

You can run the performance testsuite with the following command:

cd testsuite
python testsuite.py --perf-mode result.out [--perf-no-profile]

NOTE: You must checkout the libadalang internal testsuite in the testsuite/ada_projects directory to be able to run performances tests.

Adding a test

To add a test case in the testsuite you must follow the e3-testsuite standard. Moreover you have to annotate Ada flagged lines when using the checker driver. To annotate an Ada line as flagged you must follow this syntax:

   My_Function (My_Arg);  -- FLAG This line should be flagged by the test case

If a line is flagged multiple times by the test case you can use this syntax:

   My_Other_Function;  -- FLAG (2) This line should be flagged two times

If you want to ensure a line is not flagged by the test case you can use the NOFLAG annotation:

   Not_Flagged (My_Arg);  -- NOFLAG