Object Cross Reference
Ada_Task_Configuration.Analogue_Status_Interface_Critical_Region_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 58
Set [ada_task_configuration.ads, 112] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 112] Ada_Task_Configuration
Ada_Task_Configuration.Counters_Critical_Region_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 45
Set [ada_task_configuration.ads, 143] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 143] Ada_Task_Configuration
Use [appl_proc_descr_manager_parameters.ads, 49] Appl_Proc_Descr_Manager_Parameters.Counters_Critical_Region_Task_Priority
Ada_Task_Configuration.Data_Handling_System_Schedule_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 32
Set [ada_task_configuration.ads, 369] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 369] Ada_Task_Configuration
Use [data_handling_system-parameters.ads, 173] Data_Handling_System.Parameters.Onboard_Scheduling.Schedule_Priority
Ada_Task_Configuration.Data_Handling_System_Scheduler_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 31
Set [ada_task_configuration.ads, 372] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 372] Ada_Task_Configuration
Use [data_handling_system-parameters.ads, 178] Data_Handling_System.Parameters.Onboard_Scheduling.Scheduler_Task_Priority
Ada_Task_Configuration.Data_Handling_System_TC_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 54
Set [ada_task_configuration.ads, 356] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 356] Ada_Task_Configuration
Use [external_device_command_distribution_types.ads, 92] External_Device_Command_Distribution_Types.Telecommand_Buffer_Priority
Use [data_handling_system-parameters.ads, 126] Data_Handling_System.Parameters.TC_Dispathing.TC_Buffer_Priority
Ada_Task_Configuration.Data_Handling_System_TC_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 33
Set [ada_task_configuration.ads, 360] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 360] Ada_Task_Configuration
Use [data_handling_system-parameters.ads, 120] Data_Handling_System.Parameters.TC_Dispathing.TC_Task_Priority
Ada_Task_Configuration.Data_Handling_System_Telecommand_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 34
Set [ada_task_configuration.ads, 363] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 363] Ada_Task_Configuration
Use [data_handling_system-parameters.ads, 95] Data_Handling_System.Parameters.TC_Interpreters.Telecommand_Buffer_Priority
Ada_Task_Configuration.Data_Handling_System_Telecommand_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 19
Set [ada_task_configuration.ads, 366] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 366] Ada_Task_Configuration
Use [external_device_command_distribution_types.ads, 99] External_Device_Command_Distribution_Types.Telecommand_Interpreter_Priority
Use [data_handling_system-parameters.ads, 101] Data_Handling_System.Parameters.TC_Interpreters.Telecommand_Interpreter_Priority
Ada_Task_Configuration.Detection_List_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 53
Set [ada_task_configuration.ads, 389] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 389] Ada_Task_Configuration
Use [data_handling_system-parameters.ads, 340] Data_Handling_System.Parameters.Event_Action.Detection_List_Priority
Ada_Task_Configuration.Digital_Status_Interface_Critical_Region_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 58
Set [ada_task_configuration.ads, 114] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 114] Ada_Task_Configuration
Ada_Task_Configuration.Event_Forwarder_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 57
Set [ada_task_configuration.ads, 164] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 164] Ada_Task_Configuration
Use [event_forwarder_parameters.ads, 56] Event_Forwarder_Parameters.Event_Forwarder_Priority
Ada_Task_Configuration.Event_Queue_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 61
Set [ada_task_configuration.ads, 159] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 159] Ada_Task_Configuration
Use [event_queue_parameters.ads, 56] Event_Queue_Parameters.Event_Queue_Priority
Ada_Task_Configuration.Large_Source_Data_Pool_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 61
Set [ada_task_configuration.ads, 154] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 154] Ada_Task_Configuration
Ada_Task_Configuration.LDT_Active_Timer_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 42
Set [ada_task_configuration.ads, 380] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 380] Ada_Task_Configuration
Use [onboard_storage-parameters.ads, 226] Onboard_Storage.Parameters.Large_Data_Transfer.Active_Timer_Priority
Use [data_handling_system-parameters.ads, 261] Data_Handling_System.Parameters.Large_Data_Transfer.Active_Timer_Priority
Ada_Task_Configuration.LDT_Protected_State_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 52
Set [ada_task_configuration.ads, 376] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 376] Ada_Task_Configuration
Use [onboard_storage-parameters.ads, 212] Onboard_Storage.Parameters.Large_Data_Transfer.Protected_State_Priority
Use [data_handling_system-parameters.ads, 247] Data_Handling_System.Parameters.Large_Data_Transfer.Protected_State_Priority
Ada_Task_Configuration.LDT_Protected_Timer_Control_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 53
Set [ada_task_configuration.ads, 378] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 378] Ada_Task_Configuration
Use [onboard_storage-parameters.ads, 221] Onboard_Storage.Parameters.Large_Data_Transfer.Protected_Timer_Control_Priority
Use [data_handling_system-parameters.ads, 256] Data_Handling_System.Parameters.Large_Data_Transfer.Protected_Timer_Control_Priority
Ada_Task_Configuration.Main_Program_Priority (Constant)
Declared as: constant System.Priority := Task_Priority_Control.Main_Program_Priority
Set [ada_task_configuration.ads, 98] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 98] Ada_Task_Configuration
Ada_Task_Configuration.Max_Active_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := Task_Priority_Control.Active_Task_Priority'last
Set [ada_task_configuration.ads, 91] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 91] Ada_Task_Configuration
Ada_Task_Configuration.Max_Passive_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Task_Priority_Control.Passive_Task_Priority'last
Set [ada_task_configuration.ads, 94] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 94] Ada_Task_Configuration
Ada_Task_Configuration.Onboard_Elapsed_Time_Critical_Region_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 58
Set [ada_task_configuration.ads, 108] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 108] Ada_Task_Configuration
Ada_Task_Configuration.Onboard_Storage_Packet_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 17
Set [ada_task_configuration.ads, 407] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 407] Ada_Task_Configuration
Use [onboard_storage-parameters.ads, 73] Onboard_Storage.Parameters.TC_Interpreters.Telecommand_Buffer_Priority
Ada_Task_Configuration.Onboard_Storage_Packet_Handler_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 15
Set [ada_task_configuration.ads, 410] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 410] Ada_Task_Configuration
Use [onboard_storage-parameters.ads, 79] Onboard_Storage.Parameters.TC_Interpreters.Telecommand_Interpreter_Priority
Ada_Task_Configuration.Onboard_Storage_TC_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 53
Set [ada_task_configuration.ads, 400] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 400] Ada_Task_Configuration
Use [onboard_storage-parameters.ads, 186] Onboard_Storage.Parameters.TC_Dispatching.TC_Buffer_Priority
Ada_Task_Configuration.Onboard_Storage_TC_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 11
Set [ada_task_configuration.ads, 404] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 404] Ada_Task_Configuration
Ada_Task_Configuration.Packet_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 58
Set [ada_task_configuration.ads, 133] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 133] Ada_Task_Configuration
Use [packet_router_parameters.ads, 63] Packet_Router_Parameters.Packet_Buffer_Priority
Ada_Task_Configuration.Packet_Distributer_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 49
Set [ada_task_configuration.ads, 135] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 135] Ada_Task_Configuration
Use [packet_router_parameters.ads, 66] Packet_Router_Parameters.Packet_Distributer_Priority
Ada_Task_Configuration.Packet_Store_Info_Critical_Region_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 48
Set [ada_task_configuration.ads, 145] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 145] Ada_Task_Configuration
Use [appl_proc_descr_manager_parameters.ads, 54] Appl_Proc_Descr_Manager_Parameters.Packet_Store_Info_Critical_Region_Task_Priority
Ada_Task_Configuration.Payload_HK_Diag_Event_List_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 25
Set [ada_task_configuration.ads, 235] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 235] Ada_Task_Configuration
Use [payload-parameters.ads, 212] Payload.Parameters.Housekeeping_And_Diagnostics.Event_List_Priority
Ada_Task_Configuration.Payload_HK_Diag_Event_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 14
Set [ada_task_configuration.ads, 238] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 238] Ada_Task_Configuration
Use [payload-parameters.ads, 204] Payload.Parameters.Housekeeping_And_Diagnostics.Event_Task_Priority
Ada_Task_Configuration.Payload_HK_Diag_Report_Definition_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 26
Set [ada_task_configuration.ads, 232] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 232] Ada_Task_Configuration
Use [payload-parameters.ads, 217] Payload.Parameters.Housekeeping_And_Diagnostics.Report_Definition_Priority
Ada_Task_Configuration.Payload_TC_Buffer_Priority (Constant)
Declared as: constant Passive_Task_Priority := 55
Set [ada_task_configuration.ads, 218] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 218] Ada_Task_Configuration
Use [payload-parameters.ads, 93] Payload.Parameters.TC_Dispathing.TC_Buffer_Priority
Ada_Task_Configuration.Payload_TC_Task_Priority (Constant)
Declared as: constant Active_Task_Priority := 35
Set [ada_task_configuration.ads, 221] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 221] Ada_Task_Configuration
Use [payload-parameters.ads, 86] Payload.Parameters.TC_Dispathing.TC_Task_Priority
Ada_Task_Configuration.Payload_Telecommand_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 54
Set [ada_task_configuration.ads, 223] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 223] Ada_Task_Configuration
Use [payload-parameters.ads, 119] Payload.Parameters.TC_Interpreters.Telecommand_Buffer_Priority
Ada_Task_Configuration.Payload_Telecommand_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 19
Set [ada_task_configuration.ads, 226] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 226] Ada_Task_Configuration
Use [payload-parameters.ads, 131] Payload.Parameters.TC_Interpreters.Telecommand_Interpreter_Priority
Ada_Task_Configuration.PCS_Storage_Selection_Telecommand_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 36
Set [ada_task_configuration.ads, 339] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 339] Ada_Task_Configuration
Ada_Task_Configuration.PCS_Storage_Selection_Telecommand_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 13
Set [ada_task_configuration.ads, 344] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 344] Ada_Task_Configuration
Ada_Task_Configuration.PDU_Simulator_Region_Prority (Constant)
Declared as: constant Passive_Task_Priority := 55
Set [ada_task_configuration.ads, 255] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 255] Ada_Task_Configuration
Use [payload-parameters.ads, 148] Payload.Parameters.Interfaces.Simulator_Region_Prority
Use [power_conditioning_system-parameters.ads, 105] Power_Conditioning_System.Parameters.Interfaces.Simulator_Region_Prority
Ada_Task_Configuration.Power_Conditioning_System_Check_Definitions_Collection_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 29
Set [ada_task_configuration.ads, 289] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 289] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 220] Power_Conditioning_System.Parameters.Monitoring.Check_Definitions_Collection_Priority
Ada_Task_Configuration.Power_Conditioning_System_Function_Management_Telecommand_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 38
Set [ada_task_configuration.ads, 328] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 328] Ada_Task_Configuration
Ada_Task_Configuration.Power_Conditioning_System_Function_Management_Telecommand_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 15
Set [ada_task_configuration.ads, 332] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 332] Ada_Task_Configuration
Ada_Task_Configuration.Power_Conditioning_System_HK_Diag_Event_List_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 25
Set [ada_task_configuration.ads, 318] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 318] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 171] Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.Event_List_Priority
Ada_Task_Configuration.Power_Conditioning_System_HK_Diag_Event_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 14
Set [ada_task_configuration.ads, 321] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 321] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 162] Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.Event_Task_Priority
Ada_Task_Configuration.Power_Conditioning_System_HK_Diag_Report_Definition_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 26
Set [ada_task_configuration.ads, 315] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 315] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 176] Power_Conditioning_System.Parameters.Housekeeping_And_Diagnostics.Report_Definition_Priority
Ada_Task_Configuration.Power_Conditioning_System_HK_Diag_Telecommand_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 37
Set [ada_task_configuration.ads, 308] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 308] Ada_Task_Configuration
Ada_Task_Configuration.Power_Conditioning_System_HK_Diag_Telecommand_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 24
Set [ada_task_configuration.ads, 312] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 312] Ada_Task_Configuration
Ada_Task_Configuration.Power_Conditioning_System_Interfaces_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 58
Set [ada_task_configuration.ads, 118] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 118] Ada_Task_Configuration
Ada_Task_Configuration.Power_Conditioning_System_Monitor_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 16
Set [ada_task_configuration.ads, 295] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 295] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 232] Power_Conditioning_System.Parameters.Monitoring.Monitor_Task_Priority
Ada_Task_Configuration.Power_Conditioning_System_Monitor_Telecommand_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 39
Set [ada_task_configuration.ads, 278] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 278] Ada_Task_Configuration
Ada_Task_Configuration.Power_Conditioning_System_Monitor_Telecommand_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 27
Set [ada_task_configuration.ads, 282] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 282] Ada_Task_Configuration
Ada_Task_Configuration.Power_Conditioning_System_Monitor_Timeline_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 28
Set [ada_task_configuration.ads, 292] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 292] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 226] Power_Conditioning_System.Parameters.Monitoring.Timeline_Priority
Ada_Task_Configuration.Power_Conditioning_System_Monitoring_List_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 30
Set [ada_task_configuration.ads, 285] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 285] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 214] Power_Conditioning_System.Parameters.Monitoring.Monitoring_List_Priority
Ada_Task_Configuration.Power_Conditioning_System_OOL_Reporter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 1
Set [ada_task_configuration.ads, 301] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 301] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 248] Power_Conditioning_System.Parameters.Monitoring.OOL_Reporter_Priority
Ada_Task_Configuration.Power_Conditioning_System_OOL_Transition_List_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 17
Set [ada_task_configuration.ads, 298] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 298] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 242] Power_Conditioning_System.Parameters.Monitoring.OOL_Transition_List_Priority
Ada_Task_Configuration.Power_Conditioning_System_TC_Buffer_Priority (Constant)
Declared as: constant Passive_Task_Priority := 55
Set [ada_task_configuration.ads, 261] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 261] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 48] Power_Conditioning_System.Parameters.TC_Dispathing.TC_Buffer_Priority
Ada_Task_Configuration.Power_Conditioning_System_TC_Task_Priority (Constant)
Declared as: constant Active_Task_Priority := 35
Set [ada_task_configuration.ads, 265] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 265] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 40] Power_Conditioning_System.Parameters.TC_Dispathing.TC_Task_Priority
Ada_Task_Configuration.Power_Conditioning_System_Telecommand_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 54
Set [ada_task_configuration.ads, 268] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 268] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 75] Power_Conditioning_System.Parameters.TC_Interpreters.Telecommand_Buffer_Priority
Ada_Task_Configuration.Power_Conditioning_System_Telecommand_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 19
Set [ada_task_configuration.ads, 271] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 271] Ada_Task_Configuration
Use [power_conditioning_system-parameters.ads, 88] Power_Conditioning_System.Parameters.TC_Interpreters.Telecommand_Interpreter_Priority
Ada_Task_Configuration.PUS_Packet_Pool_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 61
Set [ada_task_configuration.ads, 140] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 140] Ada_Task_Configuration
Use [pus_packet_manager.ads, 52] PUS_Packet_Manager
Ada_Task_Configuration.Science_Collector_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 12
Set [ada_task_configuration.ads, 243] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 243] Ada_Task_Configuration
Use [payload-parameters.ads, 248] Payload.Parameters.Science_Data.Science_Collector_Priority
Ada_Task_Configuration.SDU_Sender_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 53
Set [ada_task_configuration.ads, 382] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 382] Ada_Task_Configuration
Use [onboard_storage-parameters.ads, 236] Onboard_Storage.Parameters.Large_Data_Transfer.SDU_Sender_Buffer_Priority
Use [data_handling_system-parameters.ads, 271] Data_Handling_System.Parameters.Large_Data_Transfer.SDU_Sender_Buffer_Priority
Ada_Task_Configuration.SDU_Sender_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 10
Set [ada_task_configuration.ads, 385] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 385] Ada_Task_Configuration
Use [onboard_storage-parameters.ads, 246] Onboard_Storage.Parameters.Large_Data_Transfer.SDU_Sender_Interpreter_Priority
Use [data_handling_system-parameters.ads, 281] Data_Handling_System.Parameters.Large_Data_Transfer.SDU_Sender_Interpreter_Priority
Ada_Task_Configuration.Small_Source_Data_Pool_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 61
Set [ada_task_configuration.ads, 152] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 152] Ada_Task_Configuration
Ada_Task_Configuration.Synchronous_Serial_Interface_Critical_Region_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 58
Set [ada_task_configuration.ads, 110] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 110] Ada_Task_Configuration
Ada_Task_Configuration.TC_Source_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 49
Set [ada_task_configuration.ads, 121] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 121] Ada_Task_Configuration
Ada_Task_Configuration.Temperature_Status_Interface_Critical_Region_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 58
Set [ada_task_configuration.ads, 116] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 116] Ada_Task_Configuration
Ada_Task_Configuration.Thermistor_Simulator_Region_Prority (Constant)
Declared as: constant Passive_Task_Priority := 55
Set [ada_task_configuration.ads, 212] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 212] Ada_Task_Configuration
Ada_Task_Configuration.UART_Interrupt_Handler_Priority (Constant)
Declared as: constant Task_Priority_Control.Interrupt_Task_Priority := Task_Priority_Control.Interrupt_Task_Priority'last
Set [ada_task_configuration.ads, 179] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 179] Ada_Task_Configuration
Use [up_down_link_parameters.ads, 89] Up_Down_Link_Parameters.UART_Interrupt_Handler_Priority
Ada_Task_Configuration.UART_Protected_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Task_Priority_Control.Passive_Task_Priority'last
Set [ada_task_configuration.ads, 174] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 174] Ada_Task_Configuration
Use [up_down_link_parameters.ads, 85] Up_Down_Link_Parameters.UART_Protected_Priority
Ada_Task_Configuration.UART_Receiver_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 60
Set [ada_task_configuration.ads, 184] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 184] Ada_Task_Configuration
Use [up_down_link_parameters.ads, 93] Up_Down_Link_Parameters.UART_Receiver_Task_Priority
Ada_Task_Configuration.Up_Down_Link_Circular_Buffer_Low_Level_Byte_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 61
Set [ada_task_configuration.ads, 199] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 199] Ada_Task_Configuration
Use [up_down_link_parameters.ads, 106] Up_Down_Link_Parameters.Circular_Buffer_Low_Level_Byte_Buffer_Priority
Ada_Task_Configuration.Up_Down_Link_Dispatcher_Event_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 57
Set [ada_task_configuration.ads, 187] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 187] Ada_Task_Configuration
Use [up_down_link_parameters.ads, 118] Up_Down_Link_Parameters.Dispatcher_Event_Buffer_Priority
Ada_Task_Configuration.Up_Down_Link_Dispatcher_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 46
Set [ada_task_configuration.ads, 190] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 190] Ada_Task_Configuration
Use [up_down_link_parameters.ads, 113] Up_Down_Link_Parameters.Dispatcher_Task_Priority
Ada_Task_Configuration.Up_Down_Link_Receiver_Event_Buffer_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 61
Set [ada_task_configuration.ads, 193] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 193] Ada_Task_Configuration
Use [up_down_link_parameters.ads, 122] Up_Down_Link_Parameters.Receiver_Event_Buffer_Task_Priority
Ada_Task_Configuration.Up_Down_Link_TC_Low_Level_Receiver_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 59
Set [ada_task_configuration.ads, 202] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 202] Ada_Task_Configuration
Use [up_down_link_parameters.ads, 137] Up_Down_Link_Parameters.TC_Low_Level_Receiver_Task_Priority
Ada_Task_Configuration.Up_Down_Link_The_Receiver_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 18
Set [ada_task_configuration.ads, 196] Ada_Task_Configuration
Declare [ada_task_configuration.ads, 196] Ada_Task_Configuration
Use [up_down_link_parameters.ads, 125] Up_Down_Link_Parameters.The_Receiver_Task_Priority
Appl_Proc_Descr_Manager.Add_All_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 180] Appl_Proc_Descr_Manager.Add_All_Storage_Selection_Def
Appl_Proc_Descr_Manager.Add_All_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 181] Appl_Proc_Descr_Manager.Add_All_Storage_Selection_Def
Appl_Proc_Descr_Manager.Add_All_Subtypes_Storage_Selection_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [appl_proc_descr_manager.ads, 197] Appl_Proc_Descr_Manager.Add_All_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Add_All_Subtypes_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 195] Appl_Proc_Descr_Manager.Add_All_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Add_All_Subtypes_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 196] Appl_Proc_Descr_Manager.Add_All_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Add_Specific_Subtypes_Storage_Selection_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [appl_proc_descr_manager.ads, 215] Appl_Proc_Descr_Manager.Add_Specific_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Add_Specific_Subtypes_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 213] Appl_Proc_Descr_Manager.Add_Specific_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Add_Specific_Subtypes_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 214] Appl_Proc_Descr_Manager.Add_Specific_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Add_Specific_Subtypes_Storage_Selection_Def.Subservices (Parameter)
Declared as: Packet_Subtype_Array
Spec [appl_proc_descr_manager.ads, 216] Appl_Proc_Descr_Manager.Add_Specific_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Disable_Storage.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 165] Appl_Proc_Descr_Manager.Disable_Storage
Appl_Proc_Descr_Manager.Disable_Storage.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 166] Appl_Proc_Descr_Manager.Disable_Storage
Appl_Proc_Descr_Manager.Enable_Storage.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 150] Appl_Proc_Descr_Manager.Enable_Storage
Appl_Proc_Descr_Manager.Enable_Storage.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 151] Appl_Proc_Descr_Manager.Enable_Storage
Appl_Proc_Descr_Manager.Get_Destination_Packet_Store_ID.Store_Defined (Parameter)
Declared as: out Boolean
Spec [appl_proc_descr_manager.ads, 346] Appl_Proc_Descr_Manager.Get_Destination_Packet_Store_ID
Appl_Proc_Descr_Manager.Get_Destination_Packet_Store_ID.Store_ID (Parameter)
Declared as: out Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 347] Appl_Proc_Descr_Manager.Get_Destination_Packet_Store_ID
Appl_Proc_Descr_Manager.Get_Destination_Packet_Store_ID.TM_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [appl_proc_descr_manager.ads, 345] Appl_Proc_Descr_Manager.Get_Destination_Packet_Store_ID
Appl_Proc_Descr_Manager.Get_Next_TC_Counter.Destination_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 103] Appl_Proc_Descr_Manager.Get_Next_TC_Counter
Appl_Proc_Descr_Manager.Get_Next_TC_Counter.Source_APID (Parameter)
Declared as: Mission_Parameters.Source_ID
Spec [appl_proc_descr_manager.ads, 102] Appl_Proc_Descr_Manager.Get_Next_TC_Counter
Appl_Proc_Descr_Manager.Get_Next_TM_Counter.Destination_APID (Parameter)
Declared as: Mission_Parameters.Destination_ID
Spec [appl_proc_descr_manager.ads, 117] Appl_Proc_Descr_Manager.Get_Next_TM_Counter
Appl_Proc_Descr_Manager.Get_Next_TM_Counter.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 116] Appl_Proc_Descr_Manager.Get_Next_TM_Counter
Appl_Proc_Descr_Manager.Get_Next_TM_Packet_Subcounter.Destination_APID (Parameter)
Declared as: Mission_Parameters.Destination_ID
Spec [appl_proc_descr_manager.ads, 130] Appl_Proc_Descr_Manager.Get_Next_TM_Packet_Subcounter
Appl_Proc_Descr_Manager.Get_Next_TM_Packet_Subcounter.Service (Parameter)
Declared as: PUS_Data_Types.Service_Name
Spec [appl_proc_descr_manager.ads, 131] Appl_Proc_Descr_Manager.Get_Next_TM_Packet_Subcounter
Appl_Proc_Descr_Manager.Get_Next_TM_Packet_Subcounter.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 129] Appl_Proc_Descr_Manager.Get_Next_TM_Packet_Subcounter
Appl_Proc_Descr_Manager.Get_Routing_Destination_APID.TM_Packet (Parameter)
Declared as: PUS.PUS_Packet
Spec [appl_proc_descr_manager.ads, 331] Appl_Proc_Descr_Manager.Get_Routing_Destination_APID
Appl_Proc_Descr_Manager.Get_Storage_Selection_Service_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [appl_proc_descr_manager.ads, 318] Appl_Proc_Descr_Manager.Get_Storage_Selection_Service_Def
Appl_Proc_Descr_Manager.Get_Storage_Selection_Service_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 316] Appl_Proc_Descr_Manager.Get_Storage_Selection_Service_Def
Appl_Proc_Descr_Manager.Get_Storage_Selection_Service_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 317] Appl_Proc_Descr_Manager.Get_Storage_Selection_Service_Def
Appl_Proc_Descr_Manager.Init_Appl_Proc_Descr.Appl_ID (Parameter)
Declared as: in Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 89] Appl_Proc_Descr_Manager.Init_Appl_Proc_Descr
Appl_Proc_Descr_Manager.Init_Appl_Proc_Descr.Descr (Parameter)
Declared as: in Appl_Proc_Descr
Spec [appl_proc_descr_manager.ads, 90] Appl_Proc_Descr_Manager.Init_Appl_Proc_Descr
Appl_Proc_Descr_Manager.Is_Storage_Selection_All_Present.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 301] Appl_Proc_Descr_Manager.Is_Storage_Selection_All_Present
Appl_Proc_Descr_Manager.Is_Storage_Selection_All_Present.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 302] Appl_Proc_Descr_Manager.Is_Storage_Selection_All_Present
Appl_Proc_Descr_Manager.Is_Storage_Selection_Service_Present.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [appl_proc_descr_manager.ads, 285] Appl_Proc_Descr_Manager.Is_Storage_Selection_Service_Present
Appl_Proc_Descr_Manager.Is_Storage_Selection_Service_Present.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 283] Appl_Proc_Descr_Manager.Is_Storage_Selection_Service_Present
Appl_Proc_Descr_Manager.Is_Storage_Selection_Service_Present.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 284] Appl_Proc_Descr_Manager.Is_Storage_Selection_Service_Present
Appl_Proc_Descr_Manager.Remove_All_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 231] Appl_Proc_Descr_Manager.Remove_All_Storage_Selection_Def
Appl_Proc_Descr_Manager.Remove_All_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 232] Appl_Proc_Descr_Manager.Remove_All_Storage_Selection_Def
Appl_Proc_Descr_Manager.Remove_All_Subtypes_Storage_Selection_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [appl_proc_descr_manager.ads, 248] Appl_Proc_Descr_Manager.Remove_All_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Remove_All_Subtypes_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 246] Appl_Proc_Descr_Manager.Remove_All_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Remove_All_Subtypes_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 247] Appl_Proc_Descr_Manager.Remove_All_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Remove_Specific_Subtypes_Storage_Selection_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [appl_proc_descr_manager.ads, 266] Appl_Proc_Descr_Manager.Remove_Specific_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Remove_Specific_Subtypes_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [appl_proc_descr_manager.ads, 264] Appl_Proc_Descr_Manager.Remove_Specific_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Remove_Specific_Subtypes_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [appl_proc_descr_manager.ads, 265] Appl_Proc_Descr_Manager.Remove_Specific_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager.Remove_Specific_Subtypes_Storage_Selection_Def.Subservices (Parameter)
Declared as: Packet_Subtype_Array
Spec [appl_proc_descr_manager.ads, 267] Appl_Proc_Descr_Manager.Remove_Specific_Subtypes_Storage_Selection_Def
Appl_Proc_Descr_Manager_Parameters.Counters_Critical_Region_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.Counters_Critical_Region_Task_Priority
Set [appl_proc_descr_manager_parameters.ads, 47] Appl_Proc_Descr_Manager_Parameters
Declare [appl_proc_descr_manager_parameters.ads, 47] Appl_Proc_Descr_Manager_Parameters
Appl_Proc_Descr_Manager_Parameters.Packet_Store_Info_Critical_Region_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.Packet_Store_Info_Critical_Region_Task_Priority
Set [appl_proc_descr_manager_parameters.ads, 51] Appl_Proc_Descr_Manager_Parameters
Declare [appl_proc_descr_manager_parameters.ads, 51] Appl_Proc_Descr_Manager_Parameters
Application_Process_Parameters.APID_Mission_Parameters_1 (Constant)
Declared as: constant Application_Process_Mission_Parameters := (Appl_Time_Code => Appl_Time_Code_1, Packet_Queue_Size => 5)
Set [application_process_parameters.ads, 96] Application_Process_Parameters
Declare [application_process_parameters.ads, 96] Application_Process_Parameters
Use [application_process_parameters.ads, 121] Application_Process_Parameters.The_Parameters
Use [application_process_parameters.ads, 135] Application_Process_Parameters.The_Parameters
Application_Process_Parameters.APID_Mission_Parameters_2 (Constant)
Declared as: constant Application_Process_Mission_Parameters := (Appl_Time_Code => Appl_Time_Code_2, Packet_Queue_Size => 5)
Set [application_process_parameters.ads, 101] Application_Process_Parameters
Declare [application_process_parameters.ads, 101] Application_Process_Parameters
Use [application_process_parameters.ads, 123] Application_Process_Parameters.The_Parameters
Use [application_process_parameters.ads, 125] Application_Process_Parameters.The_Parameters
Use [application_process_parameters.ads, 129] Application_Process_Parameters.The_Parameters
Application_Process_Parameters.APID_Mission_Parameters_3 (Constant)
Declared as: constant Application_Process_Mission_Parameters := (Appl_Time_Code => Appl_Time_Code_2, Packet_Queue_Size => 5)
Set [application_process_parameters.ads, 106] Application_Process_Parameters
Declare [application_process_parameters.ads, 106] Application_Process_Parameters
Use [application_process_parameters.ads, 131] Application_Process_Parameters.The_Parameters
Application_Process_Parameters.APID_Mission_Parameters_4 (Constant)
Declared as: constant Application_Process_Mission_Parameters := (Appl_Time_Code => Appl_Time_Code_2, Packet_Queue_Size => 50)
Set [application_process_parameters.ads, 111] Application_Process_Parameters
Declare [application_process_parameters.ads, 111] Application_Process_Parameters
Use [application_process_parameters.ads, 127] Application_Process_Parameters.The_Parameters
Use [application_process_parameters.ads, 133] Application_Process_Parameters.The_Parameters
Application_Process_Parameters.Appl_Time_Code_1 (Constant)
Declared as: constant Appl_Time_Code_Type := (Time_Precence => Absent)
Set [application_process_parameters.ads, 89] Application_Process_Parameters
Declare [application_process_parameters.ads, 89] Application_Process_Parameters
Use [application_process_parameters.ads, 98] Application_Process_Parameters.APID_Mission_Parameters_1
Application_Process_Parameters.Appl_Time_Code_2 (Constant)
Declared as: constant Appl_Time_Code_Type := (Time_Precence => Present, Format => CUC, Code => 0)
Set [application_process_parameters.ads, 91] Application_Process_Parameters
Declare [application_process_parameters.ads, 91] Application_Process_Parameters
Use [application_process_parameters.ads, 103] Application_Process_Parameters.APID_Mission_Parameters_2
Use [application_process_parameters.ads, 108] Application_Process_Parameters.APID_Mission_Parameters_3
Use [application_process_parameters.ads, 113] Application_Process_Parameters.APID_Mission_Parameters_4
Application_Process_Parameters.Appl_Time_Code_Type.Code (Variant Component)
Declared as: Time_Code
Declare [application_process_parameters.ads, 79] Application_Process_Parameters.Appl_Time_Code_Type
Application_Process_Parameters.Appl_Time_Code_Type.Format (Variant Component)
Declared as: Time_Format
Declare [application_process_parameters.ads, 78] Application_Process_Parameters.Appl_Time_Code_Type
Application_Process_Parameters.Appl_Time_Code_Type.Time_Precence (Discriminant Component)
Declared as: Precence := Precence'first
Use [application_process_parameters.ads, 74] Application_Process_Parameters
Set [application_process_parameters.ads, 72] Application_Process_Parameters.Appl_Time_Code_Type
Declare [application_process_parameters.ads, 72] Application_Process_Parameters.Appl_Time_Code_Type
Application_Process_Parameters.Application_Process_Mission_Parameters.Appl_Time_Code (Component)
Declared as: Appl_Time_Code_Type
Declare [application_process_parameters.ads, 85] Application_Process_Parameters.Application_Process_Mission_Parameters
Application_Process_Parameters.Application_Process_Mission_Parameters.Packet_Queue_Size (Component)
Declared as: Natural
Declare [application_process_parameters.ads, 86] Application_Process_Parameters.Application_Process_Mission_Parameters
Use [onboard_storage-parameters.ads, 190] Onboard_Storage.Parameters.TC_Dispatching.TC_Buffer_Size
Use [up_down_link_parameters.ads, 110] Up_Down_Link_Parameters.Dispatcher_Event_Buffer_Size
Use [data_handling_system-parameters.ads, 130] Data_Handling_System.Parameters.TC_Dispathing.TC_Buffer_Size
Use [payload-parameters.ads, 99] Payload.Parameters.TC_Dispathing.TC_Buffer_Size
Use [power_conditioning_system-parameters.ads, 54] Power_Conditioning_System.Parameters.TC_Dispathing.TC_Buffer_Size
Application_Process_Parameters.The_Parameters (Constant)
Declared as: constant Application_Process_Parameters_Map := (Mission_Parameters.Time_Packet => APID_Mission_Parameters_1, Mission_Parameters.Data_Handling_System => APID_Mission_Parameters_2, Mission_Parameters.Onboard_Storage => APID_Mission_Parameters_2, Mission_Parameters.Power_Conditioning_System => APID_Mission_Parameters_4, Mission_Parameters.Payload => APID_Mission_Parameters_2, Mission_Parameters.Ground => APID_Mission_Parameters_3, Mission_Parameters.Packet_Router => APID_Mission_Parameters_4, Mission_Parameters.Idle => APID_Mission_Parameters_1)
Set [application_process_parameters.ads, 119] Application_Process_Parameters
Declare [application_process_parameters.ads, 119] Application_Process_Parameters
Use [onboard_storage-parameters.ads, 189] Onboard_Storage.Parameters.TC_Dispatching.TC_Buffer_Size
Use [up_down_link_parameters.ads, 109] Up_Down_Link_Parameters.Dispatcher_Event_Buffer_Size
Use [data_handling_system-parameters.ads, 129] Data_Handling_System.Parameters.TC_Dispathing.TC_Buffer_Size
Use [payload-parameters.ads, 98] Payload.Parameters.TC_Dispathing.TC_Buffer_Size
Use [power_conditioning_system-parameters.ads, 53] Power_Conditioning_System.Parameters.TC_Dispathing.TC_Buffer_Size