11 Commits

Author	SHA1	Message	Date
Hugo Guerrier	a390ac4e37	Add diagnostics to the project manager when opening a GPR project	2023-12-08 11:40:48 +00: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