Merge branch 'topic/rules/fix_overriding_indicators' into 'master'

HugoGGuerrier · HugoGGuerrier · commit 85f111e35172 · 2025-07-16T12:44:48.000Z
Fix the 'overriding_indicators' rule

See merge request eng/libadalang/langkit-query-language!511
diff --git a/lkql_checker/share/lkql/overriding_indicators.lkql b/lkql_checker/share/lkql/overriding_indicators.lkql
@@ -86,7 +86,7 @@ fun overriding_indicators(node) =
     |"    end Foo;
     # Select primitives subprograms
     (
-        node is (BasicSubpDecl | BaseSubpBody) (f_overriding: OverridingUnspecified)
+        node is (ClassicSubpDecl | EntryDecl | BaseSubpBody) (f_overriding: OverridingUnspecified)
         when is_overriding_subprogram(node)
     )
 

Original file line number	Diff line number	Diff line change
`@@ -86,7 +86,7 @@ fun overriding_indicators(node) =`
`86`	`86`	`\|" end Foo;`
`87`	`87`	`# Select primitives subprograms`
`88`	`88`	`(`
`89`		`- node is (BasicSubpDecl \| BaseSubpBody) (f_overriding: OverridingUnspecified)`
	`89`	`+ node is (ClassicSubpDecl \| EntryDecl \| BaseSubpBody) (f_overriding: OverridingUnspecified)`
`90`	`90`	`when is_overriding_subprogram(node)`
`91`	`91`	`)`
`92`	`92`