hazendaz / jmockit1 / 496

Committed 15 Nov 2025 05:33PM UTC coverage: 72.192% (-0.008%) from 72.2%

Build # 496

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #412 from hazendaz/renovate/major-spring-core

Update spring core to v7 (major)

Run Details

5677 of 8360 branches covered (67.91%)

Branch coverage included in aggregate %.

11922 of 16018 relevant lines covered (74.43%)

0.74 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/main/src/main/java/mockit/coverage/reporting/OutputFile.java

/*
 * MIT License
 * Copyright (c) 2006-2025 JMockit developers
 * See LICENSE file for full license text.
 */
package mockit.coverage.reporting;

import edu.umd.cs.findbugs.annotations.NonNull;

import java.io.File;
import java.io.IOException;
import java.io.PrintWriter;
import java.nio.charset.StandardCharsets;
import java.nio.file.Path;
import java.util.regex.Pattern;

public final class OutputFile extends PrintWriter {
    private static final Pattern PATH_SEPARATOR = Pattern.compile("/");

    @NonNull
    private final String relPathToOutDir;
    private final boolean sourceFile;

    public OutputFile(@NonNull File file) throws IOException {
        super(file, StandardCharsets.UTF_8);
        relPathToOutDir = "";
        sourceFile = false;
    }

    public OutputFile(@NonNull String outputDir, @NonNull String sourceFilePath) throws IOException {
        super(getOutputFileCreatingDirIfNeeded(outputDir, sourceFilePath));
        relPathToOutDir = getRelativeSubPathToOutputDir(sourceFilePath);
        sourceFile = true;
    }

    @NonNull
    private static File getOutputFileCreatingDirIfNeeded(@NonNull String outputDir, @NonNull String sourceFilePath) {
        File outputFile = getOutputFile(outputDir, sourceFilePath);
        File parentDir = outputFile.getParentFile();

        if (!parentDir.exists()) {
            boolean outputDirCreated = parentDir.mkdirs();
            assert outputDirCreated : "Failed to create output dir: " + outputDir;
        }

        return outputFile;
    }

    @NonNull
    static File getOutputFile(@NonNull String outputDir, @NonNull String sourceFilePath) {
        int p = sourceFilePath.lastIndexOf('.');
        String outputFileName = sourceFilePath.substring(0, p) + ".html";
        return Path.of(outputDir, outputFileName).toFile();
    }

    @NonNull
    private static String getRelativeSubPathToOutputDir(@NonNull String filePath) {
        StringBuilder cssRelPath = new StringBuilder();
        int n = PATH_SEPARATOR.split(filePath).length;

        for (int i = 1; i < n; i++) {
            cssRelPath.append("../");
        }

        return cssRelPath.toString();
    }

    public void writeCommonHeader(@NonNull String pageTitle) {
        println("<!DOCTYPE html>");
        println("<html>");
        println("<head>");
        println("  <title>" + pageTitle + "</title>");
        println("  <meta charset='UTF-8'>");
        println("  <link rel='stylesheet' type='text/css' href='" + relPathToOutDir + (sourceFile ? "source" : "index")
                + ".css'>");
        println("  <link rel='shortcut icon' type='image/png' href='" + relPathToOutDir + "logo.png'>");
        println("  <script src='" + relPathToOutDir + "coverage.js'></script>");
        println("  <base target='_blank'>");

        if (sourceFile) {
            println("  <script src='" + relPathToOutDir + "prettify.js'></script>");
        }

        println("</head>");
        println(sourceFile ? "<body onload='prettyPrint()'>" : "<body>");
    }

    public void writeCommonFooter() {
        println("</body>");
        println("</html>");
    }
}

1	/*
2	* MIT License
3	* Copyright (c) 2006-2025 JMockit developers
4	* See LICENSE file for full license text.
5	*/
6	package mockit.coverage.reporting;
7
8	import edu.umd.cs.findbugs.annotations.NonNull;
9
10	import java.io.File;
11	import java.io.IOException;
12	import java.io.PrintWriter;
13	import java.nio.charset.StandardCharsets;
14	import java.nio.file.Path;
15	import java.util.regex.Pattern;
16
17	public final class OutputFile extends PrintWriter {
18	private static final Pattern PATH_SEPARATOR = Pattern.compile("/");	×
19
20	@NonNull
21	private final String relPathToOutDir;
22	private final boolean sourceFile;
23
24	public OutputFile(@NonNull File file) throws IOException {
25	super(file, StandardCharsets.UTF_8);	×
26	relPathToOutDir = "";	×
27	sourceFile = false;	×
28	}	×
29
30	public OutputFile(@NonNull String outputDir, @NonNull String sourceFilePath) throws IOException {
31	super(getOutputFileCreatingDirIfNeeded(outputDir, sourceFilePath));	×
32	relPathToOutDir = getRelativeSubPathToOutputDir(sourceFilePath);	×
33	sourceFile = true;	×
34	}	×
35
36	@NonNull
37	private static File getOutputFileCreatingDirIfNeeded(@NonNull String outputDir, @NonNull String sourceFilePath) {
38	File outputFile = getOutputFile(outputDir, sourceFilePath);	×
39	File parentDir = outputFile.getParentFile();	×
40
41	if (!parentDir.exists()) {	×
42	boolean outputDirCreated = parentDir.mkdirs();	×
43	assert outputDirCreated : "Failed to create output dir: " + outputDir;	×
44	}
45
46	return outputFile;	×
47	}
48
49	@NonNull
50	static File getOutputFile(@NonNull String outputDir, @NonNull String sourceFilePath) {
51	int p = sourceFilePath.lastIndexOf('.');	×
52	String outputFileName = sourceFilePath.substring(0, p) + ".html";	×
53	return Path.of(outputDir, outputFileName).toFile();	×
54	}
55
56	@NonNull
57	private static String getRelativeSubPathToOutputDir(@NonNull String filePath) {
58	StringBuilder cssRelPath = new StringBuilder();	×
59	int n = PATH_SEPARATOR.split(filePath).length;	×
60
61	for (int i = 1; i < n; i++) {	×
62	cssRelPath.append("../");	×
63	}
64
65	return cssRelPath.toString();	×
66	}
67
68	public void writeCommonHeader(@NonNull String pageTitle) {
69	println("<!DOCTYPE html>");	×
70	println("<html>");	×
71	println("<head>");	×
72	println(" <title>" + pageTitle + "</title>");	×
73	println(" <meta charset='UTF-8'>");	×
74	println(" <link rel='stylesheet' type='text/css' href='" + relPathToOutDir + (sourceFile ? "source" : "index")	×
75	+ ".css'>");
76	println(" <link rel='shortcut icon' type='image/png' href='" + relPathToOutDir + "logo.png'>");	×
77	println(" <script src='" + relPathToOutDir + "coverage.js'></script>");	×
78	println(" <base target='_blank'>");	×
79
80	if (sourceFile) {	×
81	println(" <script src='" + relPathToOutDir + "prettify.js'></script>");	×
82	}
83
84	println("</head>");	×
85	println(sourceFile ? "<body onload='prettyPrint()'>" : "<body>");	×
86	}	×
87
88	public void writeCommonFooter() {
89	println("</body>");	×
90	println("</html>");	×
91	}	×
92	}

hazendaz / jmockit1 / 496

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous