Package Name: java.io.pushbackinputstream
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;