Package Name: java.io.filedescriptor
package java.io.FileDescriptor is
type FileDescriptor_Obj is tagged limited null record;
type FileDescriptor_Ptr is access all FileDescriptor_Obj;
stdin : constant FileDescriptor_Ptr;
pragma Import(Java, stdin, "in");
stdout : constant FileDescriptor_Ptr;
pragma Import(Java, stdout, "out");
stderr : constant FileDescriptor_Ptr;
pragma Import(Java, stderr, "err");
function valid(Obj : access FileDescriptor_Obj) return Boolean;
function new_FileDescriptor return FileDescriptor_Ptr;
pragma Import(Java, valid);
pragma Import(Java_Constructor, new_FileDescriptor);
end java.io.FileDescriptor;