42 Commits

Author SHA1 Message Date
Laurent Thévenoux
74245a14be base_driver: add refiner to hide gprbuild search path info 2026-01-05 16:35:50 +01:00
Pierre-Marie de Rodat
db02456bd2 Java API: remove setConfigPragmasMapping
This method is unused in practice, so remove it to avoid the associated
maintainance cost.
2025-11-27 15:55:28 +00:00
Pierre-Marie de Rodat
f39ebe979e C/Python/OCaml/Java: bind all GPR loading options 2025-09-19 11:42:47 +00:00
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
Pierre-Marie de Rodat
0321c2d7c9 Update test baselines after a change in gprconfig 2025-03-12 16:37:46 +00:00
Pierre-Marie de Rodat
5b5219a9a3 Update baselines after error message changes in GPR2 2024-12-03 10:41:03 +00:00
Pierre-Marie de Rodat
90254fc629 Testsuite: canonicalize Unix/Windows output discrepancies 2024-11-19 15:22:04 +00:00
Pierre-Marie de Rodat
c1cacb1301 Project provider: give useful details with Unsupported_View_Error
This exception is raised when we find conflicting units an an aggregate
project. Enhance the exception message to incude the name of the
conflicting unit as well as two conflicting projects that include it.
2024-11-18 15:12:28 +00:00
Hugo Guerrier
3b7f79b71a Remove runtime SLOC from java API test baselines 2024-10-29 10:18:58 +00:00
Hugo Guerrier
6b31960cd1 Canonicalize target names in Java ProjectManager tests
Do this to avoid discrepancies in displayed target regarding the system the
testsuite is running on.
2024-10-14 14:59:18 +02:00
Pierre-Marie de Rodat
48f1248dc0 Hide the sloc range for nodes in the Standard unit from Image 2024-10-11 09:37:52 +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
103ea5c9e8 java_api/project_manager: rework configuration project checks
Upcoming infrastructure work (use "gcc" instead of "gnat" for testing)
will make the light runtime unavailable to the testsuite. Replace the
Java API checks that involve this runtime with checks that exercise
other tunings available in CGPR files (in particular here: the source
file naming convention).
2024-08-22 09:53:21 +00:00
Pierre-Marie de Rodat
bac90fe847 Testsuite: rework the "testcase custom Python setup code" feature
That feature was specific to the Java API driver: this commit moves it
to the base driver class so that all tests can use it. Also rework it a
bit:

* Rename the YAML entry (`pre_python` -> `setup_script`).
* Avoid special cases for the shared environment (`subprocess`,
  `test_env`) and make only the test driver instance available (`self`)
  so that the code looks as if it was part of the test driver.

Update the two tests using it accordingly.
2024-08-22 09:00:26 +00:00
Pierre-Marie de Rodat
ce1af25ce3 Testsuite: ignore expected Unix/Windows output discrepancies
Recent GPR2 transition work triggered the inclusion of absolute project
file names in test outputs. Canonicalize directory separators to avoid
failures for the expected / versus \ diffs in relevant tests.
2024-08-21 12:02:38 +00:00
Pierre-Marie de Rodat
7c4459b84d C API: switch ada_gpr_project_* functions to GPR2
The implementation of all these functions is now backed by GPR2 instead
of GNATCOLL.Projects.
2024-08-20 08:08:38 +00:00
Pierre-Marie de Rodat
71fd1a5608 c_api/gpr_config_file: robustify testcase
The fact that there is no language in the project (due to the content of
empty.cgpr) is an error with GNATCOLL.Projects, but will not be with
GPR2. Rework the testcase so that the presence of the CGPR always
trigger an error.

Do a similar change in the corresponding Java API testcase.
2024-08-19 13:19:31 +00:00
Hugo Guerrier
6490b69c1e Add support for .cgpr files into GPR project handling 2024-05-29 13:28:57 +00:00
Remi SEGARD
ecdb795239 Change Array types in tests to native java arrays 2024-04-29 13:28:59 +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
9f6c877294 minor: Correct footer display 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
Hugo Guerrier
20241126a0 Adapt tests to new error kind naming for Java bindings
Consequence of preliminary work for internal errors support in
JGNATcheck.
2023-09-07 12:08:41 +02:00
Pierre-Marie de Rodat
f9b2b29394 Config pragmas: no error for queries on contexts with no mapping 2023-09-06 15:36:48 +00:00
Pierre-Marie de Rodat
06e6d03fa2 Testsuite: remove the --disable-native-image option
Now that the Graal API implementation is stable and tested on all
supported platforms, this option (meant to be temporary) is no longer
useful: remove it.
2023-09-06 07:54:50 +00:00