wip picocli

Author: wadoon

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

@@ -5,28 +5,27 @@
 
 import org.key_project.util.java.StringUtil;
 
-public interface Constants {
-
+public class Constants {
     /**
      * Constant for the line break which is used by the operating system.
      * <p>
      * <b>Do not use {@code \n}!</b>
      */
-    String NEW_LINE = StringUtil.NEW_LINE;
-    String NULLABLE = "/*@ nullable */";
-    String ALL_OBJECTS = "allObjects";
-    String ALL_INTS = "allInts";
-    String ALL_BOOLS = "allBools";
-    String ALL_HEAPS = "allHeaps";
-    String ALL_FIELDS = "allFields";
-    String ALL_SEQ = "allSeq";
-    String ALL_LOCSETS = "allLocSets";
-
-    String OBJENESIS_NAME = "objenesis-2.2.jar";
-
-    String OLDMap = "old";
+    public static final String NEW_LINE = StringUtil.NEW_LINE;
+    public static final String NULLABLE = "/*@ nullable */";
 
-    String TAB = "   ";
+    public static final String ALL_OBJECTS = "allObjects";
+    public static final String ALL_INTS = "allInts";
+    public static final String ALL_BOOLS = "allBools";
+    public static final String ALL_HEAPS = "allHeaps";
+    public static final String ALL_FIELDS = "allFields";
+    public static final String ALL_SEQ = "allSeq";
+    public static final String ALL_LOCSETS = "allLocSets";
+    public static final String OBJENESIS_NAME = "objenesis-2.2.jar";
+    public static final String OLD_MAP = "old";
+    public static final String TAB = "   ";
+    public static final String DUMMY_POSTFIX = "DummyImpl";
 
-    String DUMMY_POSTFIX = "DummyImpl";
+    private Constants() {
+    }
 }

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

@@ -1,42 +1,97 @@
+/* This file is part of KeY - https://key-project.org
+ * KeY is licensed under the GNU General Public License Version 2
+ * SPDX-License-Identifier: GPL-2.0-only */
 package de.uka.ilkd.key.testgen;
 
 import java.io.IOException;
 import java.nio.file.Files;
 import java.nio.file.Path;
-import java.nio.file.StandardCopyOption;
 import java.util.Objects;
 
 /**
+ * This class manages the different paths in the output folder.
+ *
  * @author Alexander Weigl
  * @version 1 (02.02.24)
  */
-public record OutputEnvironment(Path targetFolder) {
+public record OutputEnvironment(Path targetFolder, boolean onlyTestDir) {
+    /**
+     * Returns the source code folder
+     */
     public Path getSourceDir() {
-        return targetFolder.resolve("src");
+        return targetFolder.resolve("src/main/java");
     }
 
+    /**
+     * Returns the test code folder
+     */
     public Path getTestSourceDir() {
-        return targetFolder.resolve("test");
+        if (onlyTestDir) {
+            return targetFolder;
+        }
+        return targetFolder.resolve("src/test/java");
     }
 
+    /**
+     * Returns the path to the ANT build.xml file
+     */
     public Path getAntFile() {
         return targetFolder.resolve("build.xml");
     }
 
+    /**
+     * Returns the path to the ANT build.xml file
+     */
+    public Path getGradleFile() {
+        return targetFolder.resolve("build.gradle.kts");
+    }
+
+    /**
+     * Returns the path to the pom.xml for Maven file
+     */
+    public Path getMavenFile() {
+        return targetFolder.resolve("pom.xml");
+    }
+
+
+    /**
+     * Returns the path to the README.md file
+     */
     public Path getReadmeFile() {
         return targetFolder.resolve("README.md");
     }
 
+    /**
+     * 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 {
-        Files.createDirectories(getSourceDir());
         Files.createDirectories(getTestSourceDir());
-
-        installAntFile();
+        if (!onlyTestDir) {
+            Files.createDirectories(getSourceDir());
+            installProjectFile();
+        }
     }
 
-    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);
+    private void installProjectFile() throws IOException {
+        if (!Files.exists(getAntFile())) {
+            try (var buildXml = getClass().getResourceAsStream("/de/uka/ilkd/key/tcg/build.xml")) {
+                Files.copy(Objects.requireNonNull(buildXml), getAntFile());
+            }
+        }
+
+        if (!Files.exists(getMavenFile())) {
+            try (var pomXml = getClass().getResourceAsStream("/de/uka/ilkd/key/tcg/pom.xml")) {
+                Files.copy(Objects.requireNonNull(pomXml), getMavenFile());
+            }
+        }
+
+        if (!Files.exists(getGradleFile())) {
+            try (var gradleKts =
+                getClass().getResourceAsStream("/de/uka/ilkd/key/tcg/build.gradle.kts")) {
+                Files.copy(Objects.requireNonNull(gradleKts), getGradleFile());
+            }
         }
     }
 }