Method setTree

src/lib/editor/editor.ts:128–158

({ treeObject }: ParsedTree, resetCursor: boolean = true)

  }

  setTree({ treeObject }: ParsedTree, resetCursor: boolean = true) {
    const tree = Tree.fromObject(treeObject);
    tree.needReset = resetCursor;
    getEditorState().resetHighlight();

    this.tree = tree;
    getTreeState().setTree(tree, this.kind);

    // replace editor text to the new tree text
    this.editor.executeEdits(null, [
      {
        text: tree.text,
        range: this.model()?.getFullModelRange() ?? {
          startLineNumber: 1,
          startColumn: 1,
          endLineNumber: Infinity,
          endColumn: Infinity,
        },
      },
    ]);
    // Indicates the above edit is a complete undo/redo change.
    this.editor.pushUndoStop();

    if (resetCursor) {
      this.revealPosition(1, 1);
      getStatusState().setRevealPosition(newRevealPosition(tree.version ?? 0));
    }

    console.l("set tree:", tree);
    return tree;
  }

  /**
   * Applies a batch of structured tree edits, typically originating from UI components like the graph view,