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

01:        package java.io;
02:
03:        import java.nio.channels.ByteChannel;
04:        import java.nio.channels.FileChannel;
05:
06:        public final class FileDescriptor {
07:            public static final FileDescriptor in;
08:            public static final FileDescriptor out;
09:            public static final FileDescriptor err;
10:
11:            final ByteChannel channel;
12:
13:            public FileDescriptor() {
14:            }
15:
16:            FileDescriptor(ByteChannel channel) {
17:            }
18:
19:            public void sync() throws SyncFailedException {
20:            }
21:
22:            public boolean valid() {
23:            }
24:        }