|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - downloadIndex: ┃ B T ┃
Length: 1550 (0x60e)
Types: TextFile
Names: »B«
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
└─ ⟦6f12a12be⟧ »DATA«
└─⟦this⟧
with Frame_Examples, Slot, Text_Io, Instance, Class, Create_Initial_Facts;
use Frame_Examples;
procedure Test_Find_2 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;
The_Ball := Ball.Find (With_Conditions => [expression]);
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_Box, 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_Box, 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_Heap)));
--
end Test_Find_2;