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 - download
Index: ┃ B T ┃

⟦7568c63d8⟧ TextFile

    Length: 1984 (0x7c0)
    Types: TextFile
    Names: »B«

Derivation

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

TextFile

with Frame_Examples, Slot, Frame, Instance, Class, Text_Io;
use Frame_Examples;
function Pack_Test  
            (The_Ball    : Frame_Examples.Ball.Object;
             The_Box     : Frame_Examples.Box.Object;
             The_Sticker : Frame_Examples.Sticker.Object) return Boolean is



    use Frame_Examples.Ball_Features, Frame_Examples.Box_Features,
        Frame_Examples.Sticker_Features, Slot.Operators;
    Ok : Boolean;
begin  
    Text_Io.Put_Line
       ("=>FIND OBJET TROUVE : value = " & Instance.Image (The_Ball) &
        " / kind = " & Instance.Isa (The_Ball) & "(" &
        Class.Reference'Image (Class.Value (Instance.Isa (The_Ball))) &
        ")  !!!");

    return Ball.Value_Of (The_Object => The_Ball, Attribute => Size) <
              Max_Size and then
           Ball.Value_Of (The_Object => The_Ball, Attribute => Place) =
              In_The_Heap and then
           Box.Value_Of (The_Object => The_Box, Attribute => State) =
              State_Slot.Value (Is_Free) and then
           Box.Value_Of (The_Box, Size) >
              Ball.Value_Of (The_Ball, Size) and then
           Ball.Value_Of (The_Ball, Colour) =
              Sticker.Value_Of (The_Sticker, Colour) and then
           not Box.Exist (With_Conditions =>
                             ((Size, Box.Greater,
                               Ball.Value_Of (The_Ball, Size)),
                              (Size, Box.Less,
                               Box.Value_Of (The_Box, Size)))) and then

           not Ball.Exist (With_Conditions =>
                              ((Size, Ball.Greater,
                                Ball.Value_Of (The_Ball, Size)),
                               (Size, Ball.Less, Max_Size),
                               (Place, Ball.Equal, In_The_Box)));
    --  not Ball.Exist (With_Conditions =>
    -- ((Size, Ball.Greater, Ball.Value_Of (The_Ball, Size)),
    --  (Size, Ball.Greater, Max_Size),
    --  (Place, Ball.Equal, In_The_Box)))
--
end Pack_Test;