in src/main/resources/static/coverage.js [379:398]
updateCoverageDataIfNecessary(changeInfo) {
if (isNaN(changeInfo.changeNum) || isNaN(changeInfo.patchNum) ||
changeInfo.changeNum <= 0 || changeInfo.patchNum <= 0) {
return;
}
if (JSON.stringify(changeInfo) !==
JSON.stringify(this.coverageData.changeInfo)) {
this.coverageData.changeInfo = changeInfo;
this.coverageData.rangesPromise = this.fetchCoverageRanges(changeInfo);
this.coverageData.rangesPromise.catch((error) => {
console.warn(error);
});
this.coverageData.percentagesPromise = this.fetchCoveragePercentages(
changeInfo);
this.coverageData.percentagesPromise.catch((error) => {
console.warn(error);
})
}
}