Source Code Cross Referenced for BufferedOutputStream.java in  » Testing » KeY » java » io » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package java.io;
02:
03:        public class BufferedOutputStream extends FilterOutputStream {
04:            protected byte[] buf;
05:            protected int count;
06:
07:            public BufferedOutputStream(OutputStream out) {
08:            }
09:
10:            public BufferedOutputStream(OutputStream out, int size) {
11:            }
12:
13:            public synchronized void flush() throws IOException {
14:            }
15:
16:            public synchronized void write(int b) throws IOException {
17:            }
18:
19:            public synchronized void write(byte[] buf, int offset, int len)
20:                    throws IOException {
21:            }
22:        }