hazendaz / jmockit1 / 875

Committed 24 May 2026 05:41PM UTC coverage: 75.471% (-0.03%) from 75.496%

Build # 875

Build Type

Pull #512

github

Committed by

web-flow

Commit Message

Finalize modernizer updates and checked exception behavior

Agent-Logs-Url: https://github.com/hazendaz/jmockit1/sessions/ed08e1be-d91d-4d00-ab35-e5062b25acc0

Co-authored-by: hazendaz <975267+hazendaz@users.noreply.github.com>

Pull Request Pull Request #512: Modernize flagged collection/reflection API usages in `main` module (Java 21 build path)

Coverage Stats

6026 of 8488 branches covered (70.99%)

Branch coverage included in aggregate %.

25 of 34 new or added lines in 15 files covered. (73.53%)

5 existing lines in 1 file now uncovered.

12659 of 16270 relevant lines covered (77.81%)

0.78 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/ListWithFilesAndPercentages.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.Comparator;
import java.util.List;

import mockit.coverage.CoveragePercentage;

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

abstract class ListWithFilesAndPercentages {
    @NonNull
    protected final PrintWriter output;
    @NonNull
    private final String baseIndent;
    @NonNegative
    int totalItems;
    @NonNegative
    int coveredItems;

    ListWithFilesAndPercentages(@NonNull PrintWriter output, @NonNull String baseIndent) {
        this.output = output;
        this.baseIndent = baseIndent;
    }

    final void writeMetricsForEachFile(@Nullable String packageName, @NonNull List<String> fileNames) {
        if (fileNames.isEmpty()) {
            return;
        }

        fileNames.sort(Comparator.naturalOrder());
        totalItems = 0;
        coveredItems = 0;

        for (String fileName : fileNames) {
            writeMetricsForFile(packageName, fileName);
        }
    }

    final void writeRowStart() {
        printIndent();
        output.println("<tr>");
    }

    final void writeRowClose() {
        printIndent();
        output.println("</tr>");
    }

    final void printIndent() {
        output.write(baseIndent);
    }

    protected abstract void writeMetricsForFile(@Nullable String packageName, @NonNull String fileName);

    final void printCoveragePercentage(@NonNegative int covered, @NonNegative int total, int percentage) {
        printIndent();
        output.write("  <td ");

        if (total > 0) {
            writeRowCellWithCoveragePercentage(covered, total, percentage);
        } else {
            output.write("class='nocode'>N/A");
        }

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

    private void writeRowCellWithCoveragePercentage(@NonNegative int covered, @NonNegative int total,
            @NonNegative int percentage) {
        output.write("style='background-color:#");
        output.write(CoveragePercentage.percentageColor(covered, total));
        output.write("' title='Items: ");
        output.print(covered);
        output.write('/');
        output.print(total);
        output.write("'>");
        writePercentageValue(covered, total, percentage);
        output.print("%");
    }

    private void writePercentageValue(@NonNegative int covered, @NonNegative int total, @NonNegative int percentage) {
        if (percentage < 100) {
            output.print(percentage);
        } else if (covered == total) {
            output.print("100");
        } else {
            output.print(">99");
        }
    }
}

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.Comparator;
13	import java.util.List;
14
15	import mockit.coverage.CoveragePercentage;
16
17	import org.checkerframework.checker.index.qual.NonNegative;
18
19	abstract class ListWithFilesAndPercentages {
20	@NonNull
21	protected final PrintWriter output;
22	@NonNull
23	private final String baseIndent;
24	@NonNegative
25	int totalItems;
26	@NonNegative
27	int coveredItems;
28
29	ListWithFilesAndPercentages(@NonNull PrintWriter output, @NonNull String baseIndent) {	×
30	this.output = output;	×
31	this.baseIndent = baseIndent;	×
32	}	×
33
34	final void writeMetricsForEachFile(@Nullable String packageName, @NonNull List<String> fileNames) {
35	if (fileNames.isEmpty()) {	×
36	return;	×
37	}
38
NEW 39	fileNames.sort(Comparator.naturalOrder());	×
40	totalItems = 0;	×
41	coveredItems = 0;	×
42
43	for (String fileName : fileNames) {	×
44	writeMetricsForFile(packageName, fileName);	×
45	}	×
46	}	×
47
48	final void writeRowStart() {
49	printIndent();	×
50	output.println("<tr>");	×
51	}	×
52
53	final void writeRowClose() {
54	printIndent();	×
55	output.println("</tr>");	×
56	}	×
57
58	final void printIndent() {
59	output.write(baseIndent);	×
60	}	×
61
62	protected abstract void writeMetricsForFile(@Nullable String packageName, @NonNull String fileName);
63
64	final void printCoveragePercentage(@NonNegative int covered, @NonNegative int total, int percentage) {
65	printIndent();	×
66	output.write(" <td ");	×
67
68	if (total > 0) {	×
69	writeRowCellWithCoveragePercentage(covered, total, percentage);	×
70	} else {
71	output.write("class='nocode'>N/A");	×
72	}
73
74	output.println("</td>");	×
75	}	×
76
77	private void writeRowCellWithCoveragePercentage(@NonNegative int covered, @NonNegative int total,
78	@NonNegative int percentage) {
79	output.write("style='background-color:#");	×
80	output.write(CoveragePercentage.percentageColor(covered, total));	×
81	output.write("' title='Items: ");	×
82	output.print(covered);	×
83	output.write('/');	×
84	output.print(total);	×
85	output.write("'>");	×
86	writePercentageValue(covered, total, percentage);	×
87	output.print("%");	×
88	}	×
89
90	private void writePercentageValue(@NonNegative int covered, @NonNegative int total, @NonNegative int percentage) {
91	if (percentage < 100) {	×
92	output.print(percentage);	×
93	} else if (covered == total) {	×
94	output.print("100");	×
95	} else {
96	output.print(">99");	×
97	}
98	}	×
99	}

hazendaz / jmockit1 / 875

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