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

Java: Use don't care expression for kind and provenance

Browse Source
This commit is contained in:
Koen Vlaswinkel
2023-09-13 14:45:47 +02:00
parent 7db082f3fd
commit 95296f1518
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/src/utils/modeleditor/AutomodelVsCode.qll
View File

@@ -94,9 +94,9 @@ class CallableMethod extends Callable {
pragma[nomagic]
predicate isNeutral() {
exists(
string namespace, string type, string name, string signature, string kind, string provenance
string namespace, string type, string name, string signature
|
neutralModel(namespace, type, name, signature, kind, provenance) and
neutralModel(namespace, type, name, signature, _, _) and
this = interpretElement(namespace, type, false, name, signature, "")
)
}