|
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: 17408 (0x4400) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Service_Manager, seg_053429, seg_05342c
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─⟦5a81ac88f⟧ »Space Info Vol 1« └─⟦this⟧
package body Service_Manager is 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 is Result_Test : Boolean; begin Service_Manager_Task.Add_Service (Service_Name => Service_Name, Service_Ip => Service_Ip_Adress, Service_Socket => Service_Socket, Service_Declaration => Service_Declaration, Add => Result_Test); return Result_Test; end Add_Service; 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 is Result_Test : Boolean; begin Service_Manager_Task.Remove_Service (Service_Ip_Adress => Service_Ip_Adress, Service_Socket => Service_Socket, Destruct => Result_Test); return Result_Test; end Remove_Service; 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) is begin Service_Manager_Task.Ask_Service (Ask_Class => Ask_Class, Ask_Fct => Ask_Fct, Service_Ip => Service_Ip, Service_Socket => Service_Socket, Service_Release => Service_Delivered); end Ask_Service; 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 is Result_Test : Boolean; begin Service_Manager_Task.Exist_Service (Ask_Class => Ask_Class, Ask_Fct => Ask_Fct, Service_Ip => Service_Ip, Service_Socket => Service_Socket, Service_Release => Result_Test); return Result_Test; end Exist_Service; 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 is Result_Test : Boolean; begin Service_Manager_Task.Add_Filter (Filter_Name => Filter_Name, Filter_Ip_Adress => Filter_Ip_Adress, Filter_Socket => Filter_Socket, Filter_Declaration => Filter_Declaration, Add => Result_Test); return Result_Test; end Add_Filter; 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 is Result_Test : Boolean; begin Service_Manager_Task.Remove_Filter (Agent_Ip_Adress => Agent_Ip_Adress, Agent_Socket => Agent_Socket); return Result_Test; end Remove_Filter; 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) is begin Service_Manager_Task.Ask_Filter (Ask_Class => Ask_Class, Ask_Function => Ask_Fct, Filter_Ip_Adress => Filter_Ip, Filter_Socket => Filter_Socket, Filter_Delivered => Filter_Delivered); end Ask_Filter; 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 is Result_Test : Boolean; begin Service_Manager_Task.Add_Spy (Spy_Name => Spy_Name, Spy_Ip_Adress => Spy_Ip_Adress, Spy_Socket => Spy_Socket, Spy_Declaration => Spy_Declaration, Add => Result_Test); return Result_Test; end Add_Spy; 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 is Result_Test : Boolean; begin Service_Manager_Task.Remove_Spy (Spy_Ip_Adress => Spy_Ip_Adress, Spy_Socket => Spy_Socket, Remove => Result_Test); return Result_Test; end Remove_Spy; 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) is begin Service_Manager_Task.Ask_Spy (Ask_Class => Ask_Class, Ask_Function => Ask_Fct, Spy_Ip_Adress => Spy_Ip_Adress, Spy_Socket => Spy_Socket, Spy_Release => Spy_Delivered); end Ask_Spy; 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) is begin Service_Manager_Task.Ask_Agent_To_Test (Agent_Ip_Adress => Agent_Ip, Agent_Socket => Agent_Socket, Error => Error); end Ask_Agent_To_Test; 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) is begin Service_Manager_Task.Set_Agent_To_Failure (Agent_Ip => Agent_Ip_Adress, Agent_Socket => Agent_Socket); end Set_Agent_To_Failure; 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) is begin Service_Manager_Task.Set_Agent_To_Ok (Agent_Ip => Agent_Ip_Adress, Agent_Socket => Agent_Socket); end Set_Agent_To_Ok; task body Manager_Task is begin loop select accept 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) do [statement] end Add_Service; accept Remove_Service (Service_Ip_Adress : in Orb_Defs.Host_Id; Service_Socket : in Orb_Defs.Socket_Id; Destruct : out Boolean) do [statement] end Remove_Service; accept 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) do [statement] end Ask_Service; accept 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) do [statement] end Exist_Service; accept 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) do [statement] end Add_Filter; accept Remove_Filter (Agent_Ip_Adress : in Orb_Defs.Host_Id; Agent_Socket : in Orb_Defs.Socket_Id) do [statement] end Remove_Filter; accept 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) do [statement] end Ask_Filter; accept 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) do [statement] end Add_Spy; accept Remove_Spy (Spy_Ip_Adress : in Orb_Defs.Host_Id; Spy_Socket : in Orb_Defs.Socket_Id; Remove : out Boolean) do [statement] end Remove_Spy; accept 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) do [statement] end Ask_Spy; accept Ask_Agent_To_Test (Agent_Ip_Adress : out Orb_Defs.Host_Id; Agent_Socket : out Orb_Defs.Socket_Id; Error : out Boolean) do [statement] end Ask_Agent_To_Test; accept Set_Agent_To_Failure (Agent_Ip : in Orb_Defs.Host_Id; Agent_Socket : in Orb_Defs.Socket_Id) do [statement] end Set_Agent_To_Failure; accept Set_Agent_To_Ok (Agent_Ip : in Orb_Defs.Host_Id; Agent_Socket : in Orb_Defs.Socket_Id) do [statement] end Set_Agent_To_Ok; end select; end loop; end Manager_Task; end Service_Manager;
nblk1=10 nid=f hdr6=1c [0x00] rec0=1a rec1=00 rec2=01 rec3=00a [0x01] rec0=14 rec1=00 rec2=08 rec3=004 [0x02] rec0=17 rec1=00 rec2=0c rec3=00e [0x03] rec0=18 rec1=00 rec2=06 rec3=07c [0x04] rec0=13 rec1=00 rec2=05 rec3=070 [0x05] rec0=16 rec1=00 rec2=02 rec3=042 [0x06] rec0=13 rec1=00 rec2=0d rec3=042 [0x07] rec0=15 rec1=00 rec2=04 rec3=006 [0x08] rec0=02 rec1=00 rec2=10 rec3=00a [0x09] rec0=15 rec1=00 rec2=03 rec3=020 [0x0a] rec0=11 rec1=00 rec2=0e rec3=070 [0x0b] rec0=14 rec1=00 rec2=09 rec3=07c [0x0c] rec0=16 rec1=00 rec2=0a rec3=006 [0x0d] rec0=16 rec1=00 rec2=0b rec3=000 [0x0e] rec0=09 rec1=00 rec2=0c rec3=001 [0x0f] rec0=00 rec1=00 rec2=00 rec3=000 tail 0x2154c2de087aa6c211285 0x42a00088462060003 Free Block Chain: 0xf: 0000 00 07 03 52 80 41 20 20 20 20 20 20 20 20 20 20 ┆ R A ┆ 0x7: 0000 00 00 01 c2 80 24 20 20 20 20 20 20 41 73 6b 5f ┆ $ Ask_┆