DataMuseum.dk

top - download

    Length: 3291 (0xcdb)
    Types: TextFile
    Names: »B«

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

TextFile

with Slot, Instance, Text_Io;
with New_Ball, New_Box, New_Sticker;
with Ball_Features, Box_Features, Sticker_Features, Slot;

package body Bbs_Tests_Bak is
    use Ball_Features, Box_Features, Sticker_Features, Slot.Operators;
    use New_Ball, New_Box, New_Sticker, Slot.Operators;

------------------------------------------------------------------------------
    function Pack_It_Test (The_Ball    : New_Ball.Object;
                           The_Box     : New_Box.Object;
                           The_Sticker : New_Sticker.Object) return Boolean is
    begin
        return New_Ball.Value_Of (The_Ball, Place) = In_The_Heap and then
                  New_Ball.Value_Of (The_Ball, Size) <= Max_Size and then
                  New_Box.Value_Of (The_Box, State) =
                     State_Slot_Box.Value (Is_Empty) and then
                  New_Box.Value_Of (The_Box, Size) >
                     New_Ball.Value_Of (The_Ball, Size) and then
                  New_Sticker.Value_Of (The_Sticker, Colour) =
                     New_Ball.Value_Of (The_Ball, Colour) and then
                  not New_Box.Exist
                         (Attribute => Size,
                          Between   => New_Ball.Value_Of (The_Ball, Size),
                          And_Size  => New_Box.Value_Of (The_Box, Size));
    end Pack_It_Test;

------------------------------------------------------------------------------

    function Sticker_Lack_Test (The_Ball : New_Ball.Object) return Boolean is
    begin
        return New_Ball.Value_Of (The_Ball, Place) = In_The_Heap and then
                  New_Ball.Value_Of (The_Ball, Size) <= Max_Size and then
                  not New_Sticker.Exist
                         (With_Conditions =>
                             ((Attribute => Colour,
                               Operator => New_Sticker.Equal,
                               Value => New_Ball.Value_Of (The_Ball, Colour)),
                              (Attribute => State,
                               Operator => New_Sticker.Equal,
                               Value => State_Slot_Sticker.Value (Is_Unused))));
    end Sticker_Lack_Test;

------------------------------------------------------------------------------

    function Box_Lack_Test (The_Ball : New_Ball.Object) return Boolean is

    begin
        return New_Ball.Value_Of (The_Ball, Place) = In_The_Heap and then
                  New_Ball.Value_Of (The_Ball, Size) <= Max_Size and then
                  not New_Box.Exist
                         (With_Conditions =>
                             ((Attribute => Size,
                               Operator  => New_Box.Greater,
                               Value     => New_Ball.Value_Of (The_Ball, Size)),
                              (Attribute => State,
                               Operator  => New_Box.Equal,
                               Value     => State_Slot_Box.Value (Is_Empty))));
    end Box_Lack_Test;

------------------------------------------------------------------------------

    function Too_Big_Test (The_Ball : New_Ball.Object) return Boolean is
    begin
        return New_Ball.Value_Of (The_Ball, Place) = In_The_Heap and then
                  New_Ball.Value_Of (The_Ball, Size) > Max_Size;
    end Too_Big_Test;

end Bbs_Tests_Bak;