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 ┃

⟦a8c8c50fe⟧ TextFile

    Length: 1908 (0x774)
    Types: TextFile
    Names: »B«

Derivation

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

TextFile

with Frame_Examples, Slot, Text_Io, Instance, Class, Create_Initial_Facts;
use Frame_Examples;
procedure Test_Find is
    use Frame_Examples.Ball_Features, Frame_Examples.Box_Features,
        Frame_Examples.Sticker_Features, Slot.Operators;
    O        : Frame_Examples.Ball.Object;
    Ok       : Boolean;
    The_Ball : Frame_Examples.Ball.Object;
begin

    Create_Initial_Facts;
    O := Ball.Find (With_Conditions => ((Size, Ball.Equal, Slot.Value (20)),
                                        (Size, Ball.Less, Max_Size),
                                        (Place, Ball.Equal, In_The_Heap)));
    Text_Io.Put_Line
       ("=> FIND OBJET TROUVE : value = " & Instance.Image (O) &
        " / kind = " & Instance.Isa (O) & "(" &
        Class.Reference'Image (Class.Value (Instance.Isa (O))) & ")  !!!");
    Ok := Ball.Exist (With_Conditions => ((Size, Ball.Equal, Slot.Value (20)),
                                          (Size, Ball.Less, Max_Size),  
                                          (Place, Ball.Equal, In_The_Heap)));

    Text_Io.Put_Line ("=>" & Boolean'Image (Ok));

    Text_Io.Put_Line (" ");
    The_Ball := Ball.Find (With_Conditions =>
                              ((Size, Ball.Less, Ball.Value_Of (O, Size)),
                               (Size, Ball.Less, Max_Size),
                               (Place, Ball.Equal, In_The_Heap)));

    Ok := Ball.Exist (With_Conditions =>
                         ((Size, Ball.Less, Ball.Value_Of (O, Size)),
                          (Size, Ball.Less, Max_Size),  
                          (Place, Ball.Equal, In_The_Heap)));
    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))) &
        ")  !!!");
    Text_Io.Put_Line ("=>" & Boolean'Image (Ok));
end Test_Find;