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/packages/PackageCoverageReport.java

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

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

import java.io.PrintWriter;
import java.util.Arrays;
import java.util.Collection;
import java.util.List;
import java.util.Map;

import mockit.coverage.data.FileCoverageData;

import org.checkerframework.checker.index.qual.NonNegative;

final class PackageCoverageReport extends ListWithFilesAndPercentages {
    @NonNull
    private final Map<String, FileCoverageData> filesToFileData;
    @Nullable
    private final Collection<String> sourceFilesNotFound;
    @NonNull
    private final char[] fileNameWithSpaces;

    PackageCoverageReport(@NonNull PrintWriter output, @Nullable Collection<String> sourceFilesNotFound,
            @NonNull Map<String, FileCoverageData> filesToFileData,
            @NonNull Collection<List<String>> allSourceFileNames) {
        super(output, "          ");
        this.sourceFilesNotFound = sourceFilesNotFound;
        this.filesToFileData = filesToFileData;
        fileNameWithSpaces = new char[maximumSourceFileNameLength(allSourceFileNames)];
    }

    @NonNegative
    private static int maximumSourceFileNameLength(@NonNull Collection<List<String>> allSourceFileNames) {
        int maxLength = 0;

        for (List<String> files : allSourceFileNames) {
            for (String fileName : files) {
                int n = fileName.length();

                if (n > maxLength) {
                    maxLength = n;
                }
            }
        }

        return maxLength;
    }

    @Override
    protected void writeMetricsForFile(@Nullable String packageName, @NonNull String fileName) {
        String filePath = packageName == null || packageName.isEmpty() ? fileName : packageName + '/' + fileName;
        FileCoverageData fileData = filesToFileData.get(filePath);

        writeRowStart();
        printIndent();
        output.write("  <td class='");
        output.write(fileData.kindOfTopLevelType != null ? fileData.kindOfTopLevelType : "cls");
        output.write("'>");

        int fileNameLength = buildFileNameWithTrailingSpaces(fileName);
        writeTableCellWithFileName(filePath, fileNameLength);
        writeCodeCoverageMetricForFile(fileData);
        writeRowClose();
    }

    @NonNegative
    private int buildFileNameWithTrailingSpaces(@NonNull String fileName) {
        int n = fileName.length();

        fileName.getChars(0, n, fileNameWithSpaces, 0);
        Arrays.fill(fileNameWithSpaces, n, fileNameWithSpaces.length, ' ');

        return n;
    }

    private void writeTableCellWithFileName(@NonNull String filePath, @NonNegative int fileNameLen) {
        if (sourceFilesNotFound == null || sourceFilesNotFound.contains(filePath)) {
            output.write(fileNameWithSpaces);
        } else {
            output.write("<a href='");
            int p = filePath.lastIndexOf('.');
            output.write(filePath.substring(0, p));
            output.write(".html'>");
            output.write(fileNameWithSpaces, 0, fileNameLen);
            output.write("</a>");
            output.write(fileNameWithSpaces, fileNameLen, fileNameWithSpaces.length - fileNameLen);
        }

        output.println("</td>");
    }

    private void writeCodeCoverageMetricForFile(@NonNull FileCoverageData coverageInfo) {
        int percentage = coverageInfo.getCoveragePercentage();
        int covered = coverageInfo.getCoveredItems();
        int total = coverageInfo.getTotalItems();

        coveredItems += covered;
        totalItems += total;

        printCoveragePercentage(covered, total, percentage);
    }
}

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.packages;
7
8	import edu.umd.cs.findbugs.annotations.NonNull;
9	import edu.umd.cs.findbugs.annotations.Nullable;
10
11	import java.io.PrintWriter;
12	import java.util.Arrays;
13	import java.util.Collection;
14	import java.util.List;
15	import java.util.Map;
16
17	import mockit.coverage.data.FileCoverageData;
18
19	import org.checkerframework.checker.index.qual.NonNegative;
20
21	final class PackageCoverageReport extends ListWithFilesAndPercentages {
22	@NonNull
23	private final Map<String, FileCoverageData> filesToFileData;
24	@Nullable
25	private final Collection<String> sourceFilesNotFound;
26	@NonNull
27	private final char[] fileNameWithSpaces;
28
29	PackageCoverageReport(@NonNull PrintWriter output, @Nullable Collection<String> sourceFilesNotFound,
30	@NonNull Map<String, FileCoverageData> filesToFileData,
31	@NonNull Collection<List<String>> allSourceFileNames) {
32	super(output, " ");	×
33	this.sourceFilesNotFound = sourceFilesNotFound;	×
34	this.filesToFileData = filesToFileData;	×
35	fileNameWithSpaces = new char[maximumSourceFileNameLength(allSourceFileNames)];	×
36	}	×
37
38	@NonNegative
39	private static int maximumSourceFileNameLength(@NonNull Collection<List<String>> allSourceFileNames) {
40	int maxLength = 0;	×
41
42	for (List<String> files : allSourceFileNames) {	×
43	for (String fileName : files) {	×
44	int n = fileName.length();	×
45
46	if (n > maxLength) {	×
47	maxLength = n;	×
48	}
49	}	×
50	}	×
51
52	return maxLength;	×
53	}
54
55	@Override
56	protected void writeMetricsForFile(@Nullable String packageName, @NonNull String fileName) {
57	String filePath = packageName == null \|\| packageName.isEmpty() ? fileName : packageName + '/' + fileName;	×
58	FileCoverageData fileData = filesToFileData.get(filePath);	×
59
60	writeRowStart();	×
61	printIndent();	×
62	output.write(" <td class='");	×
63	output.write(fileData.kindOfTopLevelType != null ? fileData.kindOfTopLevelType : "cls");	×
64	output.write("'>");	×
65
66	int fileNameLength = buildFileNameWithTrailingSpaces(fileName);	×
67	writeTableCellWithFileName(filePath, fileNameLength);	×
68	writeCodeCoverageMetricForFile(fileData);	×
69	writeRowClose();	×
70	}	×
71
72	@NonNegative
73	private int buildFileNameWithTrailingSpaces(@NonNull String fileName) {
74	int n = fileName.length();	×
75
76	fileName.getChars(0, n, fileNameWithSpaces, 0);	×
77	Arrays.fill(fileNameWithSpaces, n, fileNameWithSpaces.length, ' ');	×
78
79	return n;	×
80	}
81
82	private void writeTableCellWithFileName(@NonNull String filePath, @NonNegative int fileNameLen) {
83	if (sourceFilesNotFound == null \|\| sourceFilesNotFound.contains(filePath)) {	×
84	output.write(fileNameWithSpaces);	×
85	} else {
86	output.write("<a href='");	×
87	int p = filePath.lastIndexOf('.');	×
88	output.write(filePath.substring(0, p));	×
89	output.write(".html'>");	×
90	output.write(fileNameWithSpaces, 0, fileNameLen);	×
91	output.write("</a>");	×
92	output.write(fileNameWithSpaces, fileNameLen, fileNameWithSpaces.length - fileNameLen);	×
93	}
94
95	output.println("</td>");	×
96	}	×
97
98	private void writeCodeCoverageMetricForFile(@NonNull FileCoverageData coverageInfo) {
99	int percentage = coverageInfo.getCoveragePercentage();	×
100	int covered = coverageInfo.getCoveredItems();	×
101	int total = coverageInfo.getTotalItems();	×
102
103	coveredItems += covered;	×
104	totalItems += total;	×
105
106	printCoveragePercentage(covered, total, percentage);	×
107	}	×
108	}

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