54
this.nextNodeAfterCurrent();
55
} else {
56
>
// The reader is somewhere in the current node.
nodeReader.ts
57
>
const nextChildIdx = getNextChildIdx(curNode);
58
>
if (nextChildIdx !== -1) {
59
// Go to the first child and repeat.
60
this.nextNodes.push(curNode.getChild(nextChildIdx)!);
61
this.offsets.push(curNodeOffset);
62
this.idxs.push(nextChildIdx);
64
>
// We don't have children
65
>
this.nextNodeAfterCurrent();
66
>
}
67
>
}
68
} else {
69
// readerOffsetBeforeChange === curNodeOffset