Skip to content

Commit 107cbb2

Browse files
committed
guide users towards using exists(variable) in ql/override-any
1 parent 460eddd commit 107cbb2

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

ql/ql/src/queries/style/OverrideAny.ql

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,4 +37,5 @@ where
3737
exists(pred.getBody()) and
3838
not isSmallType(pred.getParent().(Class).getType()) and
3939
not isSmallType(paramType)
40-
select pred, "Override predicate doesn't mention $@.", param, name
40+
select pred, "Override predicate doesn't mention $@. Maybe mention it in a 'exists(" + name + ")'?",
41+
param, name

0 commit comments

Comments
 (0)