Method insertSourcePositions

deps/v8/tools/turbolizer/src/views/code-view.ts:236–271

(currentSpan: HTMLSpanElement, lineNumber: number,
                                pos: number, end: number, adjust: number)

  }

  private insertSourcePositions(currentSpan: HTMLSpanElement, lineNumber: number,
                                pos: number, end: number, adjust: number): void {
    const view = this;
    const sps = this.sourceResolver.sourcePositionsInRange(this.source.sourceId, pos - adjust, end);
    let offset = 0;
    for (const sourcePosition of sps) {
      // Internally, line numbers are 0-based so we have to substract 1 from the line number. This
      // path in only taken by non-Wasm code. Wasm code relies on setSourceLineToBytecodePosition.
      this.sourceResolver.addAnyPositionToLine(lineNumber - 1, sourcePosition);
      const textNode = currentSpan.tagName === "SPAN" ? currentSpan.lastChild : currentSpan;
      if (!(textNode instanceof Text)) continue;
      const splitLength = Math.max(0, sourcePosition.scriptOffset - pos - offset);
      offset += splitLength;
      const replacementNode = textNode.splitText(splitLength);
      const span = document.createElement("span");
      span.setAttribute("scriptOffset", sourcePosition.scriptOffset.toString());
      span.classList.add("source-position");
      const marker = document.createElement("span");
      marker.classList.add("marker");
      span.appendChild(marker);
      const inlining = this.sourceResolver.getInliningForPosition(sourcePosition);
      if (inlining && view.showAdditionalInliningPosition) {
        const sourceName = this.sourceResolver.getSourceName(inlining.sourceId);
        const inliningMarker = document.createElement("span");
        inliningMarker.classList.add("inlining-marker");
        inliningMarker.setAttribute("data-descr", `${sourceName} was inlined here`);
        span.appendChild(inliningMarker);
      }
      span.onclick = function (e: MouseEvent) {
        e.stopPropagation();
        view.onSelectSourcePosition(sourcePosition, !e.shiftKey);
      };
      view.addHtmlElementToSourcePosition(sourcePosition, span);
      textNode.parentNode.insertBefore(span, replacementNode);
    }
  }

  private insertLineNumber(lineElement: HTMLElement, lineNumber: number): void {
    const lineNumberElement = document.createElement("div");