(index: number)
| 605 | } |
| 606 | |
| 607 | getElementIDAtIndex(index: number): number | null { |
| 608 | const element = this.getElementAtIndex(index); |
| 609 | return element === null ? null : element.id; |
| 610 | } |
| 611 | |
| 612 | getElementByID(id: number): Element | null { |
| 613 | const element = this._idToElement.get(id); |