Java: Fix some autoformatting.

This commit is contained in:
Michael Nebel
2023-05-01 14:43:34 +02:00
parent 550693bb9a
commit 0e46d41a50

View File

@@ -1,23 +1,20 @@
import java
import semmle.code.java.dataflow.ExternalFlowConfiguration
string kind() {
result = [
"remote",
"local",
"android",
"sql",
"android-external-storage-dir",
"standard",
"expansive",
"hucairz",
"request",
"response",
]
result =
[
"remote", "local", "android", "sql", "android-external-storage-dir", "standard", "expansive",
"hucairz", "request", "response",
]
}
from string a, string b
where (a = kind())
and ((supportedSourceModel(a) and b = "YES") or (not supportedSourceModel(a) and b = "NO"))
where
a = kind() and
(
supportedSourceModel(a) and b = "YES"
or
not supportedSourceModel(a) and b = "NO"
)
select a, b