-- PUT 10 INTEGERS IN SEQUENCE AND TEST IF EMPTY USING X0SEQ PKG.

with Instrument, X0seq;
use Instrument;

procedure Sq10a2 is

    package Intseq is new X0seq (50, Integer);

    use Intseq;

    My_Sequence : Sequence;

begin

    Start ("SQ10A2", "PUT_NEXT 10 ELEMENTS AND TEST IS_NOT_EMPTY_TO_END.");
    for Ii in 1 .. 1000 loop

        for I in 1 .. 10 loop

            Put_Next (My_Sequence, I);

        end loop;

        if

           Is_Not_Empty_To_End (My_Sequence) then

            Comment ("IS_NOT_EMPTY_TO_END RETURNS TRUE AFTER PUT_NEXT SERIES");

        end if;
    end loop;
    Stop;

end Sq10a2;