ada/langkit-query-language
0
0
Fork 0
mirror of https://github.com/AdaCore/langkit-query-language.git synced 2026-02-12 13:03:42 -08:00
Code Issues Packages Projects Releases Wiki Activity
3,551 Commits 21 Branches 0 Tags
master
Commit Graph

3551 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Hugo Guerrier
829022a7fa Merge branch 'topic/gnatcheck/exit_code' into 'master' 
Ensure GNATcheck exit code reflects internal errors

Closes eng/codepeer/gnatcheck#83

See merge request eng/libadalang/langkit-query-language!639
 2026-02-12 11:26:32 +00:00
Hugo Guerrier
1551e50360 Ensure exit code reflects internal errors 2026-02-12 11:12:08 +00:00
Laurent Thévenoux
c88c5ab368 Merge branch 'mr/thevenoux/gnatcheck#81' into 'master' 
Add detector for KP 19238

Closes eng/codepeer/gnatcheck#81

See merge request eng/libadalang/langkit-query-language!641
 2026-02-12 10:56:09 +00:00
Laurent Thévenoux
c8cdf5d798 Add detector for KP 19238 2026-02-12 10:40:59 +00:00
Killian Perlin
55ae0760d9 Merge branch 'topic/struct_support' into 'master' 
Support structs in the Lkt frontend

See merge request eng/libadalang/langkit-query-language!640
 2026-02-11 13:13:01 +00:00
Killian Perlin
8acc4dbce0 Add struct destructuring support 2026-02-10 10:59:29 +01:00
Killian Perlin
88a69ee293 Add struct instanciation support 2026-02-10 10:57:11 +01:00
Killian Perlin
ed72ac1a41 Refactor declaration building in LktPasses 2026-02-06 10:55:36 +01:00
Killian Perlin
20dc3ed4af minor: Fix typo 2026-02-06 10:55:36 +01:00
Killian Perlin
370a39e6d6 Change switch statements to switch expressions 
This makes the code leaner, gets rid of wrapping `{}` around most switch
cases and better reflects the idea of having one expression returned in
each branch.
 2026-02-06 10:55:36 +01:00
Killian Perlin
9cab8b04ea Implement property pattern lowering 2026-02-06 10:55:36 +01:00
Hugo Guerrier
98c314a6c8 Merge branch 'topic/gnatcheck/log_attribute' into 'master' 
Add a "Log" GPR attribute

See merge request eng/libadalang/langkit-query-language!632
 2026-02-06 08:42:30 +00:00
Hugo Guerrier
53c94963f3 Rework how GPR switches are processed to enable logging 
Before this patch, errors about errorneous switches weren't logged in
the GNATcheck ".log" file because is wasn't opened when error occured.
Now we open it just after the project processing to make sure everything
is correctly logged.
 2026-02-06 08:48:42 +01:00
Hugo Guerrier
a5767877c1 Disable '-log' switch in GPR 'Switches' 
Now there is a dedicated GPR attribute to set this behavior from a GPR
file.
 2026-02-06 08:48:42 +01:00
Hugo Guerrier
8e498d2388 minor: Fix a typo in a GPR attribute description 2026-02-06 08:48:02 +01:00
Hugo Guerrier
0558900718 Merge branch 'topic/gnatcheck/early_process_switches' into 'master' 
Avoid processing GPR file when "--help" or "--version" is provided

See merge request eng/libadalang/langkit-query-language!637
 2026-02-05 15:02:08 +00:00
Hugo Guerrier
5d9c624a96 Process help and version flags before GPR file 
Before this patch GNATcheck was processing the provided GPR file even if
only the version number or the help message were requested.
 2026-02-05 14:48:04 +00:00
Hugo Guerrier
ffa3ae7c51 minor: Remove trailing space in help message 2026-02-05 14:48:04 +00:00
Hugo Guerrier
21f6a0efe6 Merge branch 'topic/gnatcheck/empty_target_list' into 'master' 
Avoid crashes when 'gprbuild' return an empty target list

Closes eng/codepeer/gnatcheck#82

See merge request eng/libadalang/langkit-query-language!638
 2026-02-05 13:37:21 +00:00
Hugo Guerrier
1af173bb41 Avoid crashes when 'gprbuild' return an empty target list 2026-02-04 14:48:33 +01:00
Laurent Thévenoux
2dfd91dede Merge branch 'mr/thevenoux/gnatcheck#79' into 'master' 
Add detector for KP 20330

Closes eng/codepeer/gnatcheck#79

See merge request eng/libadalang/langkit-query-language!636
 2026-02-04 13:39:35 +00:00
Laurent Thévenoux
a6f2879ba4 Add detector for KP 20330 2026-02-04 13:24:47 +00:00
Killian Perlin
acb7b94ff8 Merge branch 'topic/update_docs' into 'master' 
Docs: Fix warnings after parser changes

Closes #601

See merge request eng/libadalang/langkit-query-language!629
 2026-02-02 16:49:17 +00:00
Killian Perlin
98dcb866da Update docs 
The docs was not up-to-date with the existing classes inside the
liblkqllang parser anymore, renamed the concerned classes to match the
new classes and fix warnings during doc generation.
 2026-02-02 16:26:12 +00:00
Hugo Guerrier
0befc97dc6 Merge branch 'topic/gnatcheck/forward_all_switches' into 'master' 
Foward all GPR  switches when spawning a worker

See merge request eng/libadalang/langkit-query-language!634
 2026-02-02 15:14:39 +00:00