/** Read a character. */ public char readChar() throws java.io.IOException { if (inBuf > 0) { --inBuf; if (++bufpos == bufsize) bufpos = 0; return buffer[bufpos]; } ++bufpos; if (bufpos >= maxNextCharInd) fillBuff(); char c = buffer[bufpos]; if (isTrackLineColumn()) updateLineColumn(c); return c; }
/** Read a character. */ public char readChar() throws java.io.IOException { if (inBuf > 0) { --inBuf; if (++bufpos == bufsize) bufpos = 0; return buffer[bufpos]; } ++bufpos; if (bufpos >= maxNextCharInd) fillBuff(); char c = buffer[bufpos]; if (isTrackLineColumn()) updateLineColumn(c); return c; }