public void ReInit(TextReader textReader, int startLine, int startColumn) { ReInit(textReader, startLine, startColumn, 4096); }