Laurent Thévenoux
ca07fe6c69
Adapt Java API to the generic LangkitSupport interface
...
So that the Libadalang Java API can be used through the genericized
LangkitSupport interface.
2025-06-25 11:45:16 +00:00
Hugo Guerrier
eb480eb42d
Add 'ada_only' support in the Java API
2024-10-10 10:06:21 +00:00
Pierre-Marie de Rodat
210f039cc6
C/Python/OCaml APIs: bind GPR2's autoconf language restriction to Ada
2024-09-06 08:00:19 +00:00
Hugo Guerrier
6490b69c1e
Add support for .cgpr files into GPR project handling
2024-05-29 13:28:57 +00:00
Hugo Guerrier
2cbfad0e0f
Create a 'gpr_project_load_implicit' to load '_default.gpr'
2024-03-11 14:52:21 +00:00
Hugo Guerrier
86e73ed1c4
Add diagnostics to the project manager when opening a GPR project
2023-10-16 15:23:56 +02:00
Pierre-Marie de Rodat
74a8b2be19
Java API: bind Libadalang.Config_Pragmas.Set_Mappings
2023-08-14 08:35:57 +00:00
Pierre-Marie de Rodat
96a707bda5
Java: fix error handling in ProjectManager.getFiles()
2023-08-01 15:33:16 +00:00
Pierre-Marie de Rodat
d8747df401
Java API: bind Create_Context_From_Project
2023-08-01 15:31:33 +00:00
Romain Beguet
67484cbe5f
Java bindings: add support for subprojects in getProvider.
...
This also removes the unit provider cache in Java bindings' ProjectManager, as
it is now possible for a single ProjectManager to have multiple different providers.
It's not clear why this cache was added in the first place anyway.
2023-07-31 10:31:15 +00:00
Romain Beguet
c1398cba63
Java bindings: Add support for subprojects in getFiles.
2023-07-31 10:31:15 +00:00
Pierre-Marie de Rodat
8790193374
extensions/java_api: add syntax highlighting directives for Vim
2023-07-27 14:48:33 +00:00
Romain Beguet
397fed3115
Implement auto provider in Java bindings.
2023-06-27 14:55:19 +00:00
Hugo Guerrier
c03fab19b5
Correct a segfault during the project openening due to late result access
2023-06-22 12:06:04 +02:00
Hugo GUERRIER
bdf163d756
Add the scenario variables support in the Java bindings
2023-05-24 10:55:29 +00:00
Hugo GUERRIER
24c8334c0d
Add the Java API in the extensions
2023-04-12 17:11:07 +02:00
