Skip to content

Commit 51dfb31

Browse files
committed
Java: autoformat
1 parent ac33796 commit 51dfb31

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowDispatch.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,7 @@ private import semmle.code.java.dispatch.internal.Unification
99

1010
private module DispatchImpl {
1111
private predicate hasHighConfidenceTarget(Call c) {
12-
exists(SummarizedCallable sc |
13-
sc.getACall() = c and not sc.isAutoGenerated()
14-
)
12+
exists(SummarizedCallable sc | sc.getACall() = c and not sc.isAutoGenerated())
1513
or
1614
exists(Callable srcTgt |
1715
srcTgt = VirtualDispatch::viableCallable(c) and

java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImplSpecific.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,9 @@ private boolean isGenerated(string provenance) {
6464
* `input`, output specification `output`, kind `kind`, and a flag `generated`
6565
* stating whether the summary is autogenerated.
6666
*/
67-
predicate summaryElement(SummarizedCallableBase c, string input, string output, string kind, boolean generated) {
67+
predicate summaryElement(
68+
SummarizedCallableBase c, string input, string output, string kind, boolean generated
69+
) {
6870
exists(
6971
string namespace, string type, boolean subtypes, string name, string signature, string ext,
7072
string provenance

0 commit comments

Comments
 (0)