spotless

Author: wadoon

key.core.testgen/src/main/java/de/uka/ilkd/key/testgen/OutputEnvironment.java

@@ -11,6 +11,7 @@
 
 /**
  * This class manages the different paths in the output folder.
+ *
  * @author Alexander Weigl
  * @version 1 (02.02.24)
  */
@@ -37,6 +38,7 @@ public Path getReadmeFile() {
 
     /**
      * Initialize/create the necessary directories.
+     *
      * @throws IOException if the output folder is not write or the folders can not be created.
      */
     public void init() throws IOException {
@@ -47,7 +49,8 @@ public void init() throws IOException {
 
     private void installAntFile() throws IOException {
         try (var buildXml = getClass().getResourceAsStream("/de/uka/ilkd/key/tcg/build.xml")) {
-            Files.copy(Objects.requireNonNull(buildXml), getAntFile(), StandardCopyOption.REPLACE_EXISTING);
+            Files.copy(Objects.requireNonNull(buildXml), getAntFile(),
+                StandardCopyOption.REPLACE_EXISTING);
         }
     }
 }

key.core.testgen/src/main/java/de/uka/ilkd/key/testgen/ProofInfo.java

@@ -51,10 +51,12 @@ public IProgramMethod getMUT() {
     @Nullable
     public String getMUTCall() {
         var m = getMUT();
-        if (m == null) return null;
+        if (m == null)
+            return null;
 
         var name = m.getFullName();
-        if (name == null) return null;
+        if (name == null)
+            return null;
 
         StringBuilder params = new StringBuilder();
         for (ParameterDeclaration p : m.getParameters()) {
@@ -92,7 +94,7 @@ public KeYJavaType getTypeOfClassUnderTest() {
 
     @Nullable
     public KeYJavaType getReturnType() {
-        var mut =  getMUT();
+        var mut = getMUT();
         return mut != null ? mut.getType() : null;
     }
 
@@ -118,7 +120,7 @@ public Term getPreConTerm() {
         if (c instanceof FunctionalOperationContract t) {
             OriginalVariables orig = t.getOrigVars();
             return t.getPre(services.getTypeConverter().getHeapLDT().getHeap(), orig.self,
-                    orig.params, orig.atPres, services);
+                orig.params, orig.atPres, services);
         }
         // no pre <==> false
         return services.getTermBuilder().ff();
@@ -208,7 +210,7 @@ private String processUpdate(Term update) {
                 return "";
             }
             return "   \n" + up.lhs().sort() + " " + up.lhs().toString() + " = " + update.sub(0)
-                    + ";";
+                + ";";
         }
         StringBuilder result = new StringBuilder();
         for (Term sub : update.subs()) {

key.core.testgen/src/main/java/de/uka/ilkd/key/testgen/TestgenFacade.java

@@ -27,8 +27,8 @@
 
 public record TestgenFacade(TestGenerationSettings settings) {
     public static Callable<Boolean> generateTestcasesTask(KeYEnvironment<?> env, Proof proof,
-                                                          TestGenerationSettings settings,
-                                                          TestGenerationLifecycleListener log) {
+            TestGenerationSettings settings,
+            TestGenerationLifecycleListener log) {
         return () -> {
             generateTestcases(env, proof, settings, log);
             return true;
@@ -43,15 +43,16 @@ public static Callable<Boolean> generateTestcasesTask(KeYEnvironment<?> env, Pro
      * @throws InterruptedException
      */
     public static void generateTestcases(KeYEnvironment<?> env, Proof proof,
-                                         TestGenerationSettings settings,
-                                         TestGenerationLifecycleListener log) throws InterruptedException {
+            TestGenerationSettings settings,
+            TestGenerationLifecycleListener log) throws InterruptedException {
         final TGReporter reporter = new TGReporter(log);
 
         final TestCaseGenerator tg = new TestCaseGenerator(proof, settings, reporter);
 
         NewSMTTranslationSettings newSettings = new NewSMTTranslationSettings();
         ProofDependentSMTSettings pdSettings = ProofDependentSMTSettings.getDefaultSettingsData();
-        ProofIndependentSMTSettings piSettings = ProofIndependentSMTSettings.getDefaultSettingsData();
+        ProofIndependentSMTSettings piSettings =
+            ProofIndependentSMTSettings.getDefaultSettingsData();
 
         piSettings.setTimeout(10000);
         final var smtSettings = new DefaultSMTSettings(pdSettings, piSettings, newSettings, proof);
@@ -60,7 +61,7 @@ public static void generateTestcases(KeYEnvironment<?> env, Proof proof,
         launcher.addListener(new SolverLauncherListener() {
             @Override
             public void launcherStopped(SolverLauncher launcher,
-                                        Collection<SMTSolver> finishedSolvers) {
+                    Collection<SMTSolver> finishedSolvers) {
                 try {
                     var first = finishedSolvers.iterator().next();
                     if (first.getException() != null) {
@@ -80,7 +81,7 @@ public void launcherStopped(SolverLauncher launcher,
 
             @Override
             public void launcherStarted(Collection<SMTProblem> problems,
-                                        Collection<SolverType> solverTypes, SolverLauncher launcher) {
+                    Collection<SolverType> solverTypes, SolverLauncher launcher) {
             }
         });
 

key.core.testgen/src/main/java/de/uka/ilkd/key/testgen/macros/SemanticsBlastingMacro.java

@@ -126,8 +126,9 @@ public String getDescription() {
 
     private record NameRuleFilter(Set<String> rules) implements RuleFilter {
 
-    @Override
-    public boolean filter(Rule rule) {
-        return rules.contains(rule.name().toString());
+        @Override
+        public boolean filter(Rule rule) {
+            return rules.contains(rule.name().toString());
+        }
     }
-}}
+}

key.core.testgen/src/main/java/de/uka/ilkd/key/testgen/oracle/OracleLocationSet.java

@@ -9,8 +9,7 @@
 public sealed
 
 interface OracleLocationSet
-permits AllLocsLocationSet, EmptyOracleLocationSet, OracleDefaultLocationSet
-{
+        permits AllLocsLocationSet, EmptyOracleLocationSet, OracleDefaultLocationSet {
 
     static OracleLocationSet singleton(OracleLocation loc) {
         var result = new OracleDefaultLocationSet();

key.core.testgen/src/main/java/de/uka/ilkd/key/testgen/oracle/OracleMethodCall.java

@@ -9,7 +9,7 @@
 import org.jspecify.annotations.Nullable;
 
 public record OracleMethodCall(OracleMethod method, List<? extends OracleTerm> args,
-                               @Nullable OracleTerm caller)
+        @Nullable OracleTerm caller)
         implements OracleTerm {
     public OracleMethodCall(OracleMethod method, List<? extends OracleTerm> args) {
         this(method, args, null);

key.core.testgen/src/main/java/de/uka/ilkd/key/testgen/oracle/OracleTerm.java

@@ -3,8 +3,7 @@
  * SPDX-License-Identifier: GPL-2.0-only */
 package de.uka.ilkd.key.testgen.oracle;
 
-public sealed
-interface OracleTerm
-permits OracleBinTerm, OracleConstant, OracleMethodCall, OracleType, OracleUnaryTerm, OracleVariable
-{
+public sealed interface OracleTerm
+        permits OracleBinTerm, OracleConstant, OracleMethodCall, OracleType, OracleUnaryTerm,
+        OracleVariable {
 }

key.util/src/main/java/org/key_project/util/collection/Immutables.java

@@ -163,7 +163,8 @@ private Immutables() {
      *
      * @return the view onto the iterable as an immutable list
      */
-    public static <T extends @Nullable Object> ImmutableList<T> createListFrom(Iterable<? extends T> iterable) {
+    public static <T extends @Nullable Object> ImmutableList<T> createListFrom(
+            Iterable<? extends T> iterable) {
         ImmutableList<T> result = ImmutableSLList.nil();
         for (T t : iterable) {
             result = result.prepend(t);