From d4cfa8c2b884c0ea87df2f0da399020563ab729e Mon Sep 17 00:00:00 2001 From: Asger F Date: Mon, 28 Aug 2023 15:35:06 +0200 Subject: [PATCH] Java: autoformatting changes --- .../java/dataflow/internal/DataFlowPrivate.qll | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll index c575c8732b2..07ad25490a1 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll @@ -150,14 +150,20 @@ class CapturedParameter = CaptureInput::CapturedParameter; module CaptureFlow = VariableCapture::Flow; private CaptureFlow::ClosureNode asClosureNode(Node n) { - result = n.(CaptureNode).getSynthesizedCaptureNode() or - result.(CaptureFlow::ExprNode).getExpr() = n.asExpr() or + result = n.(CaptureNode).getSynthesizedCaptureNode() + or + result.(CaptureFlow::ExprNode).getExpr() = n.asExpr() + or result.(CaptureFlow::ExprPostUpdateNode).getExpr() = - n.(PostUpdateNode).getPreUpdateNode().asExpr() or - result.(CaptureFlow::ParameterNode).getParameter() = n.asParameter() or - result.(CaptureFlow::ThisParameterNode).getCallable() = n.(InstanceParameterNode).getCallable() or + n.(PostUpdateNode).getPreUpdateNode().asExpr() + or + result.(CaptureFlow::ParameterNode).getParameter() = n.asParameter() + or + result.(CaptureFlow::ThisParameterNode).getCallable() = n.(InstanceParameterNode).getCallable() + or exprNode(result.(CaptureFlow::MallocNode).getClosureExpr()).(PostUpdateNode).getPreUpdateNode() = - n or + n + or exists(CaptureInput::VariableWrite write | result.(CaptureFlow::VariableWriteSourceNode).getVariableWrite() = write |