Package Name: java.io.filedescriptor

Return to: Package List

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;