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/lineCoverage/LineSegmentsFormatter.java

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

import static java.lang.Character.isWhitespace;

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

import java.util.List;

import mockit.coverage.CallPoint;
import mockit.coverage.lines.BranchCoverageData;
import mockit.coverage.lines.LineCoverageData;
import mockit.coverage.lines.LineSegmentData;
import mockit.coverage.reporting.ListOfCallPoints;
import mockit.coverage.reporting.parsing.LineElement;
import mockit.coverage.reporting.parsing.LineParser;

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

final class LineSegmentsFormatter {
    @Nullable
    private final ListOfCallPoints listOfCallPoints;
    @NonNull
    private final StringBuilder formattedLine;

    // Helper fields:
    private int lineNumber;
    @NonNegative
    private int segmentIndex;
    @Nullable
    private LineElement element;

    LineSegmentsFormatter(boolean withCallPoints, @NonNull StringBuilder formattedLine) {
        listOfCallPoints = withCallPoints ? new ListOfCallPoints() : null;
        this.formattedLine = formattedLine;
    }

    void formatSegments(@NonNull LineParser lineParser, @NonNull LineCoverageData lineData) {
        lineNumber = lineParser.getNumber();

        List<BranchCoverageData> branchData = lineData.getBranches();
        int numSegments = lineData.getNumberOfSegments();

        element = lineParser.getInitialElement().appendUntilNextCodeElement(formattedLine);

        segmentIndex = 0;
        appendUntilNextBranchingPoint(lineData);

        while (element != null && segmentIndex < numSegments) {
            LineSegmentData segmentData = segmentIndex == 0 ? lineData : branchData.get(segmentIndex - 1);
            element = element.appendUntilNextCodeElement(formattedLine);
            appendUntilNextBranchingPoint(segmentData);
        }

        if (element != null) {
            element.appendAllBefore(formattedLine, null);
        }

        formattedLine.append("</pre>");

        if (listOfCallPoints != null) {
            formattedLine.append(listOfCallPoints.getContents());
        }
    }

    private void appendUntilNextBranchingPoint(@NonNull LineSegmentData segmentData) {
        if (element != null) {
            LineElement firstElement = element;
            element = element.findNextBranchingPoint();

            appendToFormattedLine(segmentData, firstElement);

            if (element != null && element.isBranchingElement()) {
                formattedLine.append(element.getText());
                element = element.getNext();
            }
        }
    }

    private void appendToFormattedLine(@NonNull LineSegmentData segmentData, @NonNull LineElement firstElement) {
        if (firstElement != element) {
            appendStartTag(segmentData);
            firstElement.appendAllBefore(formattedLine, element);
            appendEndTag(segmentData);

            segmentIndex++;
        }
    }

    private void appendStartTag(@NonNull LineSegmentData segmentData) {
        formattedLine.append("<span id='l").append(lineNumber).append('s').append(segmentIndex);
        formattedLine.append("' title='Executions: ").append(segmentData.getExecutionCount()).append("' ");

        if (segmentData.isCovered()) {
            if (segmentData.containsCallPoints()) {
                formattedLine.append("class='cvd cp' onclick='sh(this,").append(segmentIndex).append(")'>");
            } else {
                formattedLine.append("class='cvd'>");
            }
        } else {
            formattedLine.append("class='uncvd'>");
        }
    }

