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

⟦057d140f7⟧ Ada Source

    Length: 4096 (0x1000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body L_Lecteurs, seg_04cc92, seg_04cd78

Derivation

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

E3 Source Code



with Text_Io;
with Parametres;
package body L_Lecteurs is

    procedure Parcours (Des_Lecteurs : Object) is
        Iterateur : Liste.Iterator;
    begin
        Liste.Init (Iterateur, Des_Lecteurs);
        Text_Io.Put_Line ("--- Parcours de la Liste des Lecteurs ---");
        loop
            exit when Liste.Done (Iterateur);
            Text_Io.Put_Line (Lecteur.Image (Liste.Value (Iterateur)));
            Liste.Next (Iterateur);
        end loop;

    end Parcours;


    function Longueur (Des_Lecteurs : in Object) return Natural is
    begin
        return Natural'(Liste.Length (Des_Lecteurs));
    end Longueur;



    procedure Insert_Element (Element : Lecteur.Object;
                              Des_Lecteurs : in out Object) is
    begin
        Des_Lecteurs := Liste.Make (Element, Des_Lecteurs);
    end Insert_Element;


    procedure Search (Des_Lecteurs : in Object;
                      Numero_De_Lecteur : Natural;                     Le_Lecteur : out Lecteur.Object) is
        Number : Natural;
        Les_Para : Parametres.Object;
        Iterateur : Liste.Iterator;
    begin
        Liste.Init (Iterateur, Des_Lecteurs);
        Lecteur.Set (Le_Lecteur, "", 0, Les_Para);
        loop
            exit when Liste.Done (Iterateur);
            Number := Lecteur.Get (Liste.Value (Iterateur));
            if (Number = Numero_De_Lecteur) then
                Le_Lecteur := Liste.Value (Iterateur);
                exit;
            end if;
            Liste.Next (Iterateur);
        end loop;
    end Search;

    function Search (Des_Lecteurs : in Object; Numero_De_Lecteur : Natural)
                    return Boolean is
        Number : Natural;
        Iterateur : Liste.Iterator;
    begin
        Liste.Init (Iterateur, Des_Lecteurs);
        loop
            exit when Liste.Done (Iterateur);
            Number := Lecteur.Get (Liste.Value (Iterateur));
            if (Number = Numero_De_Lecteur) then
                return True;
            end if;
            Liste.Next (Iterateur);
        end loop;
        return False;
    end Search;

end L_Lecteurs;

E3 Meta Data

    nblk1=3
    nid=0
    hdr6=6
        [0x00] rec0=24 rec1=00 rec2=01 rec3=002
        [0x01] rec0=1b rec1=00 rec2=02 rec3=014
        [0x02] rec0=09 rec1=00 rec2=03 rec3=000
    tail 0x217540cba874f6e47dd9b 0x42a00088462060003