Package Name:    java.io.sequenceinputstream
with java.io.InputStream; use java.io.InputStream;
with java.util.Enumeration; use java.util.Enumeration;
package java.io.SequenceInputStream is
    type SequenceInputStream_Obj is new InputStream_Obj with null record;
    type SequenceInputStream_Ptr is access all SequenceInputStream_Obj'Class;
    function new_SequenceInputStream(
        e : Enumeration_Ptr;
        Obj : SequenceInputStream_Ptr := null)
      return SequenceInputStream_Ptr;
    function new_SequenceInputStream(
        s1 : InputStream_Ptr;
        s2 : InputStream_Ptr;
        Obj : SequenceInputStream_Ptr := null)
      return SequenceInputStream_Ptr;
    function read(Obj : access SequenceInputStream_Obj) return Integer;
    function read(Obj : access SequenceInputStream_Obj;
        buf : String;
        pos : Integer;
        len : Integer)
      return Integer;
    procedure close(Obj : access SequenceInputStream_Obj);
    pragma Import(Java, close);
    pragma Import(Java, read);
    pragma Import(Java_Constructor, new_SequenceInputStream);
end java.io.SequenceInputStream;