|
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 Put_Block_Rule, seg_04bdf0, separate Fruit_Rule_Bundle_4
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
separate (Fruit_Rule_Bundle_4)
package body Put_Block_Rule is
function Premiss return Fact_Queries is
use Fruit_Frames_4;
begin
return (Requests.Absent ((Request_Name => Is_Any,
Marker_Name => Is_Any,
Argument1 => Is_Any,
Argument2 => Is_Any)),
Markers.Exist ((Marker_Name => Is_Equal (Model_Marker_Name))),
Markers.Exist ((Marker_Name =>
Is_Equal (Top_Copied_Model_Marker_Name))),
Markers.Exist ((Marker_Name =>
Is_Equal (Selected_Block_Marker_Name))),
Markers.Exist ((Marker_Name =>
Is_Equal (Top_Block_Marker_Name))),
Answers.Exist ((Request_Name => Is_Equal (Is_Same_Request_Name),
Answer => Is_Any)));
end Premiss;
procedure Action (Objects : Fact_Collection) is
use Fruit_Frames_4;
use Slot;
The_Top_Copied_Marker_Fact : Fact_Name renames Objects (3);
The_Selected_Marker_Fact : Fact_Name renames Objects (4);
The_Top_Block_Marker_Fact : Fact_Name renames Objects (5);
The_Answer_Fact : Fact_Name renames Objects (6);
The_Answer : Slot.Object := Answers.Get (The_Answer_Fact, Answer);
begin
Output_Stream.New_Line (Output_Stream.Standard_Output);
Output_Stream.Put_Line ("***************************************",
Output_Stream.Standard_Output);
Output_Stream.Put_Line ("put block rule",
Output_Stream.Standard_Output);
Output_Stream.Put_Line ("***************************************",
Output_Stream.Standard_Output);
Output_Stream.New_Line (Output_Stream.Standard_Output);
if The_Answer = Positive_Answer then
Requests.Add ((Request_Name => Put_Block_Request_Name,
Marker_Name => Selected_Block_Marker_Name,
Argument1 => Top_Copied_Model_Marker_Name,
Argument2 => Null_Object));
Requests.Add ((Request_Name => Move_Request_Name,
Marker_Name => New_Top_Copied_Model_Marker_Name,
Argument1 => Up_Direction,
Argument2 => Value (1)));
Requests.Add ((Request_Name => Move_Request_Name,
Marker_Name => Model_Marker_Name,
Argument1 => Up_Direction,
Argument2 => Value (1)));
Markers.Delete ((The_Top_Copied_Marker_Fact));
Markers.Delete ((The_Selected_Marker_Fact));
Markers.Delete ((The_Top_Block_Marker_Fact));
else
Requests.Add ((Request_Name => Search_Free_Request_Name,
Marker_Name => On_Table_Marker_Name,
Argument1 => Null_Object,
Argument2 => Null_Object));
Markers.Add ((Marker_Name => On_Table_Marker_Name));
end if;
Answers.Delete ((The_Answer_Fact));
end Action;
end Put_Block_Rule;
nblk1=5
nid=0
hdr6=a
[0x00] rec0=17 rec1=00 rec2=01 rec3=004
[0x01] rec0=13 rec1=00 rec2=02 rec3=07a
[0x02] rec0=06 rec1=00 rec2=05 rec3=06c
[0x03] rec0=12 rec1=00 rec2=03 rec3=038
[0x04] rec0=03 rec1=00 rec2=04 rec3=000
tail 0x2175140908690351c4bec 0x42a00088462063c03