hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix typeParametersInScope consistency query

Browse Source 
The selection of type variables mentioned in a particular class previously didn't work as intended, so the consistency query would always pass.
This commit is contained in:
Chris Smowton
2022-05-09 14:59:20 +01:00
parent fff70da650
commit d291e0cf10
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/consistency-queries/typeParametersInScope.ql
View File

@@ -36,5 +36,5 @@ TypeVariable getATypeVariableInScope(RefType type) {
from ClassOrInterface typeUser, TypeVariable outOfScope
where
outOfScope = getAMentionedType(typeUser) and not outOfScope = getATypeVariableInScope(typeUser)
outOfScope = getATypeUsedInClass(typeUser) and not outOfScope = getATypeVariableInScope(typeUser)
select "Type " + typeUser + " uses out-of-scope type variable " + outOfScope