(char[] b, int offset, int length)
| 32 | } |
| 33 | |
| 34 | public void write(char[] b, int offset, int length) throws IOException { |
| 35 | if (length > buffer.length - position) { |
| 36 | drain(); |
| 37 | out.write(b, offset, length); |
| 38 | } else { |
| 39 | System.arraycopy(b, offset, buffer, position, length); |
| 40 | position += length; |
| 41 | } |
| 42 | } |
| 43 | |
| 44 | public void flush() throws IOException { |
| 45 | drain(); |