Skip to content

Commit 95296f1

Browse files
committed
Java: Use don't care expression for kind and provenance
1 parent 7db082f commit 95296f1

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

java/ql/src/utils/modeleditor/AutomodelVsCode.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -94,9 +94,9 @@ class CallableMethod extends Callable {
9494
pragma[nomagic]
9595
predicate isNeutral() {
9696
exists(
97-
string namespace, string type, string name, string signature, string kind, string provenance
97+
string namespace, string type, string name, string signature
9898
|
99-
neutralModel(namespace, type, name, signature, kind, provenance) and
99+
neutralModel(namespace, type, name, signature, _, _) and
100100
this = interpretElement(namespace, type, false, name, signature, "")
101101
)
102102
}

0 commit comments

Comments
 (0)