DataMuseum.dk

top - download

    Length: 2875 (0xb3b)
    Types: TextFile
    Names: »B«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Instance;
with Tuple_Collection;

with Ball, Box, Sticker;
use Ball, Box, Sticker;


with Balls_Boxes_Stickers_Tests;
use Balls_Boxes_Stickers_Tests;

package body Balls_Boxes_Stickers_Conditions is

    function Pack_It_Restriction_1
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return Ball.Place (The_Reference) = Ball.Is_On_Heap;
    end Pack_It_Restriction_1;

    function Pack_It_Restriction_2
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return Box.State (The_Reference) = Box.Is_Empty;
    end Pack_It_Restriction_2;

    function Pack_It_Restriction_3
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return Sticker.State (The_Reference) = Sticker.Is_Unused;
    end Pack_It_Restriction_3;

    function Sticker_Lack_Restriction_1
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return Ball.Place (The_Reference) = Ball.Is_On_Heap;
    end Sticker_Lack_Restriction_1;

    function Box_Lack_Restriction_1
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return Ball.Place (The_Reference) = Ball.Is_On_Heap;
    end Box_Lack_Restriction_1;

    function Too_Big_Restriction_1
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return Ball.Place (The_Reference) = Ball.Is_On_Heap;
    end Too_Big_Restriction_1;




    -- function Pack_It_Condition 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        => Pack_It_Test);
    --
    -- function Sticker_Lack_Condition is
    --    new Tuple_Collection.Join_1 (Collection_1 => Ball.Instances,
    --                                 Restrict_1   => Sticker_Lack_Restriction_1,
    --                                 Match        => Sticker_Lack_Test);
    --
    -- function Box_Lack_Condition is
    --    new Tuple_Collection.Join_1 (Collection_1 => Ball.Instances,
    --                                 Restrict_1   => Box_Lack_Restriction_1,
    --                                 Match        => Box_Lack_Test);
    --
    -- function Too_Big_Condition is
    --    new Tuple_Collection.Join_1 (Collection_1 => Ball.Instances,
    --                                 Restrict_1   => Too_Big_Restriction_1,
    --                                 Match        => Too_Big_Test);

end Balls_Boxes_Stickers_Conditions;