()
| 221 | } |
| 222 | |
| 223 | public clearSelection(): void { |
| 224 | if (this.selectionCleared) return; |
| 225 | this.blockSelections.clearCurrent(); |
| 226 | this.instructionSelections.clearCurrent(); |
| 227 | this.nodeSelections.clearCurrent(); |
| 228 | this.updateSelection(); |
| 229 | this.selectionCleared = true; |
| 230 | } |
| 231 | |
| 232 | // instruction-id are the divs for the register allocator phase |
| 233 | public addHtmlElementForInstructionId(anyInstructionId: any, htmlElement: HTMLElement): void { |
nothing calls this directly
no test coverage detected