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 - metrics - download

⟦cd8003102⟧ Ada Source

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

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 Instance, Slot, Tuple_Collection;
with Robots_Bricks_Tests, Robot, Brick, Robot_Features, Brick_Features;
use Robots_Bricks_Tests, Robot, Brick, Robot_Features, Brick_Features;

package body Robots_Bricks_Conditions is
    use Slot.Operators;
    function Pack_It_Restriction_1
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return Brick.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_Filter is
       new Tuple_Collection.Join_2 (Collection_1 => Brick.Instances,
                                    Restrict_1   => Pack_It_Restriction_1,
                                    Collection_2 => Robot.Instances,
                                    Restrict_2   => Pack_It_Restriction_2,
                                    Match        => Pack_It_Test);

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


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

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




    function Pack_It_Condition return Tuple_Collection.Object is
    begin
        return Pack_It_Filter;
    end Pack_It_Condition;


    function Take_Test_Condition return Tuple_Collection.Object is
    begin
        return Take_Test_Filter;
    end Take_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_Bricks_Conditions;

E3 Meta Data

    nblk1=7
    nid=3
    hdr6=6
        [0x00] rec0=18 rec1=00 rec2=01 rec3=03a
        [0x01] rec0=19 rec1=00 rec2=07 rec3=02c
        [0x02] rec0=15 rec1=00 rec2=04 rec3=000
        [0x03] rec0=1c rec1=00 rec2=07 rec3=02a
        [0x04] rec0=15 rec1=00 rec2=03 rec3=000
        [0x05] rec0=0a rec1=00 rec2=04 rec3=000
        [0x06] rec0=00 rec1=3d rec2=41 rec3=075
    tail 0x2150d3ad08246730d5683 0x42a00088462063c03
Free Block Chain:
  0x3: 0000  00 05 00 0a 80 07 52 65 73 74 72 69 63 07 5f 31  ┆      Restric _1┆
  0x5: 0000  00 06 03 fc 80 21 56 61 6c 75 65 5f 4f 66 20 28  ┆     !Value_Of (┆
  0x6: 0000  00 02 00 05 80 02 20 28 02 20 20 20 20 20 2d 2d  ┆       (      --┆
  0x2: 0000  00 00 00 04 80 01 65 01 02 03 65 05 52 65 08 09  ┆      e   e Re  ┆