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

⟦062d12a57⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Identification, seg_053d6d, seg_053f6c

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;
package body Identification is
    procedure Empiler (Client_Num : in Tclient_Id) is
        I : Integer := 1;
    begin
        if Pile_Vide = False then
            while Pile_Unique_Id (I) /= Id_Null loop
                I := I + 1;
            end loop;
            Pile_Unique_Id (I) := Client_Num;
        else
            Pile_Unique_Id (1) := Client_Num;
            Pile_Vide := False;
        end if;
    end Empiler;

    procedure Depiler (Client_Num : out Tclient_Id) is
        I : Integer := 1;
    begin
        while Pile_Unique_Id (I + 1) /= Id_Null loop
            I := I + 1;
        end loop;
        Client_Num := Pile_Unique_Id (I);
        Pile_Unique_Id (I) := Id_Null;
    end Depiler;

    procedure Set_Unique_Id (Client_Num : out Tclient_Id) is
    begin
        if Pile_Vide then  
            Text_Io.Put_Line ("pile vide!!!");
            Client_Num := Num_Id;
            Num_Id := Num_Id + 1;
            Text_Io.Put_Line ("num_id!!!");

        else
            Text_Io.Put_Line ("pile pas   vide!!!");
            Depiler (Client_Num);
            if Pile_Unique_Id (1) = Id_Null then
                Pile_Vide := True;  
            end if;
        end if;
        Text_Io.Put_Line ("sors unique!!!");

    end Set_Unique_Id;

    procedure Unset_Unique_Id (Client_Num : Tclient_Id) is
    begin
        Empiler (Client_Num);
    end Unset_Unique_Id;

end Identification;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=22 rec1=00 rec2=01 rec3=010
        [0x01] rec0=13 rec1=00 rec2=02 rec3=001
    tail 0x2175c5cba87b198260b9c 0x42a00088462060003