Java: Autoformat

aschackmull · aschackmull · commit 4633abe19e95 · 2023-06-09T08:37:35.000+02:00
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
@@ -194,9 +194,7 @@ class DataFlowType extends SrcRefType {
 }
 
 pragma[nomagic]
-predicate typeStrongerThan(DataFlowType t1, DataFlowType t2) {
-  t1.getASourceSupertype+() = t2
-}
+predicate typeStrongerThan(DataFlowType t1, DataFlowType t2) { t1.getASourceSupertype+() = t2 }
 
 pragma[noinline]
 DataFlowType getNodeType(Node n) {

Original file line number	Diff line number	Diff line change
`@@ -194,9 +194,7 @@ class DataFlowType extends SrcRefType {`
`194`	`194`	`}`
`195`	`195`
`196`	`196`	`pragma[nomagic]`
`197`		`-predicate typeStrongerThan(DataFlowType t1, DataFlowType t2) {`
`198`		`- t1.getASourceSupertype+() = t2`
`199`		`-}`
	`197`	`+predicate typeStrongerThan(DataFlowType t1, DataFlowType t2) { t1.getASourceSupertype+() = t2 }`
`200`	`198`
`201`	`199`	`pragma[noinline]`
`202`	`200`	`DataFlowType getNodeType(Node n) {`