annotate src/goodjava/io/BufferedInputStream.java @ 1480:1f41e5921090

input buffering
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 24 Apr 2020 14:32:20 -0600
parents bd13aaeaf6d4
children 97740900c820
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 /*
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 * Copyright (c) 1994, 2013, Oracle and/or its affiliates. All rights reserved.
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 * ORACLE PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 */
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 package goodjava.io;
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 import java.io.InputStream;
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 import java.io.FilterInputStream;
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 import java.io.IOException;
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 /**
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 * A <code>BufferedInputStream</code> adds
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 * functionality to another input stream-namely,
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
15 * the ability to buffer the input. When the <code>BufferedInputStream</code>
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 * is created, an internal buffer array is
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 * created. As bytes from the stream are read
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 * or skipped, the internal buffer is refilled
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 * as necessary from the contained input stream,
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
20 * many bytes at a time.
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 *
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 * @author Arthur van Hoff
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 * @since JDK1.0
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 */
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
25 public final class BufferedInputStream extends FilterInputStream {
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
26 private static int DEFAULT_BUFFER_SIZE = 8192;
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
27 private final byte buf[];
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
28 private boolean isClosed = false;
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
30 /**
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
31 * The index one greater than the index of the last valid byte in
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
32 * the buffer.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
33 * This value is always
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
34 * in the range <code>0</code> through <code>buf.length</code>;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
35 * elements <code>buf[0]</code> through <code>buf[count-1]
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
36 * </code>contain buffered input data obtained
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
37 * from the underlying input stream.
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
38 */
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
39 private int count;
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
41 /**
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
42 * The current position in the buffer. This is the index of the next
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
43 * character to be read from the <code>buf</code> array.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
44 * <p>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
45 * This value is always in the range <code>0</code>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
46 * through <code>count</code>. If it is less
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
47 * than <code>count</code>, then <code>buf[pos]</code>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
48 * is the next byte to be supplied as input;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
49 * if it is equal to <code>count</code>, then
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
50 * the next <code>read</code> or <code>skip</code>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
51 * operation will require more bytes to be
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
52 * read from the contained input stream.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
53 *
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
54 * @see java.io.BufferedInputStream#buf
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
55 */
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
56 private int pos;
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
58 private void checkClosed() throws IOException {
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
59 if (isClosed)
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
60 throw new IOException("Stream closed");
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
61 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
63 /**
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
64 * Creates a <code>BufferedInputStream</code>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
65 * and saves its argument, the input stream
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
66 * <code>in</code>, for later use. An internal
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
67 * buffer array is created and stored in <code>buf</code>.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
68 *
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
69 * @param in the underlying input stream.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
70 */
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
71 public BufferedInputStream(InputStream in) {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
72 this(in, DEFAULT_BUFFER_SIZE);
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
73 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
74
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
75 /**
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
76 * Creates a <code>BufferedInputStream</code>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
77 * with the specified buffer size,
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
78 * and saves its argument, the input stream
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
79 * <code>in</code>, for later use. An internal
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
80 * buffer array of length <code>size</code>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
81 * is created and stored in <code>buf</code>.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
82 *
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
83 * @param in the underlying input stream.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
84 * @param size the buffer size.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
85 */
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
86 public BufferedInputStream(InputStream in, int size) {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
87 super(in);
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
88 buf = new byte[size];
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
89 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
90
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
91 /**
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
92 * Fills the buffer with more data.
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
93 * Assumes that it is being called by a synchronized method.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
94 * This method also assumes that all data has already been read in,
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
95 * hence pos > count.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
96 */
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
97 private void fill() throws IOException {
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
98 pos = 0;
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
99 count = 0;
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
100 int n = super.read(buf, 0, buf.length);
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
101 if (n > 0)
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
102 count = n;
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
103 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
104
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
105 /**
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
106 * See
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
107 * the general contract of the <code>read</code>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
108 * method of <code>InputStream</code>.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
109 *
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
110 * @return the next byte of data, or <code>-1</code> if the end of the
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
111 * stream is reached.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
112 * @exception IOException if this input stream has been closed by
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
113 * invoking its {@link #close()} method,
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
114 * or an I/O error occurs.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
115 * @see java.io.FilterInputStream#in
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
116 */
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
117 public synchronized int read() throws IOException {
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
118 checkClosed();
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
119 if (pos >= count) {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
120 fill();
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
121 if (pos >= count)
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
122 return -1;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
123 }
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
124 return buf[pos++] & 0xff;
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
125 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
126
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
127 /**
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
128 * Read characters into a portion of an array, reading from the underlying
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
129 * stream at most once if necessary.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
130 */
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
131 public synchronized int read(byte[] b, int off, int len) throws IOException {
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
132 checkClosed();
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
133 int avail = count - pos;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
134 if (avail <= 0) {
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
135 /* If the requested length is at least as large as the buffer, do not bother to copy the
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
136 bytes into the local buffer. In this way buffered streams will
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
137 cascade harmlessly. */
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
138 if (len >= buf.length) {
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
139 return super.read(b, off, len);
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
140 }
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
141 fill();
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
142 avail = count - pos;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
143 if (avail <= 0) return -1;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
144 }
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
145 int cnt = (avail < len) ? avail : len;
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
146 System.arraycopy(buf, pos, b, off, cnt);
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
147 pos += cnt;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
148 return cnt;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
149 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
150
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
151 /**
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
152 * See the general contract of the <code>skip</code>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
153 * method of <code>InputStream</code>.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
154 *
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
155 * @exception IOException if the stream does not support seek,
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
156 * or if this input stream has been closed by
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
157 * invoking its {@link #close()} method, or an
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
158 * I/O error occurs.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
159 */
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
160 public synchronized long skip(long n) throws IOException {
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
161 checkClosed();
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
162 long avail = count - pos;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
163 if (avail <= 0) {
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
164 return super.skip(n);
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
165 }
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
166 long skipped = (avail < n) ? avail : n;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
167 pos += skipped;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
168 return skipped;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
169 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
170
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
171 /**
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
172 * Returns an estimate of the number of bytes that can be read (or
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
173 * skipped over) from this input stream without blocking by the next
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
174 * invocation of a method for this input stream. The next invocation might be
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
175 * the same thread or another thread. A single read or skip of this
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
176 * many bytes will not block, but may read or skip fewer bytes.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
177 * <p>
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
178 * This method returns the sum of the number of bytes remaining to be read in
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
179 * the buffer (<code>count&nbsp;- pos</code>) and the result of calling the
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
180 * {@link java.io.FilterInputStream#in in}.available().
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
181 *
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
182 * @return an estimate of the number of bytes that can be read (or skipped
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
183 * over) from this input stream without blocking.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
184 * @exception IOException if this input stream has been closed by
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
185 * invoking its {@link #close()} method,
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
186 * or an I/O error occurs.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
187 */
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
188 public synchronized int available() throws IOException {
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
189 int n = count - pos;
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
190 int avail = super.available();
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
191 return n > (Integer.MAX_VALUE - avail)
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
192 ? Integer.MAX_VALUE
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
193 : n + avail;
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
194 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
195
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
196 public void mark(int readlimit) {}
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
197
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
198 public void reset() throws IOException {
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
199 throw new IOException("mark/reset not supported");
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
200 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
201
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
202 public boolean markSupported() {
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
203 return false;
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
204 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
205
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
206 /**
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
207 * Closes this input stream and releases any system resources
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
208 * associated with the stream.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
209 * Once the stream has been closed, further read(), available(), reset(),
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
210 * or skip() invocations will throw an IOException.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
211 * Closing a previously closed stream has no effect.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
212 *
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
213 * @exception IOException if an I/O error occurs.
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
214 */
1480
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
215 public synchronized void close() throws IOException {
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
216 isClosed = true;
1f41e5921090 input buffering
Franklin Schmidt <fschmidt@gmail.com>
parents: 1479
diff changeset
217 super.close();
1479
Franklin Schmidt <fschmidt@gmail.com>
parents: 1478
diff changeset
218 }
1478
37e582f2e266 clone BufferedInputStream
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
219 }