Package Name: java.io.fileoutputstream
with java.io.OutputStream; use java.io.OutputStream;
with java.lang.String; use java.lang.String;
with java.io.File; use java.io.File;
with java.io.FileDescriptor; use java.io.FileDescriptor;
package java.io.FileOutputStream is
type FileOutputStream_Obj is new OutputStream_Obj with null record;
type FileOutputStream_Ptr is access all FileOutputStream_Obj'Class;
function new_FileOutputStream(
name : String_Ptr;
Obj : FileOutputStream_Ptr := null)
return FileOutputStream_Ptr;
function new_FileOutputStream(
file : File_Ptr;
Obj : FileOutputStream_Ptr := null)
return FileOutputStream_Ptr;
function new_FileOutputStream(
fdObj : FileDescriptor_Ptr;
Obj : FileOutputStream_Ptr := null)
return FileOutputStream_Ptr;
procedure write(Obj : access FileOutputStream_Obj;
P1 : Integer);
procedure write(Obj : access FileOutputStream_Obj;
b : String);
procedure write(Obj : access FileOutputStream_Obj;
b : String;
off : Integer;
len : Integer);
procedure close(Obj : access FileOutputStream_Obj);
function getFD(Obj : access FileOutputStream_Obj) return FileDescriptor_Ptr;
pragma Import(Java, close);
pragma Import(Java, getFD);
pragma Import(Java, write);
pragma Import(Java_Constructor, new_FileOutputStream);
end java.io.FileOutputStream;