Skip to content

Commit 0fe81ba

Browse files
committed
Apply 'gnatformat' to GNATcheck sources
1 parent 0621d40 commit 0fe81ba

27 files changed

+3277
-2885
lines changed

lkql_checker/src/checker_app.ads

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,18 +11,19 @@ with Libadalang.Analysis; use Libadalang.Analysis;
1111
with Rules_Factory; use Rules_Factory;
1212

1313
-- TODO: Factor into another package, check what is dead. See #190
14+
1415
package Checker_App is
1516

1617
package LK renames Langkit_Support.Generic_API.Analysis;
1718
package LKI renames Langkit_Support.Generic_API.Introspection;
1819

19-
type Rules_By_Kind_Array
20-
is array (LKI.Any_Type_Index range <>) of Rule_Vector;
20+
type Rules_By_Kind_Array is
21+
array (LKI.Any_Type_Index range <>) of Rule_Vector;
2122

2223
type Rules_By_Kind is access all Rules_By_Kind_Array;
2324

2425
type Lkql_Context is record
25-
Analysis_Ctx : Analysis_Context;
26+
Analysis_Ctx : Analysis_Context;
2627
LKQL_Analysis_Context : L.Analysis_Context;
2728

2829
Cached_Rules : Rules_By_Kind := null;

0 commit comments

Comments
 (0)