Java: Autoformat

Author: aschackmull

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

@@ -595,19 +595,23 @@ private module Cached {
       // signature predicate guardChecksSig(Guards::Guard g, Expr e, Guards::GuardValue gv, P param);
       signature predicate guardChecksSig(Guards::Guard g, Expr e, boolean branch, P param);
     }
+
     cached // nothing is actually cached
     module ParameterizedBarrierGuard<ParamSig P, WithParam<P>::guardChecksSig/4 guardChecks> {
       // private predicate guardChecksAdjTypes(Guards::Guards_v3::Guard g, Expr e, Guards::GuardValue gv, P param) {
       //   guardChecks(g, e, gv, param)
       // }
-      private predicate guardChecksAdjTypes(Guards::Guards_v3::Guard g, Expr e, boolean branch, P param) {
+      private predicate guardChecksAdjTypes(
+        Guards::Guards_v3::Guard g, Expr e, boolean branch, P param
+      ) {
         guardChecks(g, e, branch, param)
       }
 
       private predicate guardChecksWithWrappers(
         DataFlowIntegrationInput::Guard g, Definition def, Guards::GuardValue val, P param
       ) {
-        Guards::Guards_v3::ValidationWrapperWithState<P, guardChecksAdjTypes/4>::guardChecksDef(g, def, val, param)
+        Guards::Guards_v3::ValidationWrapperWithState<P, guardChecksAdjTypes/4>::guardChecksDef(g,
+          def, val, param)
       }
 
       private Node getABarrierNodeImpl(P param) {