    private void appendEndTag(@NonNull LineSegmentData segmentData) {
        int i = formattedLine.length() - 1;

        while (isWhitespace(formattedLine.charAt(i))) {
            i--;
        }

        formattedLine.insert(i + 1, "</span>");

        if (listOfCallPoints != null) {
            List<CallPoint> callPoints = segmentData.getCallPoints();
            listOfCallPoints.insertListOfCallPoints(callPoints);
        }
    }
}

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.lineCoverage;
7
8	import static java.lang.Character.isWhitespace;
9
10	import edu.umd.cs.findbugs.annotations.NonNull;
11	import edu.umd.cs.findbugs.annotations.Nullable;
12
13	import java.util.List;
14
15	import mockit.coverage.CallPoint;
16	import mockit.coverage.lines.BranchCoverageData;
17	import mockit.coverage.lines.LineCoverageData;
18	import mockit.coverage.lines.LineSegmentData;
19	import mockit.coverage.reporting.ListOfCallPoints;
20	import mockit.coverage.reporting.parsing.LineElement;
21	import mockit.coverage.reporting.parsing.LineParser;
22
23	import org.checkerframework.checker.index.qual.NonNegative;
24
25	final class LineSegmentsFormatter {
26	@Nullable
27	private final ListOfCallPoints listOfCallPoints;
28	@NonNull
29	private final StringBuilder formattedLine;
30
31	// Helper fields:
32	private int lineNumber;
33	@NonNegative
34	private int segmentIndex;
35	@Nullable
36	private LineElement element;
37
38	LineSegmentsFormatter(boolean withCallPoints, @NonNull StringBuilder formattedLine) {	×
39	listOfCallPoints = withCallPoints ? new ListOfCallPoints() : null;	×
40	this.formattedLine = formattedLine;	×
41	}	×
42
43	void formatSegments(@NonNull LineParser lineParser, @NonNull LineCoverageData lineData) {
44	lineNumber = lineParser.getNumber();	×
45
46	List<BranchCoverageData> branchData = lineData.getBranches();	×
47	int numSegments = lineData.getNumberOfSegments();	×
48
49	element = lineParser.getInitialElement().appendUntilNextCodeElement(formattedLine);	×
50
51	segmentIndex = 0;	×
52	appendUntilNextBranchingPoint(lineData);	×
53
54	while (element != null && segmentIndex < numSegments) {	×
55	LineSegmentData segmentData = segmentIndex == 0 ? lineData : branchData.get(segmentIndex - 1);	×
56	element = element.appendUntilNextCodeElement(formattedLine);	×
57	appendUntilNextBranchingPoint(segmentData);	×
58	}	×
59
60	if (element != null) {	×
61	element.appendAllBefore(formattedLine, null);	×
62	}
63
64	formattedLine.append("</pre>");	×
65
66	if (listOfCallPoints != null) {	×
67	formattedLine.append(listOfCallPoints.getContents());	×
68	}
69	}	×
70
71	private void appendUntilNextBranchingPoint(@NonNull LineSegmentData segmentData) {
72	if (element != null) {	×
73	LineElement firstElement = element;	×
74	element = element.findNextBranchingPoint();	×
75
76	appendToFormattedLine(segmentData, firstElement);	×
77
78	if (element != null && element.isBranchingElement()) {	×
79	formattedLine.append(element.getText());	×
80	element = element.getNext();	×
81	}
82	}
83	}	×
84
85	private void appendToFormattedLine(@NonNull LineSegmentData segmentData, @NonNull LineElement firstElement) {
86	if (firstElement != element) {	×
87	appendStartTag(segmentData);	×
88	firstElement.appendAllBefore(formattedLine, element);	×
89	appendEndTag(segmentData);	×
90
91	segmentIndex++;	×
92	}
93	}	×
94
95	private void appendStartTag(@NonNull LineSegmentData segmentData) {
96	formattedLine.append("<span id='l").append(lineNumber).append('s').append(segmentIndex);	×
97	formattedLine.append("' title='Executions: ").append(segmentData.getExecutionCount()).append("' ");	×
98
99	if (segmentData.isCovered()) {	×
100	if (segmentData.containsCallPoints()) {	×
101	formattedLine.append("class='cvd cp' onclick='sh(this,").append(segmentIndex).append(")'>");	×
102	} else {
103	formattedLine.append("class='cvd'>");	×
104	}
105	} else {
106	formattedLine.append("class='uncvd'>");	×
107	}
108	}	×
109
110	private void appendEndTag(@NonNull LineSegmentData segmentData) {
111	int i = formattedLine.length() - 1;	×
112
113	while (isWhitespace(formattedLine.charAt(i))) {	×
114	i--;	×
115	}
116
117	formattedLine.insert(i + 1, "</span>");	×
118
119	if (listOfCallPoints != null) {	×
120	List<CallPoint> callPoints = segmentData.getCallPoints();	×
121	listOfCallPoints.insertListOfCallPoints(callPoints);	×
122	}
123	}	×
124	}

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