|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 6144 (0x1800)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Move_Action_Rule, seg_04bfb0, separate Fruit_Display_Visual_Rule_Bundle_5
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
separate (Fruit_Display_Visual_Rule_Bundle_5)
package body Move_Action_Rule is
function Premiss return Fact_Queries is
use Fact_Base;
use Fruit_Frames_5;
The_Marker_Name : constant Alias.Name := Alias.M;
begin
return (Requests.Exist
((Request_Name => Is_Equal (Move_Request_Name),
Marker_Name => Predicate.Define_As (The_Marker_Name),
Argument1 => Is_Any,
Argument2 => Is_Any)),
Visual_Markers.Exist
((Marker_Name => Is_Equal (The_Marker_Name),
Position_X => Is_Any,
Position_Y => Is_Any)));
end Premiss;
procedure Action (Objects : Fact_Collection) is
use Fruit_Frames_5;
use Slot;
use Slot.Operators;
The_Request_Fact : Fact_Name renames Objects (1);
The_Marker_Fact : Fact_Name renames Objects (2);
The_Dist : Slot.Object := Requests.Get (The_Request_Fact, Argument2);
The_Direction : Slot.Object :=
Requests.Get (The_Request_Fact, Argument1);
Old_Pos_X : Slot.Object := Visual_Markers.Get
(The_Marker_Fact, Position_X);
Old_Pos_Y : Slot.Object := Visual_Markers.Get
(The_Marker_Fact, Position_Y);
New_Pos_X : Slot.Object := Value (0);
New_Pos_Y : Slot.Object := Value (0);
begin
Output_Stream.New_Line (Output_Stream.Standard_Output);
Output_Stream.Put_Line ("***************************************",
Output_Stream.Standard_Output);
Output_Stream.Put_Line ("move action rule",
Output_Stream.Standard_Output);
Output_Stream.Put_Line ("***************************************",
Output_Stream.Standard_Output);
Output_Stream.New_Line (Output_Stream.Standard_Output);
if The_Direction = Right_Direction then
New_Pos_X := Old_Pos_X + The_Dist;
if New_Pos_X > Max_X then
New_Pos_X := Max_X;
Answers.Add ((Request_Name => Move_Request_Name,
Answer => Negative_Answer));
end if;
Visual_Markers.Change (The_Marker_Fact, Position_X, New_Pos_X);
elsif The_Direction = Left_Direction then
New_Pos_X := Old_Pos_X - The_Dist;
if New_Pos_X < Min_X then
New_Pos_X := Min_X;
Answers.Add ((Request_Name => Move_Request_Name,
Answer => Negative_Answer));
end if;
Visual_Markers.Change (The_Marker_Fact, Position_X, New_Pos_X);
elsif The_Direction = Up_Direction then
New_Pos_Y := Old_Pos_Y + The_Dist;
if New_Pos_Y > Max_Y then
New_Pos_Y := Max_Y;
Answers.Add ((Request_Name => Move_Request_Name,
Answer => Negative_Answer));
end if;
Visual_Markers.Change (The_Marker_Fact, Position_Y, New_Pos_Y);
elsif The_Direction = Down_Direction then
New_Pos_Y := Old_Pos_Y - The_Dist;
if New_Pos_Y < Min_Y then
New_Pos_Y := Min_Y;
Answers.Add ((Request_Name => Move_Request_Name,
Answer => Negative_Answer));
end if;
Visual_Markers.Change (The_Marker_Fact, Position_Y, New_Pos_Y);
end if;
Requests.Delete (The_Request_Fact);
end Action;
end Move_Action_Rule;
nblk1=5
nid=5
hdr6=8
[0x00] rec0=1d rec1=00 rec2=01 rec3=068
[0x01] rec0=11 rec1=00 rec2=04 rec3=07c
[0x02] rec0=15 rec1=00 rec2=03 rec3=026
[0x03] rec0=14 rec1=00 rec2=02 rec3=000
[0x04] rec0=c0 rec1=00 rec2=00 rec3=100
tail 0x21751bece869264db9a53 0x42a00088462063c03
Free Block Chain:
0x5: 0000 00 00 00 06 80 03 20 4f 62 03 04 05 06 07 08 09 ┆ Ob ┆