Package Name: java.io.stringbufferinputstream
with java.io.InputStream; use java.io.InputStream;
with java.lang.String; use java.lang.String;
package java.io.StringBufferInputStream is
type StringBufferInputStream_Obj is new InputStream_Obj with null record;
type StringBufferInputStream_Ptr is access all StringBufferInputStream_Obj'Class;
function new_StringBufferInputStream(
s : String_Ptr;
Obj : StringBufferInputStream_Ptr := null)
return StringBufferInputStream_Ptr;
function read(Obj : access StringBufferInputStream_Obj) return Integer;
function read(Obj : access StringBufferInputStream_Obj;
b : String;
off : Integer;
len : Integer)
return Integer;
function skip(Obj : access StringBufferInputStream_Obj;
n : Long_Integer)
return Long_Integer;
function available(Obj : access StringBufferInputStream_Obj) return Integer;
procedure reset(Obj : access StringBufferInputStream_Obj);
pragma Import(Java, reset);
pragma Import(Java, skip);
pragma Import(Java, available);
pragma Import(Java, read);
pragma Import(Java_Constructor, new_StringBufferInputStream);
end java.io.StringBufferInputStream;