DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦5c9046fde⟧ Ada Source

    Length: 17408 (0x4400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Service_Manager, seg_053429, seg_05342c

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

E3 Source Code



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;


E3 Meta Data

    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_┆