01: package java.io;
02:
03: import java.nio.channels.FileChannel;
04: import gnu.java.nio.channels.FileChannelImpl;
05:
06: public class FileInputStream extends InputStream {
07: public FileInputStream(String name) throws FileNotFoundException {
08: }
09:
10: public FileInputStream(File file) throws FileNotFoundException {
11: }
12:
13: public FileInputStream(FileDescriptor fdObj) {
14: }
15:
16: FileInputStream(FileChannelImpl ch) {
17: }
18:
19: public int available() throws IOException {
20: }
21:
22: public void close() throws IOException {
23: }
24:
25: protected void finalize() throws IOException {
26: }
27:
28: public final FileDescriptor getFD() throws IOException {
29: }
30:
31: public int read() throws IOException {
32: }
33:
34: public int read(byte[] buf) throws IOException {
35: }
36:
37: public int read(byte[] buf, int offset, int len) throws IOException {
38: }
39:
40: public synchronized long skip(long numBytes) throws IOException {
41: }
42:
43: public synchronized FileChannel getChannel() {
44: }
45: }
|