Enhance 'forbidden in project file' error messages

Author: HugoGGuerrier

lkql_checker/src/gnatcheck-projects.adb

@@ -1254,15 +1254,16 @@ package body Gnatcheck.Projects is
       --  loop
       if Args_From_Project then
          declare
-            In_Project_Msg : constant String := "forbidden in project file";
+            In_Project_Msg : constant String :=
+              " is forbidden in project file";
          begin
-            Disallow (Arg.Aggregate_Subproject.This, In_Project_Msg);
-            Disallow (Arg.Project_File.This, In_Project_Msg);
-            Disallow (Arg.Transitive_Closure.This, In_Project_Msg);
-            Disallow (Arg.Scenario_Vars.This, In_Project_Msg);
-            Disallow (Arg.Follow_Symbolic_Links.This, In_Project_Msg);
-            Disallow (Arg.Rules.This, In_Project_Msg);
-            Disallow (Arg.Rule_File.This, In_Project_Msg);
+            Disallow (Arg.Aggregate_Subproject.This, "-A" & In_Project_Msg);
+            Disallow (Arg.Project_File.This, "-P" & In_Project_Msg);
+            Disallow (Arg.Transitive_Closure.This, "-U" & In_Project_Msg);
+            Disallow (Arg.Scenario_Vars.This, "-Xname=val" & In_Project_Msg);
+            Disallow (Arg.Follow_Symbolic_Links.This, "-eL" & In_Project_Msg);
+            Disallow (Arg.Rules.This, "-r" & In_Project_Msg);
+            Disallow (Arg.Rule_File.This, "--rule-file" & In_Project_Msg);
          end;
       end if;
 

testsuite/tests/gnatcheck/check_package/switches_attr/test.out

@@ -6,7 +6,7 @@ main.adb:3:04: goto statement [goto_statements]
 With a disallowed switch
 ========================
 
-gnatcheck: for option RULE - forbidden in project file
+gnatcheck: for option RULE - -r is forbidden in project file
 try "gnatcheck --help" for more information.
 >>>program returned status code 2