An error occurred while loading the file. Please try again.
-
Rushikesh Padsala authored27ca663e
package de.hftstuttgart.dta;
import de.hftstuttgart.dta.model.Result;
import de.hftstuttgart.dta.model.ResultSummary;
import de.hftstuttgart.dta.util.MySummaryGeneratingListener;
import com.fasterxml.jackson.databind.ObjectMapper;
import org.junit.platform.engine.discovery.DiscoverySelectors;
import org.junit.platform.launcher.Launcher;
import org.junit.platform.launcher.LauncherDiscoveryRequest;
import org.junit.platform.launcher.TestIdentifier;
import org.junit.platform.launcher.TestPlan;
import org.junit.platform.launcher.core.LauncherDiscoveryRequestBuilder;
import org.junit.platform.launcher.core.LauncherFactory;
import org.junit.platform.launcher.listeners.TestExecutionSummary;
import javax.tools.*;
import java.io.File;
import java.io.IOException;
import java.io.InputStream;
import java.net.MalformedURLException;
import java.net.URL;
import java.net.URLClassLoader;
import java.nio.charset.StandardCharsets;
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.*;
import java.util.logging.Level;
import java.util.logging.LogManager;
import java.util.logging.Logger;
//import java.util.regex.Matcher;
//import java.util.regex.Pattern;
import java.util.stream.Collectors;
import java.util.stream.Stream;
public class Testrunner
{
static
{
InputStream stream = Testrunner.class.getClassLoader()
.getResourceAsStream("logging.properties");
try
{
LogManager.getLogManager().readConfiguration(stream);
}
catch (IOException e)
{
e.printStackTrace();
}
}
private static final Logger LOG = Logger.getLogger(Testrunner.class.getName());
public static String[] sourceFolders; // folders with Java Files to compile
public static String[] libraryFolders; // folders with libraries in jar-file format
public static String classFolder; // folder to put compiled class files into
public static String[] classPathItems; // items for the classpath
public static String resultFolder; // folder the result file gets serialized to
public static void main(String[] args) throws Exception
{
LOG.info("OpenJDK11 JUnit5/Jupiter Testrunner started");
LOG.info("initializing fields...");