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

1     --% Library Package:
2     --    Implementation of the Power Conditioning System storage selection
3     --+    definition service
4     
5     with Power_Conditioning_System.Parameters;
6     with Power_Conditioning_System.Router;
7     with Storage_Selection_Defs;
8     package Power_Conditioning_System.Storage_Selection_Defs is
9           new Standard.Storage_Selection_Defs
10              (Application_ID =>
11                  Power_Conditioning_System.Parameters.Application_ID,
12               Max_Store_IDs =>
13                  Power_Conditioning_System.Parameters.Storage_Selection.
14                     Max_Store_IDs,
15               Optional_Deposit =>
16                  Power_Conditioning_System.Router.Optional_Deposit,
17               Telecommand_Buffer_Size =>
18                  Power_Conditioning_System.Parameters.TC_Interpreters.
19                     Telecommand_Buffer_Size,
20               Telecommand_Buffer_Priority =>
21                  Power_Conditioning_System.Parameters.TC_Interpreters.
22                     Telecommand_Buffer_Priority,
23               Telecommand_Interpreter_Priority =>
24                  Power_Conditioning_System.Parameters.TC_Interpreters.
25                     Telecommand_Interpreter_Priority,
26               Telecommand_Interpreter_Stack_Size =>
27                  Power_Conditioning_System.Parameters.Storage_Selection.
28                     Interpreter_Stack_Size);
29