• Home
• org.pitest
• pitest-entry
• 1.18.1
• source code
• CoverageDatabase.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

package org.pitest.coverage;

import org.pitest.classinfo.ClassName;

import java.math.BigInteger;
import java.util.Collection;

public interface CoverageDatabase extends ReportCoverage {

  int testCount();

  Collection getTestsForClass(ClassName clazz);

  Collection getTestsForBlockLocation(BlockLocation location);

  BigInteger getCoverageIdForClass(ClassName clazz);

}