DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

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

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download

⟦351d689a8⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Test_Find, seg_0111ef

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧

E3 Source Code



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;

E3 Meta Data

    nblk1=4
    nid=4
    hdr6=4
        [0x00] rec0=16 rec1=00 rec2=01 rec3=00a
        [0x01] rec0=15 rec1=00 rec2=03 rec3=000
        [0x02] rec0=06 rec1=00 rec2=04 rec3=001
        [0x03] rec0=ac rec1=5e rec2=46 rec3=000
    tail 0x2150c885882383ed733dc 0x42a00088462063c03
Free Block Chain:
  0x4: 0000  00 02 00 33 80 1c 28 22 3d 3e 22 20 26 20 42 6f  ┆   3  ("=>" & Bo┆
  0x2: 0000  00 00 00 04 80 01 20 01 02 03 04 05 06 26 08 00  ┆             &  ┆