formatting

This commit is contained in:
Stephan Brandauer
2023-05-04 17:27:27 +02:00
parent 36aabc077e
commit a616a786f0

View File

@@ -189,9 +189,7 @@ private class UnexploitableExistsCharacteristic extends CharacteristicsImpl::Not
not FrameworkCandidatesImpl::isSink(e, _) and
exists(Callable callable |
callable = getCallable(e) and
(
callable.getName().toLowerCase() = ["exists", "notexists"]
) and
callable.getName().toLowerCase() = ["exists", "notexists"] and
callable.getReturnType() instanceof BooleanType
)
}