private void expandBuffer(final int minSize) throws IOException { int newSize=buffer.length*2; if (newSize<minSize) newSize=minSize; final char[] newBuffer=new char[newSize]; shiftBuffer(buffer,newBuffer); buffer=newBuffer; }
private void discardUsedText() throws IOException { if (minRequiredBufferBegin==bufferBegin) return; shiftBuffer(buffer,buffer); }