unhighlightEdge(edgeId) {
    let srcId = this.irGraph_.edge(edgeId).sourceId;
    let tgtId = this.irGraph_.edge(edgeId).targetId;
    document.getElementById(`ir-node-def-${srcId}`)
        .classList.remove('ir-node-identifier-highlighted');
    document.querySelectorAll(`.ir-edge-${srcId}-${tgtId}`).forEach(e => {
      e.classList.remove('ir-node-identifier-highlighted');
    });
    if (this.graphView_) {
      this.graphView_.unhighlightEdge(edgeId);
    }
    this.unhighlightNode(srcId);
  }
/**
   * Highlights the edge with the given id in the graph and the textual IR.
   * @param {string} edgeId
   */
Highlights the edge with the given id in the graph and the textual IR.
@param {string} edgeId
Highlights the edge with the given id in the graph and the textual IR . @param { string } edgeId
unhighlightEdge(edgeId) {
    let srcId = this.irGraph_.edge(edgeId).sourceId;
    let tgtId = this.irGraph_.edge(edgeId).targetId;
    document.getElementById(`ir-node-def-${srcId}`)
        .classList.remove('ir-node-identifier-highlighted');
    document.querySelectorAll(`.ir-edge-${srcId}-${tgtId}`).forEach(e => {
      e.classList.remove('ir-node-identifier-highlighted');
    });
    if (this.graphView_) {
      this.graphView_.unhighlightEdge(edgeId);
    }
    this.unhighlightNode(srcId);
  }
unhighlightEdge ( edgeId ) { let srcId = this . irGraph_ . edge ( edgeId ) . sourceId ; let tgtId = this . irGraph_ . edge ( edgeId ) . targetId ; document . getElementById ( ` ${ srcId } ` ) . classList . remove ( 'ir-node-identifier-highlighted' ) ; document . querySelectorAll ( ` ${ srcId } ${ tgtId } ` ) . forEach ( e => { e . classList . remove ( 'ir-node-identifier-highlighted' ) ; } ) ; if ( this . graphView_ ) { this . graphView_ . unhighlightEdge ( edgeId ) ; } this . unhighlightNode ( srcId ) ; }
Highlights the edge with the given id in the graph and the textual IR.
Highlights the edge with the given id in the graph and the textual IR .