|
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 ┆