CoverageSummary.java

package org.pitest.coverage;

/**
 * Basic summary of line coverage data
 */
public final class CoverageSummary {

  private final int numberOfLines;
  private final int numberOfCoveredLines;

  public CoverageSummary(final int numberOfLines, final int numberOfCoveredLines) {
    this.numberOfLines = numberOfLines;
    this.numberOfCoveredLines = numberOfCoveredLines;
  }

  public int getNumberOfLines() {
    return this.numberOfLines;
  }

  public int getNumberOfCoveredLines() {
    return this.numberOfCoveredLines;
  }

  public int getCoverage() {
    return this.numberOfLines == 0 ? 100 : Math
        .round((100f * this.numberOfCoveredLines) / this.numberOfLines);
  }

}