-- TEST A FULL INTEGER QUEUE USING X0QUE PACKAGE

with Instrument, X0que;
use Instrument;

procedure Intqa2 is

    package Iqueue is new X0que (50, Integer);

    use Iqueue;

    Q : Queue;

begin

    Start ("INTQA2", "TEST A FULL INTEGER QUEUE.");

    for J in 1 .. 1000 loop

        Make_Empty (Q);
        for I in 1 .. 50 loop

            Put_End (Q, I);

        end loop;

        if Is_Full (Q) then

            if not (Is_Not_Empty (Q)) then

                Comment ("IS_FULL WORKS; IS_NOT_EMPTY DOESN'T");

            end if;

        else

            Comment ("IS_FULL DOESN'T WORK.");

        end if;
    end loop;

    Stop;

end Intqa2;