Package Name: java.io.bufferedoutputstream
with java.io.FilterOutputStream; use java.io.FilterOutputStream;
with java.io.OutputStream; use java.io.OutputStream;
package java.io.BufferedOutputStream is
type BufferedOutputStream_Obj is new FilterOutputStream_Obj with null record;
type BufferedOutputStream_Ptr is access all BufferedOutputStream_Obj'Class;
function new_BufferedOutputStream(
stdout : OutputStream_Ptr;
Obj : BufferedOutputStream_Ptr := null)
return BufferedOutputStream_Ptr;
function new_BufferedOutputStream(
stdout : OutputStream_Ptr;
size : Integer;
Obj : BufferedOutputStream_Ptr := null)
return BufferedOutputStream_Ptr;
procedure write(Obj : access BufferedOutputStream_Obj;
b : Integer);
procedure write(Obj : access BufferedOutputStream_Obj;
b : String;
off : Integer;
len : Integer);
procedure flush(Obj : access BufferedOutputStream_Obj);
pragma Import(Java, flush);
pragma Import(Java, write);
pragma Import(Java_Constructor, new_BufferedOutputStream);
end java.io.BufferedOutputStream;