All Downloads are FREE. Search and download functionalities are using the official Maven repository.

mockit.coverage.dataItems.FieldData Maven / Gradle / Ivy

Go to download

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.dataItems;

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

import java.io.IOException;
import java.io.ObjectOutputStream;
import java.io.Serializable;

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

public abstract class FieldData implements Serializable {
    private static final long serialVersionUID = 8565599590976858508L;

    @NonNegative
    int readCount;
    @NonNegative
    int writeCount;
    @Nullable
    Boolean covered;

    private void writeObject(@NonNull ObjectOutputStream out) throws IOException {
        isCovered();
        out.defaultWriteObject();
    }

    @NonNegative
    public final int getReadCount() {
        return readCount;
    }

    @NonNegative
    public final int getWriteCount() {
        return writeCount;
    }

    public final boolean isCovered() {
        if (covered == null) {
            covered = false;
            markAsCoveredIfNoUnreadValuesAreLeft();
        }

        return covered;
    }

    abstract void markAsCoveredIfNoUnreadValuesAreLeft();

    final void addCountsFromPreviousTestRun(@NonNull FieldData previousInfo) {
        readCount += previousInfo.readCount;
        writeCount += previousInfo.writeCount;
        covered = isCovered() || previousInfo.isCovered();
    }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy