highlightIr_(jsonGraph) {
    let focusOffset = getOffsetWithin(this.irElement_);
    setInnerHtml(this.irElement_, this.package_['ir_html']);
    if (focusOffset != null) {
      setPositionAtOffset(this.irElement_, focusOffset);
    }
  }
/**
   * Highlights the IR text source using the JSON graphified IR. This puts the
   * marked up IR from the server into the IR text element.
   * @param {!Object} jsonGraph
   * @private
   */
Highlights the IR text source using the JSON graphified IR. This puts the
marked up IR from the server into the IR text element.
@param {!Object} jsonGraph
@private
Highlights the IR text source using the JSON graphified IR . This puts the marked up IR from the server into the IR text element . @param { !Object } jsonGraph @private
highlightIr_(jsonGraph) {
    let focusOffset = getOffsetWithin(this.irElement_);
    setInnerHtml(this.irElement_, this.package_['ir_html']);
    if (focusOffset != null) {
      setPositionAtOffset(this.irElement_, focusOffset);
    }
  }
highlightIr_ ( jsonGraph ) { let focusOffset = getOffsetWithin ( this . irElement_ ) ; setInnerHtml ( this . irElement_ , this . package_ [ 'ir_html' ] ) ; if ( focusOffset != null ) { setPositionAtOffset ( this . irElement_ , focusOffset ) ; } }
Highlights the IR text source using the JSON graphified IR.
Highlights the IR text source using the JSON graphified IR .