|
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: 12288 (0x3000)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Service_Manager, seg_0542f1, seg_055642
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with Orb_Defs;
with Text_Io;
with Transport_Defs;
with Service_Manager_Defs;
with Agent_Toolbox;
with Service_Toolbox;
package Service_Manager is
-- Definition des trois paquetages gerant les services, les filtres, les espions.
package Service_Table is new Service_Toolbox
(Service_Manager_Defs.Number_Of_Service);
package Filter_Table is new Service_Toolbox
(Service_Manager_Defs.Number_Of_Filter);
package Spy_Table is new Service_Toolbox
(Service_Manager_Defs.Number_Of_Spy);
function Add_Service
(Service_Name : in Orb_Defs.Name;
Service_Connection : in Orb_Defs.Connection_Id;
Service_Ip_Adress : in Orb_Defs.Host_Id;
Service_Socket : in Orb_Defs.Socket_Id;
Service_Declaration : in Orb_Defs.Message) return Boolean;
function Remove_Service
(Service_Ip_Adress : in Orb_Defs.Host_Id;
Service_Socket : in Orb_Defs.Socket_Id) return Boolean;
procedure Ask_Service (Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Service_Connection : out Orb_Defs.Connection_Id;
Service_Ip : out Orb_Defs.Host_Id;
Service_Socket : out Orb_Defs.Socket_Id;
Service_Delivered : out Boolean);
procedure Exist_Service (Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Service_Connection : out Orb_Defs.Connection_Id;
Service_Ip : in Orb_Defs.Host_Id;
Service_Socket : in Orb_Defs.Socket_Id;
Exist : out Boolean);
function Add_Filter
(Filter_Name : in Orb_Defs.Name;
Filter_Connection : in Orb_Defs.Connection_Id;
Filter_Ip_Adress : in Orb_Defs.Host_Id;
Filter_Socket : in Orb_Defs.Socket_Id;
Filter_Declaration : in Orb_Defs.Message) return Boolean;
function Remove_Filter
(Agent_Ip_Adress : in Orb_Defs.Host_Id;
Agent_Socket : in Orb_Defs.Socket_Id) return Boolean;
procedure Ask_Filter (Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Filter_Connection : out Orb_Defs.Connection_Id;
Filter_Ip : out Orb_Defs.Host_Id;
Filter_Socket : out Orb_Defs.Socket_Id;
Filter_Delivered : out Boolean);
function Add_Spy (Spy_Name : in Orb_Defs.Name;
Spy_Connection : in Orb_Defs.Connection_Id;
Spy_Ip_Adress : in Orb_Defs.Host_Id;
Spy_Socket : in Orb_Defs.Socket_Id;
Spy_Declaration : in Orb_Defs.Message) return Boolean;
function Remove_Spy (Spy_Ip_Adress : in Orb_Defs.Host_Id;
Spy_Socket : in Orb_Defs.Socket_Id) return Boolean;
procedure Ask_Spy (Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Spy_Connection : out Orb_Defs.Connection_Id;
Spy_Ip_Adress : out Orb_Defs.Host_Id;
Spy_Socket : out Orb_Defs.Socket_Id;
Spy_Delivered : out Boolean);
procedure Ask_Agent_To_Test (Agent_Connection : out Orb_Defs.Connection_Id;
Agent_Ip : out Orb_Defs.Host_Id;
Agent_Socket : out Orb_Defs.Socket_Id;
Error : out Boolean);
procedure Set_Agent_To_Failure (Agent_Ip_Adress : in Orb_Defs.Host_Id;
Agent_Socket : in Orb_Defs.Socket_Id);
procedure Set_Agent_To_Ok (Agent_Ip_Adress : in Orb_Defs.Host_Id;
Agent_Socket : in Orb_Defs.Socket_Id);
private
task Manager_Task is
entry Add_Service (Service_Name : in Orb_Defs.Name;
Service_Connection : in Orb_Defs.Connection_Id;
Service_Ip : in Orb_Defs.Host_Id;
Service_Socket : in Orb_Defs.Socket_Id;
Service_Declaration : in Orb_Defs.Message;
Add : out Boolean);
entry Remove_Service (Service_Ip_Adress : in Orb_Defs.Host_Id;
Service_Socket : in Orb_Defs.Socket_Id;
Destruct : out Boolean);
entry Ask_Service (Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Service_Connection : out Orb_Defs.Connection_Id;
Service_Ip : out Orb_Defs.Host_Id;
Service_Socket : out Orb_Defs.Socket_Id;
Service_Release : out Boolean);
entry Exist_Service (Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Service_Connection : out Orb_Defs.Connection_Id;
Service_Ip : in Orb_Defs.Host_Id;
Service_Socket : in Orb_Defs.Socket_Id;
Service_Release : out Boolean);
entry Add_Filter (Filter_Name : in Orb_Defs.Name;
Filter_Connection : in Orb_Defs.Connection_Id;
Filter_Ip_Adress : in Orb_Defs.Host_Id;
Filter_Socket : in Orb_Defs.Socket_Id;
Filter_Declaration : in Orb_Defs.Message;
Add : out Boolean);
entry Remove_Filter (Agent_Ip_Adress : in Orb_Defs.Host_Id;
Agent_Socket : in Orb_Defs.Socket_Id;
Destruct : out Boolean);
entry Ask_Filter (Ask_Class : in Orb_Defs.Class;
Ask_Function : in Orb_Defs.Funct;
Filter_Connection : out Orb_Defs.Connection_Id;
Filter_Ip_Adress : out Orb_Defs.Host_Id;
Filter_Socket : out Orb_Defs.Socket_Id;
Filter_Delivered : out Boolean);
entry Add_Spy (Spy_Name : in Orb_Defs.Name;
Spy_Connection : in Orb_Defs.Connection_Id;
Spy_Ip_Adress : in Orb_Defs.Host_Id;
Spy_Socket : in Orb_Defs.Socket_Id;
Spy_Declaration : in Orb_Defs.Message;
Add : out Boolean);
entry Remove_Spy (Spy_Ip_Adress : in Orb_Defs.Host_Id;
Spy_Socket : in Orb_Defs.Socket_Id;
Destruct : out Boolean);
entry Ask_Spy (Ask_Class : in Orb_Defs.Class;
Ask_Function : in Orb_Defs.Funct;
Spy_Connection : out Orb_Defs.Connection_Id;
Spy_Ip_Adress : out Orb_Defs.Host_Id;
Spy_Socket : out Orb_Defs.Socket_Id;
Spy_Release : out Boolean);
entry Ask_Agent_To_Test (Agent_Connection : out Orb_Defs.Connection_Id;
Agent_Ip_Adress : out Orb_Defs.Host_Id;
Agent_Socket : out Orb_Defs.Socket_Id;
Error : out Boolean);
entry Set_Agent_To_Failure (Agent_Ip : in Orb_Defs.Host_Id;
Agent_Socket : in Orb_Defs.Socket_Id);
entry Set_Agent_To_Ok (Agent_Ip : in Orb_Defs.Host_Id;
Agent_Socket : in Orb_Defs.Socket_Id);
end Manager_Task;
end Service_Manager;
nblk1=b
nid=3
hdr6=14
[0x00] rec0=1c rec1=00 rec2=01 rec3=032
[0x01] rec0=01 rec1=00 rec2=0a rec3=064
[0x02] rec0=14 rec1=00 rec2=09 rec3=076
[0x03] rec0=03 rec1=00 rec2=04 rec3=014
[0x04] rec0=14 rec1=00 rec2=05 rec3=008
[0x05] rec0=12 rec1=00 rec2=07 rec3=07a
[0x06] rec0=15 rec1=00 rec2=06 rec3=03e
[0x07] rec0=12 rec1=00 rec2=08 rec3=060
[0x08] rec0=15 rec1=00 rec2=0b rec3=00e
[0x09] rec0=14 rec1=00 rec2=02 rec3=000
[0x0a] rec0=08 rec1=00 rec2=04 rec3=000
tail 0x2154ce57087b639662878 0x42a00088462060003
Free Block Chain:
0x3: 0000 00 00 03 72 80 3e 20 20 20 20 20 20 20 20 20 20 ┆ r > ┆