org.pitest.coverage.ReportCoverage Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of pitest-entry Show documentation

Pitest entry point

There is a newer version: 1.17.1

package org.pitest.coverage;

import org.pitest.classinfo.ClassName;

import java.util.Collection;
import java.util.Set;

/**
 * Subset of coverage interface used by legacy html report
 */
public interface ReportCoverage {
    ClassLines getCodeLinesForClass(ClassName clazz);

    Set getCoveredLines(ClassName clazz);

    Collection getClassesForFile(String sourceFile, String packageName);

}