|
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: 10240 (0x2800)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Service_Manager, seg_053428, seg_05342b
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
with Orb_Defs;
with Transport_Defs;
--with Service_Manager_defs;
package Service_Manager is
type Manager_Task is limited private;
function Add_Service
(Service_Manager_Task : in Manager_Task;
Service_Name : in Orb_Defs.Name;
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_Manager_Task : in Manager_Task;
Service_Ip_Adress : in Orb_Defs.Host_Id;
Service_Socket : in Orb_Defs.Socket_Id) return Boolean;
procedure Ask_Service (Service_Manager_Task : in Manager_Task;
Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Service_Ip : out Orb_Defs.Host_Id;
Service_Socket :out Orb_Defs.Socket_Id;
Service_Delivered : out Boolean);
function Exist_Service
(Service_Manager_Task : in Manager_Task;
Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Service_Ip : in Orb_Defs.Host_Id;
Service_Socket : in Orb_Defs.Socket_Id) return Boolean;
function Add_Filter
(Service_Manager_Task : in Manager_Task;
Filter_Name : in Orb_Defs.Name;
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
(Service_Manager_Task : in Manager_Task;
Agent_Ip_Adress : in Orb_Defs.Host_Id;
Agent_Socket : in Orb_Defs.Socket_Id) return Boolean;
procedure Ask_Filter (Service_Manager_Task : in Manager_Task;
Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Filter_Ip : out Orb_Defs.Host_Id;
Filter_Socket : out Orb_Defs.Socket_Id;
Filter_Delivered : out Boolean);
function Add_Spy (Service_Manager_Task : in Manager_Task;
Spy_Name : in Orb_Defs.Name;
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 (Service_Manager_Task : in Manager_Task;
Spy_Ip_Adress : in Orb_Defs.Host_Id;
Spy_Socket : in Orb_Defs.Socket_Id) return Boolean;
procedure Ask_Spy (Service_Manager_Task : in Manager_Task;
Ask_Class : in Orb_Defs.Class;
Ask_Fct : in Orb_Defs.Funct;
Spy_Ip_Adress : out Orb_Defs.Host_Id;
Spy_Socket : out Orb_Defs.Socket_Id;
Spy_Delivered : out Boolean);
procedure Ask_Agent_To_Test (Service_Manager_Task : in Manager_Task;
Agent_Ip : out Orb_Defs.Host_Id;
Agent_Socket : out Orb_Defs.Socket_Id;
Error : out Boolean);
procedure Set_Agent_To_Failure (Service_Manager_Task : in Manager_Task;
Agent_Ip_Adress : in Orb_Defs.Host_Id;
Agent_Socket : in Orb_Defs.Socket_Id);
procedure Set_Agent_To_Ok (Service_Manager_Task : in Manager_Task;
Agent_Ip_Adress : in Orb_Defs.Host_Id;
Agent_Socket : in Orb_Defs.Socket_Id);
private
task type Manager_Task is
entry Add_Service (Service_Name : in Orb_Defs.Name;
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_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_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_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);
entry Ask_Filter (Ask_Class : in Orb_Defs.Class;
Ask_Function : in Orb_Defs.Funct;
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_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;
Remove : out Boolean);
entry Ask_Spy (Ask_Class : in Orb_Defs.Class;
Ask_Function : in Orb_Defs.Funct;
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_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=9
nid=0
hdr6=12
[0x00] rec0=1a rec1=00 rec2=01 rec3=056
[0x01] rec0=00 rec1=00 rec2=09 rec3=002
[0x02] rec0=17 rec1=00 rec2=03 rec3=060
[0x03] rec0=13 rec1=00 rec2=02 rec3=03e
[0x04] rec0=15 rec1=00 rec2=08 rec3=044
[0x05] rec0=13 rec1=00 rec2=04 rec3=032
[0x06] rec0=14 rec1=00 rec2=05 rec3=00c
[0x07] rec0=15 rec1=00 rec2=06 rec3=014
[0x08] rec0=06 rec1=00 rec2=07 rec3=001
tail 0x2154c2d0a87aa695d97a8 0x42a00088462060003