DataMuseum.dk

top - metrics - download

    Length: 2493 (0x9bd)
    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

package body Bbr_Frames is


    function Colours_Image (Value : Slot.Object) return String is
    begin
        return Colours'Image (Colours_Facilities.Get (Value));
    end Colours_Image;


    function States_Image (Value : Slot.Object) return String is
    begin
        return States'Image (States_Facilities.Get (Value));
    end States_Image;


    function Places_Image (Value : Slot.Object) return String is
    begin
        return Places'Image (Places_Facilities.Get (Value));
    end Places_Image;


    function Box_Attribute_Image
                (For_Slot : Box_Slots; Value : Slot.Object) return String is
    begin
        case For_Slot is
            when Colour =>
                return Colours_Image (Value);
            when Size =>
                return Integer'Image (Slot.Get (Value));
            when State =>
                return States_Image (Value);
        end case;
    end Box_Attribute_Image;


    function Ball_Attribute_Image
                (For_Slot : Ball_Slots; Value : Slot.Object) return String is
    begin
        case For_Slot is
            when Colour =>
                return Colours_Image (Value);
            when Size =>
                return Integer'Image (Slot.Get (Value));
            when Place =>
                return Places_Image (Value);
        end case;
    end Ball_Attribute_Image;


    function Robot_Attribute_Image
                (For_Slot : Robot_Slots; Value : Slot.Object) return String is
    begin
        case For_Slot is
            when Colour =>
                return Colours_Image (Value);
            when State =>
                return States_Image (Value);
            when Identity =>
                return Slot.Get (Value);
        end case;
    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;