/** * Zero out coverable lines as they're encountered */ public void coverLine(int i) { if (isCoverageEnabled()) { growCoverageLines(i); coverage[i] = 0; } }
/** * Zero out coverable lines as they're encountered */ public void coverLine(int i) { if (isCoverageEnabled()) { growCoverageLines(i); coverage[i] = 0; } }
/** * At end of a parse if coverage is enabled we will do final processing * of the primitive coverage array and make sure runtimes coverage data * has been updated with this new data. */ public CoverageData finishCoverage(String file, int lines) { if (!isCoverageEnabled()) return null; growCoverageLines(lines); CoverageData data = runtime.getCoverageData(); data.prepareCoverage(file, coverage); return data; }
/** * At end of a parse if coverage is enabled we will do final processing * of the primitive coverage array and make sure runtimes coverage data * has been updated with this new data. */ public CoverageData finishCoverage(String file, int lines) { if (!isCoverageEnabled()) return null; growCoverageLines(lines); CoverageData data = runtime.getCoverageData(); data.prepareCoverage(file, coverage); return data; }