@@ -147,11 +147,12 @@ package body Lkql_Checker.Diagnoses is
147147 -- provided by '--ignore=...' option - this list contains only the existing
148148 -- files that have been passed as tool argument sources.
149149
150- procedure Print_Gnatcheck_Command_Line (XML : Boolean := False);
151- -- Prints the gnatcheck command line. In case if gnatcheck has been
152- -- called from the GNAT driver, prints the call to the GNAT driver, but not
153- -- the gnatcheck call generated by the GNAT driver. If XML is ON, prints
154- -- the output into XML output file, otherwise - in the text output file.
150+ procedure Print_Command_Line (XML : Boolean := False);
151+ -- Prints the command line used to run this Lkql_Checker instance. In case
152+ -- it has been called from the GNAT driver, prints the call to the GNAT
153+ -- driver, but not the call generated by the GNAT driver. If XML is ON,
154+ -- prints the output into XML output file, otherwise in the text output
155+ -- file.
155156
156157 procedure Print_Out_Diagnoses ;
157158 -- Duplicates diagnoses about non-exempted rule violations, exemption
@@ -1587,10 +1588,10 @@ package body Lkql_Checker.Diagnoses is
15871588 end Print_File_List_File ;
15881589
15891590 -- --------------------------------
1590- -- Print_Gnatcheck_Command_Line --
1591+ -- Print_Command_Line --
15911592 -- --------------------------------
15921593
1593- procedure Print_Gnatcheck_Command_Line (XML : Boolean := False) is
1594+ procedure Print_Command_Line (XML : Boolean := False) is
15941595 begin
15951596 if XML then
15961597 XML_Report_No_EOL (Ada.Command_Line.Command_Name);
@@ -1607,7 +1608,7 @@ package body Lkql_Checker.Diagnoses is
16071608
16081609 Report_EOL;
16091610 end if ;
1610- end Print_Gnatcheck_Command_Line ;
1611+ end Print_Command_Line ;
16111612
16121613 -- --------------------------------
16131614 -- Print_Ignored_File_List_File --
@@ -1800,7 +1801,7 @@ package body Lkql_Checker.Diagnoses is
18001801 Report (Executable & " version : " & Version_String);
18011802
18021803 Report_No_EOL (" command line : " );
1803- Print_Gnatcheck_Command_Line ;
1804+ Print_Command_Line ;
18041805
18051806 Report_No_EOL (" runtime : " );
18061807 Print_Runtime;
@@ -1824,7 +1825,7 @@ package body Lkql_Checker.Diagnoses is
18241825 Indent_Level => 1 );
18251826
18261827 XML_Report_No_EOL (" <command-line>" , Indent_Level => 1 );
1827- Print_Gnatcheck_Command_Line (XML => True);
1828+ Print_Command_Line (XML => True);
18281829 XML_Report (" </command-line>" );
18291830
18301831 XML_Report_No_EOL (" <runtime>" , Indent_Level => 1 );
0 commit comments