Package Name: java.io.pipedoutputstream
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;