|
|
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: 4096 (0x1000)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Messages, seg_054899
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with Bounded_String;
with Std_Types;
use Std_Types;
package Messages is
-- Dmax : constant := 2;
-- Tmax : constant := 3;
-- Pmax : constant := 200;
-- Sfix : constant := Tmax * 3 + Dmax;
-- Mmax : constant := Pmax - Sfix;
-- Cmax : constant := [expression];
package Bs renames Bounded_String;
-- type V_Packet is new Bounded_String.Variable_String (Pmax);
-- type V_String is new Bounded_String.Variable_String (Mmax);
V_Null : V_String := V_String (Bs.Value ("vide", Mmax));
type Object is private;
type Type_Message is (Registration, Unregistration, Query,
Request, Notification, Forward,
Publication, Unpublication, Subscription,
Unsubscription, Filtration, Unfiltration);
function Create (Typ : Type_Message;
Msg : V_String;
Source : Natural;
Target : Natural;
Order : Natural) return Object;
function Image (Obj : Object) return V_Packet;
procedure Send (Typ : Type_Message;
Msg : V_String := V_Null;
Source : Natural := 0;
Target : Natural := 0;
Order : Natural := 0);
procedure Receive;
function Get_Type_Msg (Msg : String) return Type_Message;
function Get_Source_Id (Msg : String) return Natural;
function Get_Target_Id (Msg : String) return Natural;
function Get_Order_Msg (Msg : String) return Natural;
function Get_Content_Msg (Msg : String) return String;
function Get_Type_Str_Msg (Msg : String) return String;
procedure Watch_Pack (V_Str : V_Packet);
private
type Object is
record
Type_Msg : String (1 .. Dmax) := " 1";
Source_Id : String (1 .. Tmax) := " 0";
Target_Id : String (1 .. Tmax) := "999";
Order_Msg : String (1 .. Tmax) := "111";
Content : V_String :=
V_String (Bs.Value (S => String'(1 .. Mmax => '-'),
Max_Length => Mmax));
Packet : V_Packet := V_Packet
(Bs.Value (S => String'(1 .. Pmax => '+'),
Max_Length => Pmax));
end record;
end Messages;
nblk1=3
nid=0
hdr6=6
[0x00] rec0=1d rec1=00 rec2=01 rec3=04c
[0x01] rec0=1a rec1=00 rec2=02 rec3=024
[0x02] rec0=0a rec1=00 rec2=03 rec3=000
tail 0x2175d9cae87b886cf8bab 0x42a00088462060003