DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

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 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦e2b293dfc⟧ TextFile

    Length: 1860 (0x744)
    Types: TextFile
    Names: »V«

Derivation

└─⟦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_Kbs;
with Output_Stream;
with Slot;

use Bbr_Kbs;
package Bbr_Frames is
    use Kbs;

    type Colours is (Blue, Green, Red);
    type States  is (Busy, Free);
    type Places  is (On_Heap, In_Box);

    package Colours_Facilities is new Slot.Enumeration_Facilities (Colours);
    package States_Facilities  is new Slot.Enumeration_Facilities (States);
    package Places_Facilities  is new Slot.Enumeration_Facilities (Places);

    Blue_Colour  : constant Slot.Object := Colours_Facilities.Value (Blue);
    Green_Colour : constant Slot.Object := Colours_Facilities.Value (Green);
    Red_Colour   : constant Slot.Object := Colours_Facilities.Value (Red);

    Busy_State : constant Slot.Object := States_Facilities.Value (Busy);
    Free_State : constant Slot.Object := States_Facilities.Value (Free);

    On_Heap_Place : constant Slot.Object := Places_Facilities.Value (On_Heap);
    In_Box_Place  : constant Slot.Object := Places_Facilities.Value (In_Box);

    type Robot_Slots is (Colour, State, Identity);
    type Box_Slots   is (Colour, Size, State);
    type Ball_Slots  is (Colour, Size, Place);

    package Boxes is new Fact_Base.Generic_Class (Class_Name => Box,
                                                  Class_Size => 10,
                                                  Slot_Names => Box_Slots);



    package Balls is new Fact_Base.Generic_Class (Class_Name => Ball,
                                                  Class_Size => 10,
                                                  Slot_Names => Ball_Slots);


    package Robots is new Fact_Base.Generic_Class (Class_Name => Robot,
                                                   Class_Size => 10,
                                                   Slot_Names => Robot_Slots);

    procedure Put (The_Fact : Fact_Name; Where : Output_Stream.Object);
end Bbr_Frames;