DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.

top - metrics - download

⟦aff584df5⟧ TextFile

    Length: 443 (0x1bb)
    Types: TextFile
    Names: »B«

Derivation

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧

TextFile

-- TEST MAKE_EMPTY AND IS_NOT_EMPTY USING X0SET PACKAGE
with Instrument, X0set;
use Instrument;

procedure Mtisa2 is

    package Iset is new X0set (Integer);

    use Iset;

    S2 : Set;

begin

    Start ("MTISA2", "TEST MAKE_EMPTY, IS_NOT_EMPTY.");
    for I in 1 .. 1000 loop
        Make_Empty (S2);

        if Is_Not_Empty (S2) then

            Comment ("IS_NOT_EMPTY FAILED.");

        end if;

    end loop;

    Stop;

end Mtisa2;