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

⟦7eb4f1bbe⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Frame_Robots_Briques_Bak, seg_011f0d

Derivation

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

E3 Source Code



with Slot, Frame;
package Frame_Robots_Briques_Bak is

    package Brique_Features is
        In_The_Heap  : constant Slot.Object := Slot.Value (1);
        In_The_Box   : constant Slot.Object := Slot.Value (2);
        In_The_Pince : constant Slot.Object := Slot.Value (3);
        type Colours is (Pink, Gray, White);
        package State_Slot_Colours is
           new Slot.Enumeration_Facilities (Values => Colours);
        type Places is (Heap, Pince, Box);
        -- package State_Slot_Places is
        --    new Slot.Enumeration_Facilities (Values => Places);
        type Attributes is (Size, Colour, Place, Boite);
        Max_Size : constant Slot.Object := Slot.Value (500);
    end Brique_Features;

    package Robot_Features is
        type Tasks is (Get, Put);
        package State_Slot_Tasks is
           new Slot.Enumeration_Facilities (Values => Tasks);
        type Attributes is (Name, Box, T_Ask, Is_Busy, Old);
    end Robot_Features;

    package Brique is new Frame (Name       => "brique",
                                 Attributes => Brique_Features.Attributes);

    package Robot is new Frame (Name       => "robot",
                                Attributes => Robot_Features.Attributes);

end Frame_Robots_Briques_Bak;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=1a rec1=00 rec2=01 rec3=006
        [0x01] rec0=07 rec1=00 rec2=02 rec3=000
    tail 0x2150d3a4c824673070bfe 0x42a00088462063c03