Skip to content

Commit cd4b1db

Browse files
committed
lkql_checker: rename Gnatcheck_Error_Handler to Lkql_Checker_Error_Handler
1 parent 7abf950 commit cd4b1db

File tree

2 files changed

+7
-6
lines changed

2 files changed

+7
-6
lines changed

lkql_checker/src/lkql_checker-options.adb

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,12 +12,13 @@ package body Lkql_Checker.Options is
1212
-- Opt_Parse error handling --
1313
------------------------------
1414

15-
procedure Warning (Self : in out Gnatcheck_Error_Handler; Msg : String) is
15+
procedure Warning (Self : in out Lkql_Checker_Error_Handler; Msg : String)
16+
is
1617
begin
1718
Warning (Msg);
1819
end Warning;
1920

20-
procedure Error (Self : in out Gnatcheck_Error_Handler; Msg : String) is
21+
procedure Error (Self : in out Lkql_Checker_Error_Handler; Msg : String) is
2122
begin
2223
Error (Msg);
2324
end Error;

lkql_checker/src/lkql_checker-options.ads

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -192,11 +192,11 @@ package Lkql_Checker.Options is
192192
-- Opt_Parse integration --
193193
---------------------------
194194

195-
type Gnatcheck_Error_Handler is new Error_Handler with null record;
195+
type Lkql_Checker_Error_Handler is new Error_Handler with null record;
196196
subtype Max_Diagnoses_Count is Natural range 0 .. 1000;
197197

198-
procedure Warning (Self : in out Gnatcheck_Error_Handler; Msg : String);
199-
procedure Error (Self : in out Gnatcheck_Error_Handler; Msg : String);
198+
procedure Warning (Self : in out Lkql_Checker_Error_Handler; Msg : String);
199+
procedure Error (Self : in out Lkql_Checker_Error_Handler; Msg : String);
200200

201201
function Jobs_Convert (Arg : String) return Natural;
202202
function Project_Verbosity_Convert (Arg : String) return Natural;
@@ -211,7 +211,7 @@ package Lkql_Checker.Options is
211211
Incremental => True,
212212
Generate_Help_Flag => False,
213213
Custom_Error_Handler =>
214-
Create (Gnatcheck_Error_Handler'(null record)),
214+
Create (Lkql_Checker_Error_Handler'(null record)),
215215
Print_Help_On_Error => False);
216216

217217
package Version is new

0 commit comments

Comments
 (0)