|
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 - metrics - download
Length: 4096 (0x1000)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Change_Two_Notes_Rule, seg_03bfdd, seg_03c085, seg_03c4a8, seg_03c64f, seg_03c984, seg_04a95b, seg_04b3c9, separate M_Rule_Bundle
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
separate (M_Rule_Bundle)
package body Change_Two_Notes_Rule is
use Alias;
use Slot;
use M_Frames;
use M_Kbs.Kbs.Fact_Base.Predicate;
use M_Kbs.Kbs.Fact_Base.Predicate.System_Defined_Predicate;
function Premiss return Fact_Queries is
begin
return (Bank_Notes.Exist ((Value => Define_As (X) and Is_Different (2),
Power => Define_As (P))),
Bank_Notes.Exist ((Value => Is_Equal (X),
Power => Is_Equal (P))));
end Premiss;
procedure Action (Objects : Fact_Collection) is
First_Note : Fact_Name renames Objects (1);
Second_Note : Fact_Name renames Objects (2);
The_Value : Integer := Bank_Notes.Get (First_Note, Value);
The_Power : Integer := Bank_Notes.Get (First_Note, Power);
use Output_Stream;
On_Screen : Output_Stream.Object := Standard_Output;
begin
New_Line (On_Screen);
Put_Line ("********** Changing two notes into one note **********",
On_Screen);
Bank_Notes.Delete (First_Note);
Bank_Notes.Delete (Second_Note);
if The_Value = 1 then
Bank_Notes.Add ((Value (2), Value (The_Power)));
elsif The_Value = 5 then
Bank_Notes.Add ((Value (1), Value (The_Power * 10)));
else
Put_Line ("********** Error in filtering **********", On_Screen);
end if;
M_Kbs.Kbs.Fact_Base.Working_Memory.Default_Put
(Output_Stream.Standard_Output);
end Action;
end Change_Two_Notes_Rule;
nblk1=3
nid=3
hdr6=4
[0x00] rec0=1f rec1=00 rec2=01 rec3=016
[0x01] rec0=10 rec1=00 rec2=02 rec3=001
[0x02] rec0=0b rec1=00 rec2=00 rec3=004
tail 0x21739ef62857254ba2f1f 0x42a00088462063c03
Free Block Chain:
0x3: 0000 00 00 00 2e 80 0b 65 6e 64 20 41 63 74 69 6f 6e ┆ . end Action┆