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

⟦523bcee59⟧ Ada Source

    Length: 6144 (0x1800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Tests, seg_04897b

Derivation

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

with List;

package body Tests is

    package Tests_Line is new List (Element => Type_Test);
    package Effects_Line is new List (Element => Type_Effect);

    type Line_Of_Tests is
        record
            Tests : Tests_Line.Object;
            Effects : Effects_Line.Object;
        end record;

    package Tests_List is new List (Element => Line_Of_Tests);

    Current_Line : Line_Of_Tests;
    The_List : Tests_List.Object;

    procedure Create is
        A_Line : Line_Of_Tests;
    begin
        Tests_List.Insert (The_List, A_Line);
        Current_Line := Tests_List.Get_Current_Element (The_List);
    end Create;


    procedure Add_Test (Test : Type_Test) is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        Tests_Line.Insert (Current_Line.Tests, Test);
        Tests_List.Set_Current_Element (The_List, Current_Line);
    end Add_Test;


    procedure Add_Effect (Effect : Type_Effect) is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        Effects_Line.Insert (Current_Line.Effects, Effect);
        Tests_List.Set_Current_Element (The_List, Current_Line);

    end Add_Effect;


    function Get_Test return Type_Test is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        return Tests_Line.Get_Current_Element (Current_Line.Tests);
    end Get_Test;


    function Get_Effect return Type_Effect is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        return Effects_Line.Get_Current_Element (Current_Line.Effects);
    end Get_Effect;


    procedure Beginner is
    begin
        Tests_List.Go_First (The_List);
    end Beginner;


    procedure Next is
    begin
        Tests_List.Go_Next (The_List);
    end Next;


    function At_End return Boolean is
    begin
        return Tests_List.At_End (The_List);
    end At_End;


    procedure First_Test is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        Tests_Line.Go_First (Current_Line.Tests);
    end First_Test;


    procedure Test_Sup is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        Tests_Line.Go_Next (Current_Line.Tests);
    end Test_Sup;


    function At_End_Sup return Boolean is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        return Tests_Line.At_End (Current_Line.Tests);
    end At_End_Sup;


    procedure First_Effect is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        Effects_Line.Go_First (Current_Line.Effects);
    end First_Effect;


    procedure Next_Effect is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        Effects_Line.Go_Next (Current_Line.Effects);
    end Next_Effect;


    function At_End_Effect return Boolean is
    begin
        Current_Line := Tests_List.Get_Current_Element (The_List);
        return Effects_Line.At_End (Current_Line.Effects);
    end At_End_Effect;
end Tests;

    nblk1=5
    nid=0
    hdr6=a
        [0x00] rec0=24 rec1=00 rec2=01 rec3=064
        [0x01] rec0=02 rec1=00 rec2=05 rec3=014
        [0x02] rec0=27 rec1=00 rec2=03 rec3=020
        [0x03] rec0=24 rec1=00 rec2=02 rec3=008
        [0x04] rec0=05 rec1=00 rec2=04 rec3=000
    tail 0x21545dd5a865a42a5d912 0x42a00088462060003