public int readSeparatorChar() { if (readCharIn(" \f\r\t\v") != 0) { return 1; } else { pushPos(); if (readCharIn("\\") != 0) { while (readCharIn(" \f\r\t\v") != 0); if (readCharIn("\n") != 0) { popPos(); return 1; } } popPosBack(); return 0; } }