|
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 Bgrb1_Frames, seg_04b360
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with Bgrb1_Kbs;
with Output_Stream;
with Slot;
use Slot;
use Bgrb1_Kbs;
package Bgrb1_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 Slots is (Size, Place, Number, State, Action, Working, Identifier);
subtype Brick_Slots is Slots range Size .. Place;
subtype Box_Slots is Slots range Number .. State;
subtype Robot_Slots is Slots range Action .. 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);
procedure Put (The_Fact : Fact_Name; Where : Output_Stream.Object);
end Bgrb1_Frames;
nblk1=4
nid=0
hdr6=8
[0x00] rec0=1d rec1=00 rec2=01 rec3=012
[0x01] rec0=00 rec1=00 rec2=04 rec3=022
[0x02] rec0=15 rec1=00 rec2=03 rec3=020
[0x03] rec0=0b rec1=00 rec2=02 rec3=000
tail 0x2174fb216867a48d59700 0x42a00088462063c03