//EOF was already found... let's restore the previous indentation level!
if (tokenManager.levelBeforeEof != -1) {
tokenManager.level = tokenManager.levelBeforeEof;
tokenManager.levelBeforeEof = -1; //mark it as not found again.
}
inputStream.restoreLineColPos(currentToken.endLine, currentToken.endColumn);
}
grammar.addAndReport(e, "Created custom token: " + token);
return new SpecialStr(token, currentToken.beginLine, currentToken.beginColumn);
}
}