Package Name: java.io.bufferedoutputstream

Return to: Package List

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;