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 - metrics - download

⟦7860d932a⟧ Ada Source

    Length: 6144 (0x1800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Test_Sub, seg_05432a, seg_0550be

Derivation

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

with Sub_Contrat;
with Message;
with Text_Io;
--with List_Generic;
with Bounded_String;  
with String_Utilities;

procedure Test_Sub is
    L : Sub_Contrat.Sub_List.List;
    M1, M2 : Message.Tmessage;
    Tmp1, Tmp2 : Message.Content_String;
    S1, S2 : Sub_Contrat.Tsubscription;  
    Ok : Boolean;
    To_Tmp : Integer;
begin
    Bounded_String.Copy (Tmp1, "17");
    Message.Fill_Command (M1, Message.Subscription);
    Message.Fill_Content (M1, Tmp1);
    Message.Fill_Origin (M1, 7);

    Bounded_String.Copy (Tmp2, "20");
    Message.Fill_Command (M2, Message.Subscription);
    Message.Fill_Content (M2, Tmp2);
    Message.Fill_Origin (M2, 10);

    Text_Io.Put_Line ("TEST Is_ :");

    if Sub_Contrat.Is_Subscription (M1) then
        Text_Io.Put_Line ("subcription");
    else
        Text_Io.Put_Line ("pas bon...");
    end if;

    Text_Io.Put_Line ("TEST Is_Un :");

    -- Message.Fill_Command (M1, Message.Unsubscription);
    if Sub_Contrat.Is_Unsubscription (M1) then
        Text_Io.Put_Line ("UNsubscription");
    else
        Text_Io.Put_Line ("pas bon...");
    end if;
    Text_Io.Put_Line ("TEST des sub :");  
    Text_Io.Put_Line (Natural'Image (Sub_Contrat.Sub_List.Length (L)));

    Sub_Contrat.Fill_Sub (M1, S1);
    Sub_Contrat.Add_Sub (L, S1);

    Text_Io.Put_Line (Natural'Image (Sub_Contrat.Sub_List.Length (L)));

    Sub_Contrat.Fill_Sub (M2, S2);
    Sub_Contrat.Add_Sub (L, S2);

    Text_Io.Put_Line (Natural'Image (Sub_Contrat.Sub_List.Length (L)));

    String_Utilities.String_To_Number (Bounded_String.Image (Tmp1), To_Tmp, Ok);

    if Sub_Contrat.Subscription_Exists (L, Message.Tclient_Id (To_Tmp)) then
        Text_Io.Put_Line ("On retrouve la sub 1");
    else
        Text_Io.Put_Line ("pas bon...");
    end if;

    Text_Io.Put_Line (Natural'Image (Sub_Contrat.Sub_List.Length (L)));

    String_Utilities.String_To_Number (Bounded_String.Image (Tmp2), To_Tmp, Ok);

    if Sub_Contrat.Subscription_Exists (L, Message.Tclient_Id (To_Tmp)) then
        Text_Io.Put_Line ("On retrouve la sub 2");
    else
        Text_Io.Put_Line ("pas bon...");
    end if;
    Text_Io.Put_Line (Natural'Image (Sub_Contrat.Sub_List.Length (L)));

    Text_Io.Put_Line ("Id du sub 1 :");

    String_Utilities.String_To_Number (Bounded_String.Image (Tmp1), To_Tmp, Ok);

    Text_Io.Put_Line (Message.Tclient_Id'Image
                         (Sub_Contrat.Subscripter
                             (L, Message.Tclient_Id (To_Tmp))));

    Text_Io.Put_Line ("Id du sub 2 :");

    String_Utilities.String_To_Number (Bounded_String.Image (Tmp2), To_Tmp, Ok);

    Text_Io.Put_Line (Message.Tclient_Id'Image
                         (Sub_Contrat.Subscripter
                             (L, Message.Tclient_Id (To_Tmp))));

    Sub_Contrat.Remove_Sub (L, 10);  
    Text_Io.Put_Line (Natural'Image (Sub_Contrat.Sub_List.Length (L)));

    if Sub_Contrat.Subscription_Exists (L, Message.Tclient_Id (To_Tmp)) then
        Text_Io.Put_Line ("On retrouve le sub 2 : c'est pas bon");
    else
        Text_Io.Put_Line ("sub 2 supprime...");
    end if;  
    String_Utilities.String_To_Number (Bounded_String.Image (Tmp1), To_Tmp, Ok);
    if Sub_Contrat.Subscription_Exists (L, Message.Tclient_Id (To_Tmp)) then
        Text_Io.Put_Line ("On retrouve le sub 1 ");
    else
        Text_Io.Put_Line ("Pas bon");
    end if;
end Test_Sub;

    nblk1=5
    nid=2
    hdr6=8
        [0x00] rec0=26 rec1=00 rec2=01 rec3=000
        [0x01] rec0=1d rec1=00 rec2=05 rec3=07a
        [0x02] rec0=1a rec1=00 rec2=04 rec3=08e
        [0x03] rec0=0e rec1=00 rec2=03 rec3=000
        [0x04] rec0=09 rec1=00 rec2=02 rec3=000
    tail 0x2175d196687b645368723 0x42a00088462060003
Free Block Chain:
  0x2: 0000  00 00 01 30 80 0f 20 73 75 70 70 72 69 6d 65 2e  ┆   0   supprime.┆