thvnx/libadalang-tools

Libadalang-based tools

Libadalang-tools

This repository hosts sources for several Libadalang-based development tools for Ada:

• gnatpp, a pretty-printer to reformat source code.

• gnatmetric, which can compute various source code metrics, such as SLOC count.

• gnatstub, which creates body stub (empty but compilable bodies) for library unit declarations.

• gnattest, which creates creates unit-test skeletons as well as a test driver infrastructure.

These are currently under development.

Build

In order to build these tools, first build and install Libadalang. Note that in order to build this repository's master branch, you should use Libadalang and Langkit's stable branches. Then, just run from this directory:

make

This will build the various tools as statically linked programs in the bin directory.

Testing

The testsuite framework depends on GNATpython: please install it first. Put the bin subdirectory on your PATH. Then run:

testsuite/testsuite.py

This will run all testcases and display a summary of passed/failed tests. See [testsuite/README.rst](the testsuite README) for more detailed instructions.

License

All source files in this repository are licensed under the terms of the GNU General Public License version 3 (GPLv3). See the LICENSE file for more information.