DataMuseum.dk

top - metrics - download

    Length: 2408 (0x968)
    Types: TextFile
    Names: »B«

└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 

TextFile

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;