Package Name: java.io.fileinputstream

Return to: Package List

with java.io.InputStream; use java.io.InputStream;
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.FileInputStream is
    type FileInputStream_Obj is new InputStream_Obj with null record;

    type FileInputStream_Ptr is access all FileInputStream_Obj'Class;
    function new_FileInputStream(
        name : String_Ptr;
        Obj : FileInputStream_Ptr := null)

      return FileInputStream_Ptr;
    function new_FileInputStream(
        file : File_Ptr;
        Obj : FileInputStream_Ptr := null)

      return FileInputStream_Ptr;
    function new_FileInputStream(
        fdObj : FileDescriptor_Ptr;
        Obj : FileInputStream_Ptr := null)

      return FileInputStream_Ptr;

    function read(Obj : access FileInputStream_Obj) return Integer;
    function read(Obj : access FileInputStream_Obj;
        b : String)

      return Integer;
    function read(Obj : access FileInputStream_Obj;
        b : String;
        off : Integer;
        len : Integer)

      return Integer;
    function skip(Obj : access FileInputStream_Obj;
        P1 : Long_Integer)

      return Long_Integer;

    function available(Obj : access FileInputStream_Obj) return Integer;

    procedure close(Obj : access FileInputStream_Obj);

    function getFD(Obj : access FileInputStream_Obj) return FileDescriptor_Ptr;
    pragma Import(Java, skip);
    pragma Import(Java, close);
    pragma Import(Java, getFD);
    pragma Import(Java, available);

    pragma Import(Java, read);

    pragma Import(Java_Constructor, new_FileInputStream);
end java.io.FileInputStream;