updateCoverageDataIfNecessary()

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);
      })
    }
  }