|
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: 5120 (0x1400)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Bgrb1_Frames, seg_04b361
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
package body Bgrb1_Frames is
procedure Put (The_Fact : Fact_Name; Where : Output_Stream.Object) is
-- ......................................................
function Places_Image (Value : Object) return String is
use Places_Facilities;
begin
if Have_Same_Type (Value, On_Heap) then
return Places'Image (Get (Value));
else
return " BOX " & Integer'Image (Get (Value));
end if;
end Places_Image;
function Actions_Image (Value : Object) return String is
use Actions_Facilities;
begin
return Actions'Image (Get (Value));
end Actions_Image;
function Booleans_Image (Value : Object) return String is
use Booleans_Facilities;
begin
return Booleans'Image (Get (Value));
end Booleans_Image;
function States_Image (Value : Object) return String is
use States_Facilities;
begin
return States'Image (Get (Value));
end States_Image;
-- ......................................................
function Brick_Frames_Image
(For_Slot : Brick_Slots; Value : Object) return String is
begin
case For_Slot is
when Size =>
return Integer'Image (Get (Value));
when Place =>
return Places_Image (Value);
end case;
end Brick_Frames_Image;
function Robot_Frames_Image
(For_Slot : Robot_Slots; Value : Object) return String is
begin
case For_Slot is
when Action =>
return Actions_Image (Value);
when Working =>
return Booleans_Image (Value);
when Identifier =>
return Get (Value);
end case;
end Robot_Frames_Image;
function Box_Frames_Image
(For_Slot : Box_Slots; Value : Object) return String is
begin
case For_Slot is
when Number =>
return Integer'Image (Get (Value));
when State =>
return States_Image (Value);
end case;
end Box_Frames_Image;
-- ......................................................
procedure Put_Brick is new Bricks.Generic_Put
(Image => Brick_Frames_Image);
procedure Put_Robot is new Robots.Generic_Put
(Image => Robot_Frames_Image);
procedure Put_Box is new Boxes.Generic_Put (Image => Box_Frames_Image);
-- ......................................................
begin
case Fact_Base.Class.Class_Name_Of (The_Fact) is
when Brick =>
Put_Brick (The_Fact, Where);
when Robot =>
Put_Robot (The_Fact, Where);
when Box =>
Put_Box (The_Fact, Where);
when Nothing =>
null;
end case;
end Put;
end Bgrb1_Frames;
nblk1=4
nid=0
hdr6=8
[0x00] rec0=20 rec1=00 rec2=01 rec3=060
[0x01] rec0=1a rec1=00 rec2=04 rec3=032
[0x02] rec0=1a rec1=00 rec2=03 rec3=060
[0x03] rec0=0d rec1=00 rec2=02 rec3=000
tail 0x2174fb224867a48d6d113 0x42a00088462063c03