DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

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

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download

⟦7e720ceb7⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Test_Nos_Listes, seg_044e84

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧

E3 Source Code



with Nos_Listes;  
with Text_Io;

procedure Test_Nos_Listes is

    package Essai_Liste is new Nos_Listes (Integer, Standard."=");
    Liste : Essai_Liste.Objet;

    procedure Afficher (L : Essai_Liste.Objet) is
        Iter : Essai_Liste.Iterateur;
    begin
        if Essai_Liste.Est_Vide (L) then
            Text_Io.Put_Line ("liste vide ");
        else
            Text_Io.Put_Line ("liste non vide ");
            Essai_Liste.Premier (Iter, L);
            while not Essai_Liste.Fin (Iter) loop
                Text_Io.Put_Line (Integer'Image (Essai_Liste.Consulter (Iter)));
                Essai_Liste.Suivant (Iter);
            end loop;
        end if;
    end Afficher;

    procedure Trouve_Un_Element (L : Essai_Liste.Objet; Item : Integer) is
    begin
        if Essai_Liste.Trouver (L, Item) then
            Text_Io.Put (Integer'Image (Item));
            Text_Io.Put_Line (" ok ds la liste");
        else
            Text_Io.Put (Integer'Image (Item));
            Text_Io.Put_Line (" n est pas ds la liste");
        end if;
    end Trouve_Un_Element;

begin
    -- test de "Est_Vide"
    Afficher (Liste);

    -- test simple de "Ajouter"
    Essai_Liste.Ajouter (Liste, 1);
    Afficher (Liste);

    -- test de "vider"
    Essai_Liste.Vider (Liste);
    Afficher (Liste);

    Essai_Liste.Ajouter (Liste, 1);
    Afficher (Liste);
    Essai_Liste.Ajouter (Liste, 2);
    Afficher (Liste);
    Essai_Liste.Ajouter (Liste, 3);

    -- test d'ajout d'un element deja present
    Essai_Liste.Ajouter (Liste, 1);
    Essai_Liste.Ajouter (Liste, 4);
    Essai_Liste.Ajouter (Liste, 5);
    Afficher (Liste);

    -- test de "trouver"
    Trouve_Un_Element (Liste, 8);
    Trouve_Un_Element (Liste, 4);

    --test simple de "Supprimer"
    Essai_Liste.Supprimer (Liste, 5);
    Afficher (Liste);
    Essai_Liste.Supprimer (Liste, 3);
    Afficher (Liste);
    Essai_Liste.Supprimer (Liste, 1);
    Afficher (Liste);

    -- test de suppression d'un element absent
    Essai_Liste.Supprimer (Liste, 3);
    Afficher (Liste);
    Essai_Liste.Supprimer (Liste, 2);
    Afficher (Liste);
    Essai_Liste.Supprimer (Liste, 4);
    Afficher (Liste);

    -- tes de suppression sur une liste vide
    Essai_Liste.Supprimer (Liste, 4);
    Afficher (Liste);

end Test_Nos_Listes;

E3 Meta Data

    nblk1=4
    nid=4
    hdr6=6
        [0x00] rec0=1f rec1=00 rec2=01 rec3=038
        [0x01] rec0=26 rec1=00 rec2=02 rec3=028
        [0x02] rec0=10 rec1=00 rec2=03 rec3=000
        [0x03] rec0=11 rec1=00 rec2=03 rec3=000
    tail 0x2153dfbfe86306c0e23c8 0x42a00088462060003
Free Block Chain:
  0x4: 0000  00 00 00 08 80 05 5f 4c 69 73 74 05 06 07 08 09  ┆      _List     ┆