Package Name: java.io.pipedoutputstream

Return to: Package List

with java.io.OutputStream; use java.io.OutputStream;
-- with java.io.PipedInputStream; use java.io.PipedInputStream; -- circular

package java.io.PipedOutputStream is
    type PipedOutputStream_Obj is new OutputStream_Obj with null record;

    type PipedOutputStream_Ptr is access all PipedOutputStream_Obj'Class;
    procedure init_PipedOutputStream(Obj : access PipedOutputStream_Obj'Class);

    function new_PipedOutputStream(Obj : PipedOutputStream_Ptr := null) return PipedOutputStream_Ptr;
    procedure write(Obj : access PipedOutputStream_Obj;

        b : Integer);
    procedure write(Obj : access PipedOutputStream_Obj;
        b : String;
        off : Integer;

        len : Integer);

    procedure close(Obj : access PipedOutputStream_Obj);
    pragma Import(Java, close);

    pragma Import(Java, write);
    pragma Import(Java_Constructor, init_PipedOutputStream);

    pragma Import(Java_Constructor, new_PipedOutputStream);
end java.io.PipedOutputStream;