|
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 Robots_Briques_Facts_Bak, seg_011f13
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
with Context;
with Engine_First;
with Instance;
with Robots_Briques_Actions, Robots_Briques_Conditions,
Robots_Briques_Facts, Slot, Text_Io;
use Robots_Briques_Actions, Robots_Briques_Conditions, Robots_Briques_Facts;
with Frame_Robots_Briques;
use Frame_Robots_Briques;
package body Robots_Briques_Facts_Bak is
procedure Create is
use Robot_Features, Brique_Features;
I : Integer := 10;
begin
Robot.Add (With_Values => (Name => Slot.Value ("robot no 1"),
Box => Slot.Value (1),
T_Ask => State_Slot_Tasks.Value (Get),
Is_Busy => Slot.Value (False),
Old => Slot.Value (0)));
Robot.Add (With_Values => (Name => Slot.Value ("robot no 2"),
Box => Slot.Value (1),
T_Ask => State_Slot_Tasks.Value (Get),
Is_Busy => Slot.Value (False),
Old => Slot.Value (0)));
Text_Io.Put_Line (" Nb robots : " &
Slot.Image (Slot.Value (Robot.Cardinality)));
while I <= 19 loop
Brique.Add (With_Values =>
(Size => Slot.Value (I),
Colour => State_Slot_Colours.Value (Pink),
Place => In_The_Heap,
Boite => Slot.Value (1)));
I := I + 1;
end loop;
Text_Io.Put_Line (" ");
Text_Io.Put_Line (" Nb briques : " &
Slot.Image (Slot.Value (Brique.Cardinality)));
end Create;
procedure Delete is
begin
Brique.Clear;
Robot.Clear;
end Delete;
end Robots_Briques_Facts_Bak;
nblk1=5
nid=2
hdr6=4
[0x00] rec0=18 rec1=00 rec2=01 rec3=08a
[0x01] rec0=1d rec1=00 rec2=03 rec3=000
[0x02] rec0=10 rec1=00 rec2=03 rec3=056
[0x03] rec0=11 rec1=00 rec2=02 rec3=004
[0x04] rec0=0d rec1=00 rec2=04 rec3=001
tail 0x2150d3a8e8246730a2e45 0x42a00088462063c03
Free Block Chain:
0x2: 0000 00 04 03 fc 80 04 29 29 29 3b 04 00 3a 20 20 20 ┆ ))); : ┆
0x4: 0000 00 05 03 fc 80 1d 20 57 65 69 67 68 74 20 3d 3e ┆ Weight =>┆
0x5: 0000 00 00 01 5f 00 40 20 20 20 20 20 20 20 20 20 20 ┆ _ @ ┆