hazendaz / jmockit1 / 85

Committed 26 Apr 2025 06:37PM UTC coverage: 73.285% (-0.02%) from 73.308%

Build # 85

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #327 from hazendaz/paths

Use nio more per modernizer and update more tests to junit 5

Run Details

5625 of 8178 branches covered (68.78%)

Branch coverage included in aggregate %.

5 of 43 new or added lines in 14 files covered. (11.63%)

3 existing lines in 3 files now uncovered.

11885 of 15715 relevant lines covered (75.63%)

0.76 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

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

hazendaz / jmockit1 / 85

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