Package Name: java.io.inputstream

Return to: Package List

with java.lang; use java.lang;

package java.io.InputStream is
    type InputStream_Obj is abstract new Object with null record;

    type InputStream_Ptr is access all InputStream_Obj'Class;

    function read(Obj : access InputStream_Obj) return Integer is abstract;
    function read(Obj : access InputStream_Obj;
        b : String)

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

      return Integer;
    function skip(Obj : access InputStream_Obj;
        n : Long_Integer)

      return Long_Integer;

    function available(Obj : access InputStream_Obj) return Integer;

    procedure close(Obj : access InputStream_Obj);
    procedure mark(Obj : access InputStream_Obj;

        readlimit : Integer);

    procedure reset(Obj : access InputStream_Obj);

    function markSupported(Obj : access InputStream_Obj) return Boolean;

    procedure init_InputStream(Obj : access InputStream_Obj'Class);
    pragma Import(Java, reset);
    pragma Import(Java, skip);
    pragma Import(Java, close);
    pragma Import(Java, mark);
    pragma Import(Java, available);
    pragma Import(Java, read);

    pragma Import(Java, markSupported);

    pragma Import(Java_Constructor, init_InputStream);
end java.io.InputStream;