mockit.coverage.reporting.packages.PackageCoverageReport Maven / Gradle / Ivy

Go to download
/*
 * Copyright (c) 2006 JMockit developers
 * This file is subject to the terms of the MIT license (see LICENSE.txt).
 */
package mockit.coverage.reporting.packages;

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

import java.io.PrintWriter;
import java.util.Arrays;
import java.util.Collection;
import java.util.List;
import java.util.Map;

import mockit.coverage.data.FileCoverageData;

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

final class PackageCoverageReport extends ListWithFilesAndPercentages {
    @NonNull
    private final Map filesToFileData;
    @Nullable
    private final Collection sourceFilesNotFound;
    @NonNull
    private final char[] fileNameWithSpaces;

    PackageCoverageReport(@NonNull PrintWriter output, @Nullable Collection sourceFilesNotFound,
            @NonNull Map filesToFileData,
            @NonNull Collection> allSourceFileNames) {
        super(output, "          ");
        this.sourceFilesNotFound = sourceFilesNotFound;
        this.filesToFileData = filesToFileData;
        fileNameWithSpaces = new char[maximumSourceFileNameLength(allSourceFileNames)];
    }

    @NonNegative
    private static int maximumSourceFileNameLength(@NonNull Collection> allSourceFileNames) {
        int maxLength = 0;

        for (List files : allSourceFileNames) {
            for (String fileName : files) {
                int n = fileName.length();

                if (n > maxLength) {
                    maxLength = n;
                }
            }
        }

        return maxLength;
    }

    @Override
    protected void writeMetricsForFile(@Nullable String packageName, @NonNull String fileName) {
        String filePath = packageName == null || packageName.isEmpty() ? fileName : packageName + '/' + fileName;
        FileCoverageData fileData = filesToFileData.get(filePath);

        writeRowStart();
        printIndent();
        output.write("  ");

        int fileNameLength = buildFileNameWithTrailingSpaces(fileName);
        writeTableCellWithFileName(filePath, fileNameLength);
        writeCodeCoverageMetricForFile(fileData);
        writeRowClose();
    }

    @NonNegative
    private int buildFileNameWithTrailingSpaces(@NonNull String fileName) {
        int n = fileName.length();

        fileName.getChars(0, n, fileNameWithSpaces, 0);
        Arrays.fill(fileNameWithSpaces, n, fileNameWithSpaces.length, ' ');

        return n;
    }

    private void writeTableCellWithFileName(@NonNull String filePath, @NonNegative int fileNameLen) {
        if (sourceFilesNotFound == null || sourceFilesNotFound.contains(filePath)) {
            output.write(fileNameWithSpaces);
        } else {
            output.write("");
            output.write(fileNameWithSpaces, 0, fileNameLen);
            output.write("");
            output.write(fileNameWithSpaces, fileNameLen, fileNameWithSpaces.length - fileNameLen);
        }

        output.println("");
    }

    private void writeCodeCoverageMetricForFile(@NonNull FileCoverageData coverageInfo) {
        int percentage = coverageInfo.getCoveragePercentage();
        int covered = coverageInfo.getCoveredItems();
        int total = coverageInfo.getTotalItems();

        coveredItems += covered;
        totalItems += total;

        printCoveragePercentage(covered, total, percentage);
    }
}