|
|
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: 3072 (0xc00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Answer_To_Questions_Rule, seg_039e31, seg_03b901, seg_03c05b, seg_03c47e, seg_03c625, seg_03c95a, seg_04a92c, seg_04b39c, separate Fqa_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 (Fqa_Bundle)
package body Answer_To_Questions_Rule is
function Premiss return Fact_Queries is
begin
return (Questions.Exist ((Number => Define_As (N))),
Answers.Exist ((Number => Is_Equal (N),
Value => Is_Any,
Erasable => Is_Any)));
end Premiss;
procedure Action (The_Facts : Fact_Collection) is
The_Question : Fact_Name renames The_Facts (1);
The_Answer : Fact_Name renames The_Facts (2);
The_Number : Integer := Slot.Get (Answers.Get (The_Answer, Number));
The_Value : Integer := Slot.Get (Answers.Get (The_Answer, Value));
use Output_Stream;
begin
New_Line (Standard_Output);
New_Line (Standard_Output);
Put_Line ("---------- Answer_To_Questions_Rule action ----------",
Standard_Output);
New_Line (Standard_Output);
Questions.Delete (The_Question);
Put_Line (Integer'Image (The_Number) &
"! = " & Integer'Image (The_Value), Standard_Output);
New_Line (Standard_Output);
if Calculator.Must_Keep_The_Fact then
Answers.Change (The_Answer, Erasable, Slot.Value (False));
else
Answers.Delete (The_Answer);
end if;
end Action;
end Answer_To_Questions_Rule;
nblk1=2
nid=0
hdr6=4
[0x00] rec0=1a rec1=00 rec2=01 rec3=028
[0x01] rec0=0b rec1=00 rec2=02 rec3=001
tail 0x21737688c84fd6b8a534d 0x42a00088462063c03