@@ -80,15 +80,15 @@ package body Lkql_Checker.Projects is
8080 -- GPR2 messages reporter --
8181 -- --------------------------
8282
83- type Gnatcheck_Reporter is new GPR2.Reporter.Object with null record ;
83+ type Lkql_Checker_Reporter is new GPR2.Reporter.Object with null record ;
8484
8585 overriding
8686 procedure Internal_Report
87- (Self : in out Gnatcheck_Reporter ; Message : GPR2.Message.Object);
87+ (Self : in out Lkql_Checker_Reporter ; Message : GPR2.Message.Object);
8888
8989 overriding
9090 function Verbosity
91- (Self : Gnatcheck_Reporter ) return GPR2.Reporter.Verbosity_Level
91+ (Self : Lkql_Checker_Reporter ) return GPR2.Reporter.Verbosity_Level
9292 is (case Arg.Project_Verbosity.Get is
9393 when 0 => GPR2.Reporter.No_Warnings,
9494 when 1 => GPR2.Reporter.Regular,
@@ -97,14 +97,14 @@ package body Lkql_Checker.Projects is
9797
9898 overriding
9999 function User_Verbosity
100- (Self : Gnatcheck_Reporter ) return GPR2.Reporter.User_Verbosity_Level
100+ (Self : Lkql_Checker_Reporter ) return GPR2.Reporter.User_Verbosity_Level
101101 is (case Arg.Project_Verbosity.Get is
102102 when 0 => GPR2.Reporter.Important_Only,
103103 when 1 => GPR2.Reporter.Regular,
104104 when 2 => GPR2.Reporter.Verbose,
105105 when others => raise Constraint_Error with " should not happen" );
106106
107- Gpr2_Reporter : Gnatcheck_Reporter ;
107+ Gpr2_Reporter : Lkql_Checker_Reporter ;
108108 -- Make libgpr2 report messages using the proper ``Lkql_Checker.Output``
109109 -- API.
110110
@@ -118,7 +118,7 @@ package body Lkql_Checker.Projects is
118118
119119 overriding
120120 procedure Internal_Report
121- (Self : in out Gnatcheck_Reporter ; Message : GPR2.Message.Object) is
121+ (Self : in out Lkql_Checker_Reporter ; Message : GPR2.Message.Object) is
122122 begin
123123 -- Check if the message is reporting about a missing file
124124 if not Missing_File_Detected
0 commit comments