File: /home/oboss/Users/gec/sources/Demonstrator/Power_Conditioning_System/power_conditioning_system-monitoring.ads

1     --% Library Package:
2     --    Implementation of the Power Conditioning System monitoring service
3     
4     with Monitor;
5     with Power_Conditioning_System.Parameters;
6     with Power_Conditioning_System.Router;
7     with Power_Conditioning_System.Driver_IF;
8     package Power_Conditioning_System.Monitoring is new Monitor
9              (Application_ID =>
10                  Power_Conditioning_System.Parameters.Application_ID,
11               Max_Params =>
12                  Power_Conditioning_System.Parameters.Monitoring.Max_Params,
13               Max_Checks =>
14                  Power_Conditioning_System.Parameters.Monitoring.Max_Checks,
15               Monitoring_Period =>
16                  Power_Conditioning_System.Parameters.Monitoring.
17                     Monitoring_Period,
18               Max_No_Of_Checks_In_Monitoring_Period =>
19                  Power_Conditioning_System.Parameters.Monitoring.
20                     Max_No_Of_Checks_In_Monitoring_Period,
21               Max_No_Of_OOL_Transitions =>
22                  Power_Conditioning_System.Parameters.Monitoring.
23                     Max_No_Of_OOL_Transitions,
24               Optional_Deposit =>
25                  Power_Conditioning_System.Router.Optional_Deposit,
26               Is_Legal_Parameter_ID =>
27                  Power_Conditioning_System.Driver_IF.Is_Legal_Parameter_ID,
28               Receive =>
29                  Power_Conditioning_System.Driver_IF.Receive,
30               Is_Valid =>
31                  Power_Conditioning_System.Driver_IF.Is_Valid,
32               Is_Selected =>
33                  Power_Conditioning_System.Driver_IF.Is_Selected,
34               Telecommand_Buffer_Priority =>
35                  Power_Conditioning_System.Parameters.TC_Interpreters.
36                     Telecommand_Buffer_Priority,
37               Telecommand_Buffer_Size =>
38                  Power_Conditioning_System.Parameters.TC_Interpreters.
39                     Telecommand_Buffer_Size,
40               Telecommand_Interpreter_Priority =>
41                  Power_Conditioning_System.Parameters.TC_Interpreters.
42                     Telecommand_Interpreter_Priority,
43               Telecommand_Interpreter_Stack_Size =>
44                  Power_Conditioning_System.Parameters.Monitoring.
45                     Telecommand_Interpreter_Stack_Size,
46               Monitoring_List_Priority =>
47                  Power_Conditioning_System.Parameters.Monitoring.
48                     Monitoring_List_Priority,
49               Check_Definitions_Collection_Priority =>
50                  Power_Conditioning_System.Parameters.Monitoring.
51                     Check_Definitions_Collection_Priority,
52               Monitor_Timeline_Priority =>
53                  Power_Conditioning_System.Parameters.Monitoring.
54                     Timeline_Priority,
55               Monitor_Task_Priority =>
56                  Power_Conditioning_System.Parameters.Monitoring.
57                     Monitor_Task_Priority,
58               Monitor_Task_Stack_Size =>
59                  Power_Conditioning_System.Parameters.Monitoring.
60                     Monitor_Task_Stack_Size,
61               Maximum_Reporting_Delay =>
62                  Power_Conditioning_System.Parameters.Monitoring.
63                     Maximum_Reporting_Delay,
64               OOL_Transition_List_Priority =>
65                  Power_Conditioning_System.Parameters.Monitoring.
66                     OOL_Transition_List_Priority,
67               OOL_Reporter_Priority =>
68                  Power_Conditioning_System.Parameters.Monitoring.
69                     OOL_Reporter_Priority,
70               OOL_Reporter_Task_Stack_Size =>
71                  Power_Conditioning_System.Parameters.Monitoring.
72                     OOL_Reporter_Task_Stack_Size);
73