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

⟦eaf78a5a6⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Bbr_Frames, seg_02cedb

Derivation

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

with Bbr_Attributes;
package body Bbr_Frames is

    function Box_Attribute_Image
                (For_Slot : Box_Slots; Value : Integer) return String is
    begin
        return Bbr_Attributes.Image (Value);
    end Box_Attribute_Image;

    function Ball_Attribute_Image
                (For_Slot : Ball_Slots; Value : Integer) return String is
    begin
        return Bbr_Attributes.Image (Value);
    end Ball_Attribute_Image;

    function Robot_Attribute_Image
                (For_Slot : Robot_Slots; Value : Integer) return String is
    begin
        return Bbr_Attributes.Image (Value);
    end Robot_Attribute_Image;


    procedure Put_Box is new Boxes.Generic_Put (Image => Box_Attribute_Image);
    procedure Put_Ball is new Balls.Generic_Put (Image => Ball_Attribute_Image);
    procedure Put_Robot is new Robots.Generic_Put
                                  (Image => Robot_Attribute_Image);

    procedure Put (The_Fact : Fact_Name; Where : Output_Stream.Object) is
    begin
        case Fact_Base.Class.Class_Name_Of (The_Fact) is
            when Box =>
                Put_Box (The_Fact, Where);
            when Ball =>
                Put_Ball (The_Fact, Where);
            when Robot =>
                Put_Robot (The_Fact, Where);
            when Nothing =>
                null;
        end case;
    end Put;
end Bbr_Frames;

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=1d rec1=00 rec2=01 rec3=062
        [0x01] rec0=0e rec1=00 rec2=02 rec3=001
    tail 0x21525ae5684124885b7ca 0x42a00088462063c03