Package Name: java.io.pushbackinputstream

Return to: Package List

with java.io.FilterInputStream; use java.io.FilterInputStream;
with java.io.InputStream; use java.io.InputStream;

package java.io.PushbackInputStream is
    type PushbackInputStream_Obj is new FilterInputStream_Obj with null record;

    type PushbackInputStream_Ptr is access all PushbackInputStream_Obj'Class;
    function new_PushbackInputStream(
        stdin : InputStream_Ptr;
        Obj : PushbackInputStream_Ptr := null)

      return PushbackInputStream_Ptr;

    function read(Obj : access PushbackInputStream_Obj) return Integer;
    function read(Obj : access PushbackInputStream_Obj;
        bytes : String;
        offset : Integer;
        length : Integer)

      return Integer;
    procedure unread(Obj : access PushbackInputStream_Obj;

        ch : Integer);

    function available(Obj : access PushbackInputStream_Obj) return Integer;

    function markSupported(Obj : access PushbackInputStream_Obj) return Boolean;
    pragma Import(Java, unread);
    pragma Import(Java, available);
    pragma Import(Java, read);

    pragma Import(Java, markSupported);

    pragma Import(Java_Constructor, new_PushbackInputStream);
end java.io.PushbackInputStream;