|
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: 6144 (0x1800)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Bgrb2_Frames, seg_04b33a
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with Bgrb2_Kbs;
with Output_Stream;
with Slot;
use Slot;
use Bgrb2_Kbs;
package Bgrb2_Frames is
use Kbs;
type Places is (On_Heap_Place, In_Box_Place, In_Pliers_Place);
type Actions is (Taking_Action, Dropping_Action);
type Booleans is (Yes_Boolean, No_Boolean);
type States is (Empty_State, Reserved_State, Full_State);
package Places_Facilities is new Enumeration_Facilities (Places);
package Actions_Facilities is new Enumeration_Facilities (Actions);
package Booleans_Facilities is new Enumeration_Facilities (Booleans);
package States_Facilities is new Enumeration_Facilities (States);
On_Heap : constant Object := Places_Facilities.Value (On_Heap_Place);
In_Box : constant Object := Places_Facilities.Value (In_Box_Place);
In_Pliers : constant Object := Places_Facilities.Value (In_Pliers_Place);
Taking : constant Object := Actions_Facilities.Value (Taking_Action);
Dropping : constant Object := Actions_Facilities.Value (Dropping_Action);
Yes : constant Object := Booleans_Facilities.Value (Yes_Boolean);
No : constant Object := Booleans_Facilities.Value (No_Boolean);
Empty : constant Object := States_Facilities.Value (Empty_State);
Reserved : constant Object := States_Facilities.Value (Reserved_State);
Full : constant Object := States_Facilities.Value (Full_State);
type Brick_Slots is (Size, Place);
type Box_Slots is (Number, State);
type Robot_Slots is (Action, Working, Identifier);
package Bricks is new Fact_Base.Generic_Class (Class_Name => Brick,
Class_Size => 30,
Slot_Names => Brick_Slots);
package Boxes is new Fact_Base.Generic_Class (Class_Name => Box,
Class_Size => 20,
Slot_Names => Box_Slots);
package Robots is new Fact_Base.Generic_Class (Class_Name => Robot,
Class_Size => 10,
Slot_Names => Robot_Slots);
package Bricks_Server is new Bricks.Generic_Class_Server
(Max_Change_Operations => 20,
Max_Delete_Operations => 10);
package Boxes_Server is new Boxes.Generic_Class_Server
(Max_Change_Operations => 20,
Max_Delete_Operations => 10);
package Robots_Server is new Robots.Generic_Class_Server
(Max_Change_Operations => 20,
Max_Delete_Operations => 10);
procedure Put (The_Fact : Fact_Name; Where : Output_Stream.Object);
end Bgrb2_Frames;
nblk1=5
nid=5
hdr6=8
[0x00] rec0=1d rec1=00 rec2=01 rec3=012
[0x01] rec0=00 rec1=00 rec2=03 rec3=028
[0x02] rec0=15 rec1=00 rec2=02 rec3=082
[0x03] rec0=16 rec1=00 rec2=04 rec3=000
[0x04] rec0=c0 rec1=00 rec2=00 rec3=100
tail 0x2174fde8c867b70cfd237 0x42a00088462063c03
Free Block Chain:
0x5: 0000 00 00 00 03 00 00 00 02 30 02 13 86 ec 00 04 5f ┆ 0 _┆