From 0e46d41a50e1425f83fae2332f4a4fcdd9cdee57 Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Mon, 1 May 2023 14:43:34 +0200 Subject: [PATCH] Java: Fix some autoformatting. --- java/ql/src/t.ql | 27 ++++++++++++--------------- 1 file changed, 12 insertions(+), 15 deletions(-) diff --git a/java/ql/src/t.ql b/java/ql/src/t.ql index 3dfab05f39b..8d2d3fa8c2e 100644 --- a/java/ql/src/t.ql +++ b/java/ql/src/t.ql @@ -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