home *** CD-ROM | disk | FTP | other *** search
- package java.io;
-
- public final class FileDescriptor {
- // $FF: renamed from: fd int
- private int field_0;
- // $FF: renamed from: in java.io.FileDescriptor
- public static final FileDescriptor field_1 = new FileDescriptor(0);
- public static final FileDescriptor out = new FileDescriptor(1);
- public static final FileDescriptor err = new FileDescriptor(2);
-
- public FileDescriptor() {
- this.field_0 = -1;
- }
-
- private FileDescriptor(int var1) {
- this.field_0 = var1;
- }
-
- public boolean valid() {
- return this.field_0 != -1;
- }
-
- public native void sync() throws SyncFailedException;
-
- private static native void initIDs();
-
- static {
- initIDs();
- }
- }
-