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

1     --% Library Package:
2     --    Housekeeping & Diagnostics service (service type 3) specific to Power
3     --+    Conditioning System application process.
4     
5     with HK_Collector;
6     with Power_Conditioning_System.Parameters;
7     with Power_Conditioning_System.Router;
8     with Power_Conditioning_System.Driver_IF;
9     package Power_Conditioning_System.HK_Collector is new Standard.HK_Collector
10              (Application_ID =>
11                  Power_Conditioning_System.Parameters.Application_ID,
12               Max_SIDs =>
13                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
14                     Max_SIDs,
15               Max_Sampling_Events =>
16                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
17                     Max_Sampling_Events,
18               Max_Simple_Params =>
19                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
20                     Max_Simple_Params,
21               Max_Super_Params =>
22                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
23                     Max_Super_Params,
24               Max_Super_Reps =>
25                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
26                     Max_Super_Reps,
27               Max_No_Of_Checks_In_HK_Diag_Period =>
28                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
29                     Max_No_Of_Checks_In_HK_Diag_Period,
30               Is_Legal_Parameter_ID =>
31                  Power_Conditioning_System.Driver_IF.Is_Legal_Parameter_ID,
32               Receive =>
33                  Power_Conditioning_System.Driver_IF.Receive,
34               Optional_Deposit =>
35                  Power_Conditioning_System.Router.Optional_Deposit,
36               HK_Diag_Period =>
37                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
38                     Period,
39               HK_Diag_Event_Task_Priority =>
40                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
41                     Event_Task_Priority,
42               HK_Diag_Event_Task_Size =>
43                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
44                     Event_Task_Size,
45               HK_Diag_Event_List_Priority =>
46                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
47                     Event_List_Priority,
48               HK_Diag_Report_Definition_Priority =>
49                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
50                     Report_Definition_Priority,
51               Telecommand_Buffer_Priority =>
52                  Power_Conditioning_System.Parameters.TC_Interpreters.
53                     Telecommand_Buffer_Priority,
54               Telecommand_Buffer_Size =>
55                  Power_Conditioning_System.Parameters.TC_Interpreters.
56                     Telecommand_Buffer_Size,
57               Telecommand_Interpreter_Priority =>
58                  Power_Conditioning_System.Parameters.TC_Interpreters.
59                     Telecommand_Interpreter_Priority,
60               Telecommand_Interpreter_Stack_Size =>
61                  Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.
62                     Telecommand_Interpreter_Stack_Size);
63