1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
/* Copyright 2002-2005 Elliotte Rusty Harold
This library is free software; you can redistribute it and/or modify
it under the terms of version 2.1 of the GNU Lesser General Public
License as published by the Free Software Foundation.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the
Free Software Foundation, Inc., 59 Temple Place, Suite 330,
Boston, MA 02111-1307 USA
You can contact Elliotte Rusty Harold by sending e-mail to
elharo@metalab.unc.edu. Please include the word "XOM" in the
subject line. The XOM home page is located at http://www.xom.nu/
*/
package nu.xom;
import java.io.IOException;
import java.io.Writer;
final class UnsynchronizedBufferedWriter extends Writer {
private final static int CAPACITY = 8192;
private char[] buffer = new char[CAPACITY];
private int position = 0;
private Writer out;
public UnsynchronizedBufferedWriter(Writer out) {
this.out = out;
}
public void write(char[] buffer, int offset, int length) throws IOException {
throw new UnsupportedOperationException("XOM bug: this statement shouldn't be reachable.");
}
public void write(String s) throws IOException {
write(s, 0, s.length());
}
public void write(String s, int offset, int length) throws IOException {
while (length > 0) {
int n = Math.min(CAPACITY - position, length);
s.getChars(offset, offset + n, buffer, position);
position += n;
offset += n;
length -= n;
if (position >= CAPACITY) flushInternal();
}
}
public void write(int c) throws IOException {
if (position >= CAPACITY) flushInternal();
buffer[position] = (char) c;
position++;
}
public void flush() throws IOException {
flushInternal();
out.flush();
}
private void flushInternal() throws IOException {
if (position != 0) {
out.write(buffer, 0, position);
position = 0;
}
}
public void close() throws IOException {
throw new UnsupportedOperationException("How;d we get here?");
}
}
|