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

⟦f2403aedc⟧ Ada Source

    Length: 8192 (0x2000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Robots_Briques_Conditions_Bak, seg_01116b

Derivation

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

with Instance, Slot;
with Tuple_Collection;

with Robots_Briques_Tests;
use Robots_Briques_Tests;
with Frame_Robots_Briques;
use Frame_Robots_Briques, Slot;

package body Robots_Briques_Conditions_Bak is

    use Frame_Robots_Briques.Robot_Features,
        Frame_Robots_Briques.Brique_Features, Slot.Operators,
        Frame_Robots_Briques.Robot_Features;


    function Pack_It_Restriction_1
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return Brique.Value_Of (The_Reference, Place) = In_The_Heap;
    end Pack_It_Restriction_1;

    function Pack_It_Restriction_2
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return Robot.Value_Of (The_Reference, Is_Busy) = Slot.Value (False);
    end Pack_It_Restriction_2;
    --
    -- function Pack_It_Restriction_3
    --             (The_Reference : Instance.Reference) return Boolean is
    -- begin
    --     return Sticker.Value_Of (The_Reference, State) =
    --               State_Slot_Sticker.Value (Is_Unused);
    --
    -- end Pack_It_Restriction_3;
    --
    -- function Sticker_Lack_Restriction_1
    --             (The_Reference : Instance.Reference) return Boolean is
    -- begin
    --     return Ball.Value_Of (The_Reference, Place) = In_The_Heap;
    -- end Sticker_Lack_Restriction_1;
    --
    -- function Box_Lack_Restriction_1
    --             (The_Reference : Instance.Reference) return Boolean is
    -- begin
    --     return Ball.Value_Of (The_Reference, Place) = In_The_Heap;
    -- end Box_Lack_Restriction_1;
    --
    -- function Too_Big_Restriction_1
    --             (The_Reference : Instance.Reference) return Boolean is
    -- begin
    --     return Ball.Value_Of (The_Reference, Place) = In_The_Heap;
    -- end Too_Big_Restriction_1;
    --



    -- function Pack_It_Filter is new Tuple_Collection.Join_3
    --                                   (Collection_1 => Ball.Instances,
    --                                    Restrict_1   => Pack_It_Restriction_1,
    --                                    Collection_2 => Box.Instances,
    --                                    Restrict_2   => Pack_It_Restriction_2,
    --                                    Collection_3 => Sticker.Instances,
    --                                    Restrict_3   => Pack_It_Restriction_3,
    --                                    Match        => Bas_Tests.Pack_It_Test);
    --
    --
    function Pack_It_Filter is
       new Tuple_Collection.Join_2
              (Collection_1 => Brique.Instances,
               --             Restrict_1   => Pack_It_Restriction_1,
               Collection_2 => Robot.Instances,
               --Restrict_2   => Pack_It_Restriction_2,
               Match        => Pack_It_Test);

    function Get_Test_Filter is
       new Tuple_Collection.Join_2 (Collection_1 => Brique.Instances,
                                    Collection_2 => Robot.Instances,
                                    Match        => Get_Test);


    function Put_To_Case_Test_Filter is
       new Tuple_Collection.Join_2 (Collection_1 => Brique.Instances,
                                    Collection_2 => Robot.Instances,
                                    Match        => Put_To_Case_Test);

    function Stop_Test_Filter is
       new Tuple_Collection.Join_2 (Collection_1 => Brique.Instances,
                                    Collection_2 => Robot.Instances,
                                    Match        => Stop_Test);




    -- function Stop_Test_Filter is
    --    new Tuple_Collection.Join_1
    --           (Collection_1 => Brique.Instances, Match => Stop_Test);
    --
    --
    --
    --
    function Pack_It_Condition return Tuple_Collection.Object is
    begin
        return Pack_It_Filter;
    end Pack_It_Condition;


    function Get_Test_Condition return Tuple_Collection.Object is
    begin
        return Get_Test_Filter;
    end Get_Test_Condition;


    function Put_To_Case_Test_Condition return Tuple_Collection.Object is
    begin
        return Put_To_Case_Test_Filter;
    end Put_To_Case_Test_Condition;


    function Stop_Test_Condition return Tuple_Collection.Object is
    begin
        return Stop_Test_Filter;
    end Stop_Test_Condition;

end Robots_Briques_Conditions_Bak;

    nblk1=7
    nid=2
    hdr6=c
        [0x00] rec0=20 rec1=00 rec2=01 rec3=02c
        [0x01] rec0=00 rec1=00 rec2=06 rec3=008
        [0x02] rec0=1b rec1=00 rec2=05 rec3=04a
        [0x03] rec0=12 rec1=00 rec2=04 rec3=048
        [0x04] rec0=1c rec1=00 rec2=07 rec3=02a
        [0x05] rec0=15 rec1=00 rec2=03 rec3=000
        [0x06] rec0=00 rec1=3d rec2=41 rec3=075
    tail 0x2150c8462823780e280b5 0x42a00088462063c03
Free Block Chain:
  0x2: 0000  00 00 00 04 80 01 65 01 02 03 65 05 52 65 08 09  ┆      e   e Re  ┆