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/lines/BranchCoverageData.java

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

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

import java.io.IOException;
import java.io.ObjectInputStream;
import java.io.ObjectOutputStream;

import mockit.asm.controlFlow.Label;

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

/**
 * Coverage data gathered for a branch inside a line of source code.
 */
public final class BranchCoverageData extends LineSegmentData {
    private static final long serialVersionUID = 1003335601845442606L;
    static final BranchCoverageData INVALID = new BranchCoverageData(new Label());

    @NonNull
    private transient Label label;

    BranchCoverageData(@NonNull Label label) {
        this.label = label;
    }

    @Override
    public boolean isEmpty() {
        return empty || label.line == 0 && label.jumpTargetLine == 0;
    }

    @NonNegative
    int getLine() {
        return label.jumpTargetLine == 0 ? label.line : label.jumpTargetLine;
    }

    private void readObject(@NonNull ObjectInputStream in) throws IOException, ClassNotFoundException {
        label = new Label();
        label.line = in.readInt();
        in.defaultReadObject();
    }

    private void writeObject(@NonNull ObjectOutputStream out) throws IOException {
        int line = getLine();
        out.writeInt(line);
        out.defaultWriteObject();
    }
}

1	/*
2	* MIT License
3	* Copyright (c) 2006-2025 JMockit developers
4	* See LICENSE file for full license text.
5	*/
6	package mockit.coverage.lines;
7
8	import edu.umd.cs.findbugs.annotations.NonNull;
9
10	import java.io.IOException;
11	import java.io.ObjectInputStream;
12	import java.io.ObjectOutputStream;
13
14	import mockit.asm.controlFlow.Label;
15
16	import org.checkerframework.checker.index.qual.NonNegative;
17
18	/**
19	* Coverage data gathered for a branch inside a line of source code.
20	*/
21	public final class BranchCoverageData extends LineSegmentData {
22	private static final long serialVersionUID = 1003335601845442606L;
23	static final BranchCoverageData INVALID = new BranchCoverageData(new Label());	×
24
25	@NonNull
26	private transient Label label;
27
28	BranchCoverageData(@NonNull Label label) {	×
29	this.label = label;	×
30	}	×
31
32	@Override
33	public boolean isEmpty() {
34	return empty \|\| label.line == 0 && label.jumpTargetLine == 0;	×
35	}
36
37	@NonNegative
38	int getLine() {
39	return label.jumpTargetLine == 0 ? label.line : label.jumpTargetLine;	×
40	}
41
42	private void readObject(@NonNull ObjectInputStream in) throws IOException, ClassNotFoundException {
43	label = new Label();	×
44	label.line = in.readInt();	×
45	in.defaultReadObject();	×
46	}	×
47
48	private void writeObject(@NonNull ObjectOutputStream out) throws IOException {
49	int line = getLine();	×
50	out.writeInt(line);	×
51	out.defaultWriteObject();	×
52	}	×
53	}

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