in src/main/resources/static/coverage.js [409:424]
async provideCoverageRanges(changeNum, path, basePatchNum, patchNum) {
const changeInfo = {
host: this.getNormalizedHost(window.location.host),
project: this.parseProjectFromPathName(window.location.pathname),
changeNum: parseInt(changeNum),
patchNum: parseInt(patchNum),
};
this.updateCoverageDataIfNecessary(changeInfo);
try {
const coverageRanges = await this.coverageData.rangesPromise;
return coverageRanges[path] || [];
} catch(error) {
console.log(error);
return null;
}
}