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/dataCoverage/DataCoverageOutput.java

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

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

import mockit.coverage.dataItems.FieldData;
import mockit.coverage.dataItems.InstanceFieldData;
import mockit.coverage.dataItems.PerFileDataCoverage;
import mockit.coverage.dataItems.StaticFieldData;
import mockit.coverage.reporting.parsing.FileParser;
import mockit.coverage.reporting.parsing.LineElement;

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

public final class DataCoverageOutput {
    @NonNull
    private final StringBuilder openingTag;
    @NonNull
    private final PerFileDataCoverage coverageInfo;
    @NonNegative
    private int nextField;
    @Nullable
    private String classAndFieldNames;
    @Nullable
    private String className;
    @Nullable
    private String fieldName;

    public DataCoverageOutput(@NonNull PerFileDataCoverage coverageInfo) {
        openingTag = new StringBuilder(50);
        this.coverageInfo = coverageInfo;
        moveToNextField();
    }

    private void moveToNextField() {
        if (nextField >= coverageInfo.allFields.size()) {
            classAndFieldNames = null;
            className = null;
            fieldName = null;
            return;
        }

        classAndFieldNames = coverageInfo.allFields.get(nextField);
        nextField++;

        int p = classAndFieldNames.indexOf('.');
        className = classAndFieldNames.substring(0, p);
        fieldName = classAndFieldNames.substring(p + 1);
    }

    public void writeCoverageInfoIfLineStartsANewFieldDeclaration(@NonNull FileParser fileParser) {
        if (classAndFieldNames != null) {
            assert className != null;

            if (className.equals(fileParser.getCurrentlyPendingClass())) {
                LineElement initialLineElement = fileParser.lineParser.getInitialElement();

                assert fieldName != null;
                LineElement elementWithFieldName = initialLineElement.findWord(fieldName);

                if (elementWithFieldName != null) {
                    buildOpeningTagForFieldWrapper();
                    elementWithFieldName.wrapText(openingTag.toString(), "</span>");
                    moveToNextField();
                }
            }
        }
    }

    private void buildOpeningTagForFieldWrapper() {
        openingTag.setLength(0);
        openingTag.append("<span class='");

        assert classAndFieldNames != null;
        StaticFieldData staticData = coverageInfo.getStaticFieldData(classAndFieldNames);
        boolean staticField = staticData != null;
        openingTag.append(staticField ? "static" : "instance");

        openingTag.append(coverageInfo.isCovered(classAndFieldNames) ? " cvd" : " uncvd");

        InstanceFieldData instanceData = coverageInfo.getInstanceFieldData(classAndFieldNames);

        if (staticField || instanceData != null) {
            openingTag.append("' title='");
            appendAccessCounts(staticField ? staticData : instanceData);
        }

        openingTag.append("'>");
    }

    private void appendAccessCounts(@NonNull FieldData fieldData) {
        openingTag.append("Reads: ").append(fieldData.getReadCount());
        openingTag.append(" Writes: ").append(fieldData.getWriteCount());
    }
}

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.dataCoverage;
7
8	import edu.umd.cs.findbugs.annotations.NonNull;
9	import edu.umd.cs.findbugs.annotations.Nullable;
10
11	import mockit.coverage.dataItems.FieldData;
12	import mockit.coverage.dataItems.InstanceFieldData;
13	import mockit.coverage.dataItems.PerFileDataCoverage;
14	import mockit.coverage.dataItems.StaticFieldData;
15	import mockit.coverage.reporting.parsing.FileParser;
16	import mockit.coverage.reporting.parsing.LineElement;
17
18	import org.checkerframework.checker.index.qual.NonNegative;
19
20	public final class DataCoverageOutput {	×
21	@NonNull
22	private final StringBuilder openingTag;
23	@NonNull
24	private final PerFileDataCoverage coverageInfo;
25	@NonNegative
26	private int nextField;
27	@Nullable
28	private String classAndFieldNames;
29	@Nullable
30	private String className;
31	@Nullable
32	private String fieldName;
33
34	public DataCoverageOutput(@NonNull PerFileDataCoverage coverageInfo) {	×
35	openingTag = new StringBuilder(50);	×
36	this.coverageInfo = coverageInfo;	×
37	moveToNextField();	×
38	}	×
39
40	private void moveToNextField() {
41	if (nextField >= coverageInfo.allFields.size()) {	×
42	classAndFieldNames = null;	×
43	className = null;	×
44	fieldName = null;	×
45	return;	×
46	}
47
48	classAndFieldNames = coverageInfo.allFields.get(nextField);	×
49	nextField++;	×
50
51	int p = classAndFieldNames.indexOf('.');	×
52	className = classAndFieldNames.substring(0, p);	×
53	fieldName = classAndFieldNames.substring(p + 1);	×
54	}	×
55
56	public void writeCoverageInfoIfLineStartsANewFieldDeclaration(@NonNull FileParser fileParser) {
57	if (classAndFieldNames != null) {	×
58	assert className != null;	×
59
60	if (className.equals(fileParser.getCurrentlyPendingClass())) {	×
61	LineElement initialLineElement = fileParser.lineParser.getInitialElement();	×
62
63	assert fieldName != null;	×
64	LineElement elementWithFieldName = initialLineElement.findWord(fieldName);	×
65
66	if (elementWithFieldName != null) {	×
67	buildOpeningTagForFieldWrapper();	×
68	elementWithFieldName.wrapText(openingTag.toString(), "</span>");	×
69	moveToNextField();	×
70	}
71	}
72	}
73	}	×
74
75	private void buildOpeningTagForFieldWrapper() {
76	openingTag.setLength(0);	×
77	openingTag.append("<span class='");	×
78
79	assert classAndFieldNames != null;	×
80	StaticFieldData staticData = coverageInfo.getStaticFieldData(classAndFieldNames);	×
81	boolean staticField = staticData != null;	×
82	openingTag.append(staticField ? "static" : "instance");	×
83
84	openingTag.append(coverageInfo.isCovered(classAndFieldNames) ? " cvd" : " uncvd");	×
85
86	InstanceFieldData instanceData = coverageInfo.getInstanceFieldData(classAndFieldNames);	×
87
88	if (staticField \|\| instanceData != null) {	×
89	openingTag.append("' title='");	×
90	appendAccessCounts(staticField ? staticData : instanceData);	×
91	}
92
93	openingTag.append("'>");	×
94	}	×
95
96	private void appendAccessCounts(@NonNull FieldData fieldData) {
97	openingTag.append("Reads: ").append(fieldData.getReadCount());	×
98	openingTag.append(" Writes: ").append(fieldData.getWriteCount());	×
99	}	×
100	}

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