@Override public void flush() { flushBuffer() ; IO.flush(out) ; }
public static Writer2 wrap(Writer writer) { if ( writer instanceof BufferedWriter ) return new Writer2(writer) ; if ( writer instanceof BufferingWriter ) return new Writer2(writer) ; writer = new BufferingWriter(writer) ; return new Writer2(writer) ; }
public static PeekReader make(Reader r, int bufferSize) { // It is worth our own buffering even if a BufferedReader // because of the synchronized on one char reads in BufferedReader. return new PeekReader(new CharStreamBuffered(r, bufferSize)) ; }
private final void advanceAndSet() { try { int ch = source.read() ; setCurrByte(ch) ; } catch (IOException ex) { IO.exception(ex) ; } }
public static String toString(Printable f) { IndentedLineBuffer buff = new IndentedLineBuffer() ; f.output(buff) ; return buff.toString() ; } }
@Override public void close() { flushBuffer() ; IO.close(out) ; }
private static void checkLineCol(PeekReader r, long lineNum, long colNum) { assertEquals("Line", lineNum, r.getLineNum()) ; assertEquals("Column", colNum, r.getColNum()) ; }
public static PeekInputStream make(InputStream inputStream, int bufferSize) { if ( inputStream instanceof PeekInputStream ) return (PeekInputStream)inputStream ; if ( inputStream instanceof InputStreamBuffered ) return new PeekInputStream((InputStreamBuffered)inputStream) ; InputStreamBuffered in = new InputStreamBuffered(inputStream, bufferSize) ; return new PeekInputStream(in) ; }
private static void checkLineCol(PeekInputStream in, long lineNum, long colNum) { assertEquals("Line", lineNum, in.getLineNum()) ; assertEquals("Column", colNum, in.getColNum()) ; }
private final void advanceAndSet() { try { int ch = source.read() ; setCurrByte(ch) ; } catch (IOException ex) { IO.exception(ex) ; } }
public static String toString(Printable f) { IndentedLineBuffer buff = new IndentedLineBuffer() ; f.output(buff) ; return buff.toString() ; } }
@Override public void close() { flushBuffer() ; IO.close(out) ; }
public static PeekInputStream make(InputStream inputStream, int bufferSize) { if ( inputStream instanceof PeekInputStream ) return (PeekInputStream)inputStream ; if ( inputStream instanceof InputStreamBuffered ) return new PeekInputStream((InputStreamBuffered)inputStream) ; InputStreamBuffered in = new InputStreamBuffered(inputStream, bufferSize) ; return new PeekInputStream(in) ; }
private final void advanceAndSet() { try { int ch = source.read() ; setCurrByte(ch) ; } catch (IOException ex) { IO.exception(ex) ; } }
@Override public void close() { flushBuffer() ; IO.close(out) ; }