Skip to content

Commit 4bd8f77

Browse files
committed
Merge branch 'topic/448' into 'master'
Properly exit GNATCheck for wrong combination of parameters Closes #448 See merge request eng/libadalang/langkit-query-language!496
2 parents b8e506b + daea8f9 commit 4bd8f77

File tree

3 files changed

+17
-0
lines changed

3 files changed

+17
-0
lines changed

lkql_checker/src/gnatcheck-rules-rule_table.adb

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1786,6 +1786,13 @@ package body Gnatcheck.Rules.Rule_Table is
17861786

17871787
procedure Turn_All_Rules_On is
17881788
begin
1789+
if Arg.Emit_LKQL_Rule_File.Get then
1790+
Error
1791+
("cannot turn on all rules when --emit-lkql-rule-file"
1792+
& " option is enabled");
1793+
raise Gnatcheck.Options.Parameter_Error;
1794+
end if;
1795+
17891796
for Rule_Cursor in All_Rules.Iterate loop
17901797
declare
17911798
Rule : constant Rule_Info := All_Rules (Rule_Cursor);
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
testsuite_driver: No output file generated by gnatcheck
2+
gnatcheck: error: cannot turn on all rules when --emit-lkql-rule-file option is enabled
3+
try "gnatcheck --help" for more information.
4+
>>>program returned status code 2
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
driver: gnatcheck
2+
description: Test the error message when using '--emit-lkql-rule-file' with `+ALL` in the `-rules` section
3+
rules:
4+
- +ALL
5+
extra_args:
6+
- --emit-lkql-rule-file

0 commit comments

Comments
 (0)