private int consumeOffset; // = 0; public LexerMarker(TextReader reader) { buffer = new LexerBuffer(16, 4096, reader); markers = new Int32Stack(16, 4096); }
public ParserMarker(TextReader reader) { buffer = new ParserBuffer(16, 4096, reader); markers = new Int32Stack(16, 4096); }