Merge branch 'mr/pmderodat/refactorings' into 'master'

Minor refactorings

See merge request eng/das/cov/gnatcoverage!358

For https://gitlab.adacore-it.com/eng/das/cov/gnatcoverage/-/issues/166

Author: pmderodat

testsuite/tests/integrated_instrumentation/basic_cmake/main.c

@@ -1,8 +1,8 @@
 #include <stdio.h>
 
 int
-main()
+main ()
 {
-  printf("Hello world!\n");
+  printf ("Hello world!\n");
   return 0;
 }

tools/gnatcov/instrument-clean_objdirs.adb

@@ -20,7 +20,6 @@ with Ada.Directories;       use Ada.Directories;
 
 with GNATCOLL.Projects; use GNATCOLL.Projects;
 
-with Command_Line;      use Command_Line;
 with Instrument.Common; use Instrument.Common;
 with Project;
 
@@ -63,7 +62,7 @@ begin
    --  through extended projects, as their object directories can interfere
    --  with the build of the extending project.
 
-   if not Args.Bool_Args (Opt_Save_Temps) then
+   if not Save_Temps then
       Project.Iterate_Projects
         (Root_Project     => Project.Project.Root_Project,
          Process          => Clean_Subdir'Access,

tools/gnatcov/instrument-projects.adb

@@ -1478,7 +1478,7 @@ begin
       end loop;
    end;
 
-   if not Args.Bool_Args (Opt_Save_Temps) then
+   if not Save_Temps then
       Ada.Directories.Delete_File (+IC.Sources_Of_Interest_Response_File);
       Ada.Directories.Delete_File (+IC.Ada_Preprocessor_Data_File);
    end if;

tools/gnatcov/project.adb

@@ -30,7 +30,6 @@ with GNATCOLL.Traces;
 with GNATCOLL.Projects.Aux;
 with GNATCOLL.VFS; use GNATCOLL.VFS;
 
-with Command_Line;        use Command_Line;
 with GNATcov_RTS.Buffers; use GNATcov_RTS.Buffers;
 with Inputs;              use Inputs;
 with Instrument;          use Instrument;
@@ -1629,7 +1628,7 @@ package body Project is
 
    procedure Finalize is
    begin
-      if Prj_Tree /= null and then not Args.Bool_Args (Opt_Save_Temps) then
+      if Prj_Tree /= null and then not Save_Temps then
          GNATCOLL.Projects.Aux.Delete_All_Temp_Files (Prj_Tree.Root_Project);
       end if;
    end Finalize;