mockit.coverage.lines.BranchCoverageData Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jmockit Show documentation

JMockit is a Java toolkit for automated developer testing. It contains APIs for the creation of the objects to be tested, for mocking dependencies, and for faking external APIs; JUnit (4 & 5) and TestNG test runners are supported. It also contains an advanced code coverage tool.

The newest version!

/*
 * Copyright (c) 2006 JMockit developers
 * This file is subject to the terms of the MIT license (see LICENSE.txt).
 */
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();
    }
}