|
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: 5120 (0x1400)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Debugger, seg_01136c, seg_011571
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
with Context;
with Instance;
with Tuple;
with Tuple_Collection;
package Debugger is
type Debugging_Mode is (Text, Graphic);
type Item_Debugged is (Context_Entered, Strategy_Used, Conflict_Set_Started,
Conflict_Set_Finished, Condition_Evalued,
Choosed_Rule, Choosed_Action, Rule_Facts,
Action_Fact, New_Step, Failed, Completly);
type Item_Set is array (Positive range <>) of Item_Debugged;
procedure Main_Menu;
procedure Send_Context_Entered (With_Number : Context.Reference);
procedure Send_Strategy_Used (With_Name : Context.Strategy);
procedure Send_Conflict_Set_Started;
procedure Send_Conflict_Set_Finished;
procedure Send_Condition_Evalued (In_Context : Context.Reference;
With_Rule : Context.Rule_Id;
Result : Boolean;
Facts : Tuple_Collection.Object);
procedure Send_Choosed_Rule (In_Context : Context.Reference;
The_Rule : Context.Rule_Id;
The_Fact : Tuple.Object);
procedure Send_Choosed_Action (In_Context : Context.Reference;
The_Rule : Context.Rule_Id;
The_Fact : Tuple.Object);
procedure Send_New_Step;
procedure Send_Failed;
function Is_Debugged (What : Item_Debugged) return Boolean;
procedure Set_Debug_On (Item : Item_Debugged);
procedure Set_Debug_On (Item : Item_Set);
procedure Set_Debug_Off (Item : Item_Debugged);
procedure Set_Debug_Off (Item : Item_Set);
procedure Reset_Debug (Mode : Debugging_Mode);
procedure Refresh_Debug;
end Debugger;
nblk1=4
nid=4
hdr6=4
[0x00] rec0=1d rec1=00 rec2=01 rec3=02e
[0x01] rec0=16 rec1=00 rec2=02 rec3=000
[0x02] rec0=12 rec1=00 rec2=04 rec3=08e
[0x03] rec0=05 rec1=00 rec2=03 rec3=000
tail 0x2150bd56c822f76584f58 0x42a00088462063c03
Free Block Chain:
0x4: 0000 00 03 00 07 80 01 3b 01 00 00 00 20 20 20 20 20 ┆ ; ┆
0x3: 0000 00 00 00 81 00 48 20 20 20 20 20 20 20 20 20 20 ┆ H ┆