Port variant | standard |
Summary | High-performance semantic engine for Ada |
BROKEN | |
Package version | 24.0.0,1 |
Homepage | https://github.com/AdaCore/libadalang |
Keywords | lang, devel |
Maintainer | John Marino |
License | APACHE20 |
Other variants | There are no other variants. |
Ravenports | Buildsheet | History |
Ravensource | Port Directory | History |
Last modified | 25 APR 2024, 12:19:55 UTC |
Port created | 17 JUL 2017, 16:13:54 UTC |
complete | This is the libadalang-standard metapackage. It pulls in all subpackages of libadalang-standard. |
primary | Libadalang is a project to build a high performance semantic engine for the Ada programming language. It is meant to provide a basis to write Ada tooling, including tools working on potentially changing and incorrect code, such as IDEs. Its goals encompass, but are not limited to: * Full support for parsing the Ada 2012 syntax, plus SPARK extensions. * Error tolerant parsing: the parser must be able to recover from simple errors and provide a "best-guess" tree. * Error tolerant semantic analysis: it must be possible to create a tool that works only on syntax, and completely ignores semantic issues. * Full symbol resolution respecting Ada 2012 - and prior - semantics. * Bindings to a variety of languages, including Ada, C, Python and Java, so that tools can be written from various ecosystems. * Incremental processing of source files. |
dev | This is the developer subpackage of the libadalang-standard port. It may contain headers, pc files, static and PIC libraries and SO links. |
tools | This package contains tools based on the Ada language library. |
main | mirror://GITHUB/AdaCore:libadalang:v24.0.0 |
ada_language_server:standard | Microsoft Language Server Protocol for Ada |
gnatstudio:standard | Multilanguage IDE for Ada, SPARK, C/C++, and more |
gpr-unit-provider:standard | Unit provider for Libadalang |
gpr2tools:standard | Tools based on GPR2 library |
lal-refactor:standard | Collection of Ada source code refactoring tools |
libadalang-tools:standard | Development tools based on libadalang |