()
| 155 | } |
| 156 | |
| 157 | private initializeSelect(): void { |
| 158 | const view = this; |
| 159 | view.selectMenu.innerHTML = ""; |
| 160 | for (const phase of view.sourceResolver.phases) { |
| 161 | const optionElement = document.createElement("option"); |
| 162 | let maxNodeId = ""; |
| 163 | if ((phase instanceof GraphPhase || phase instanceof TurboshaftGraphPhase) |
| 164 | && phase.highestNodeId != 0) { |
| 165 | maxNodeId = ` ${phase.highestNodeId}`; |
| 166 | } |
| 167 | optionElement.text = `${phase.name}${maxNodeId}`; |
| 168 | view.selectMenu.add(optionElement); |
| 169 | } |
| 170 | this.selectMenu.onchange = function (this: HTMLSelectElement) { |
| 171 | const phaseIndex = this.selectedIndex; |
| 172 | storageSetItem("lastSelectedPhase", phaseIndex); |
| 173 | view.displayPhase(view.sourceResolver.getDynamicPhase(phaseIndex)); |
| 174 | }; |
| 175 | } |
| 176 | |
| 177 | private hideCurrentPhase(): SelectionStorage { |
| 178 | let rememberedSelection = null; |
no test coverage detected