org.pitest.coverage

Class CoverageSummary

java.lang.Object

org.pitest.coverage.CoverageSummary

public final class CoverageSummary
extends Object

Basic summary of line coverage data

Constructor Summary

Constructors

Constructor and Description
CoverageSummary(int numberOfLines, int numberOfCoveredLines)

Method Summary

Modifier and Type	Method and Description
int	getCoverage()
int	getNumberOfCoveredLines()
int	getNumberOfLines()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CoverageSummary

public CoverageSummary(int numberOfLines,
                       int numberOfCoveredLines)

Method Detail

getNumberOfLines

public int getNumberOfLines()

getNumberOfCoveredLines

public int getNumberOfCoveredLines()

getCoverage

public int getCoverage()