Java: Fix formatting of AutomodelVsCode.qll file

This commit is contained in:
Koen Vlaswinkel 2023-09-13 14:54:03 +02:00
Родитель 95296f1518
Коммит 0434cce4c3
1 изменённых файлов: 1 добавлений и 3 удалений

Просмотреть файл

@ -93,9 +93,7 @@ class CallableMethod extends Callable {
/** Holds if this API is a known neutral. */ /** Holds if this API is a known neutral. */
pragma[nomagic] pragma[nomagic]
predicate isNeutral() { predicate isNeutral() {
exists( exists(string namespace, string type, string name, string signature |
string namespace, string type, string name, string signature
|
neutralModel(namespace, type, name, signature, _, _) and neutralModel(namespace, type, name, signature, _, _) and
this = interpretElement(namespace, type, false, name, signature, "") this = interpretElement(namespace, type, false, name, signature, "")
) )