DataMuseum.dk

top - download

    Length: 1355 (0x54b)
    Types: TextFile
    Names: »B«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦e24fb53b7⟧ 
            └─⟦this⟧ 

TextFile

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;