package org.spoofax.jsglr2.incremental.lookaheadstack;

import org.metaborg.parsetable.query.IActionQuery;
import org.spoofax.jsglr2.incremental.parseforest.IncrementalParseForest;

// TODO the name LookaheadStack is a bit misleading. Rename to something like MixedInputStream?
public interface ILookaheadStack extends IActionQuery, Cloneable {
    void leftBreakdown();

    void popLookahead();

    IncrementalParseForest get();
}

@@ -424,11 +424,309 @@
 t get();
+%0A%0A    // TODO add support for recovery. Resetting should push the characters between new and old position on the stack.%0A    // This is an optimization because the parse nodes in the the part of the input being recovered need to be broken%0A    // down anyway.%0A    // void resetPosition(int position);
 %0A%7D%0A

Add TODO for recovery optimization