|
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 Frame_Defs, seg_055a3c
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─⟦cfc2e13cd⟧ »Space Info Vol 2« └─⟦this⟧
with Byte_Defs; with Transport_Defs; with Utils; with Orb_Defs; with V_String; package Frame_Defs is type String_Field is (Nom_Exp_Field, Service_Kind_Field, Service_Field, Message_Field); type Socket_Field is (Dest_Socket_Field, Exp_Socket_Field); type Host_Field is (Dest_Host_Field, Exp_Host_Field); type Natural_Field is (Phase_Field, Message_Number_Field); subtype Communication_Data is Byte_Defs.Byte_String (1 .. 256); type Frame is private; function Image (The_Frame : Frame) return String; procedure Init_Frame (Nom_Exp : String; Dest_Socket : Orb_Defs.Socket_Id; Dest_Host : Orb_Defs.Host_Id; Exp_Socket : Orb_Defs.Socket_Id; Exp_Host : Orb_Defs.Host_Id; Phase : Natural; Message_Number : Natural; Service_Kind, Service, Message : String; The_Frame : out Frame); function Init_Frame (Nom_Exp : String; Dest_Socket : Orb_Defs.Socket_Id; Dest_Host : Orb_Defs.Host_Id; Exp_Socket : Orb_Defs.Socket_Id; Exp_Host : Orb_Defs.Host_Id; Phase : Natural; Message_Number : Natural; Service_Kind, Service, Message : String) return Frame; procedure Set_Frame (The_Data : Communication_Data; The_Frame : out Frame); procedure Get_Frame (The_Frame : in Frame; The_Byte_String : out Communication_Data); procedure Set (The_String_Field : String_Field; The_Str : String; The_Frame : in out Frame); procedure Set (The_String_Field : String_Field; The_Var_Str : in V_String.Variable_String; The_Frame : in out Frame); procedure Set (The_Socket_Field : Socket_Field; The_Var_Socket : in Orb_Defs.Socket_Id; The_Frame : in out Frame); procedure Set (The_Host_Field : Host_Field; The_Var_Host : in Orb_Defs.Host_Id; The_Frame : in out Frame); procedure Set (The_Natural_Field : Natural_Field; The_Var_Nat : in Natural; The_Frame : in out Frame); procedure Get (The_String_Field : String_Field; The_Frame : Frame; The_Str : out String); procedure Get (The_String_Field : String_Field; The_Frame : Frame; The_Str : in out V_String.Variable_String); procedure Get (The_Socket_Field : Socket_Field; The_Frame : Frame; The_Socket_Id : out Orb_Defs.Socket_Id); procedure Get (The_Host_Field : Host_Field; The_Frame : Frame; The_Host_Id : out Orb_Defs.Host_Id); procedure Get (The_Natural_Field : Natural_Field; The_Frame : Frame; The_Nat : out Natural); private type Frame is record Nom_Exp : V_String.Variable_String; Dest_Socket : Orb_Defs.Socket_Id; Dest_Host : Orb_Defs.Host_Id; Exp_Socket : Orb_Defs.Socket_Id; Exp_Host : Orb_Defs.Host_Id; Phase : Natural; Message_Number : Natural; Service_Kind : V_String.Variable_String; Service : V_String.Variable_String; Message : V_String.Variable_String; end record; end Frame_Defs;
nblk1=5 nid=5 hdr6=8 [0x00] rec0=1e rec1=00 rec2=01 rec3=03e [0x01] rec0=18 rec1=00 rec2=02 rec3=014 [0x02] rec0=1c rec1=00 rec2=04 rec3=01c [0x03] rec0=1e rec1=00 rec2=03 rec3=000 [0x04] rec0=0b rec1=00 rec2=05 rec3=000 tail 0x21760851e87bf4f9744b4 0x42a00088462060003 Free Block Chain: 0x5: 0000 00 00 01 3e 00 28 20 20 20 20 20 20 20 20 20 20 ┆ > ( ┆