DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

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 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: B T

⟦b193b88a3⟧ TextFile

    Length: 2155 (0x86b)
    Types: TextFile
    Names: »B«

Derivation

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

TextFile

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

package body Ne_Balls_Boxes_Stickers_Tests is

------------------------------------------------------------------------------
    function Pack_It_Test
                (Ba : Ball.Object; Bo : Box.Object; S : Sticker.Object)
                return Boolean is
    begin
        return Ball.Place (Ba) = Ball.Is_On_Heap and then
                  Ball.Size (Ba) <= Box.Max_Size and then
                  Box.State (Bo) = Box.Is_Empty and then
                  Box.Size (Bo) > Ball.Size (Ba) and then
                  Sticker.Colors'Image (Sticker.Color (S)) =
                     Ball.Colors'Image (Ball.Color (Ba)) and then
                  not Box.Exist (Between               => Ball.Size (Ba),
                                 And_Size              => Box.Size (Bo),
                                 In_Kind_Of_Collection => Empty_Boxes);
    end Pack_It_Test;

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

    function Sticker_Lack_Test (Ba : Ball.Object) return Boolean is
    begin
        return Ball.Place (Ba) = Ball.Is_On_Heap and then
                  Ball.Size (Ba) <= Box.Max_Size and then  
                  not Sticker.Exist (Ball.Colors'Image (Ball.Color (Ba)),
                                     In_Kind_Of_Collection => Unused_Stickers);
    end Sticker_Lack_Test;

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

    function Box_Lack_Test (Ba : Ball.Object) return Boolean is
        Ok : Boolean;
    begin
        return Ball.Place (Ba) = Ball.Is_On_Heap and then
                  Ball.Size (Ba) <= Box.Max_Size and then
                  not Box.Exist (Greater_Than          => Ball.Size (Ba),
                                 In_Kind_Of_Collection => Empty_Boxes);
    end Box_Lack_Test;

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

    function Too_Big_Test (Ba : Ball.Object) return Boolean is
    begin
        return Ball.Place (Ba) = Ball.Is_On_Heap and then
                  Ball.Size (Ba) > Box.Max_Size;
    end Too_Big_Test;

end Ne_Balls_Boxes_Stickers_Tests;