Declaration Tree

Data_Handling_System Package spec
| Forward_Packet Procedure spec

Data_Handling_System.Dispatcher Package spec
| Forward_Packet Procedure spec

Data_Handling_System.Event_Action_Manager Package spec
| The_Event_Action_Manager Package spec
| | Initialize Procedure spec
| | Handle_PUS_Packet Procedure spec
| Initialize Procedure spec
| Handle_PUS_Packet Procedure spec

Data_Handling_System.Large_Data_Manager Package spec
| Initialize Procedure spec
| Handle_PUS_Packet Procedure spec
| Optional_Deposit Function spec

Data_Handling_System.Memory_Manager Package spec
| Initialize Procedure spec
| Handle_PUS_Packet Procedure spec

Data_Handling_System.Parameters Package spec
| TC_Interpreters Package spec
| TC_Dispathing Package spec
| Onboard_Scheduling Package spec
| Memory_Management Package spec
| Large_Data_Transfer Package spec
| Storage_Selection Package spec
| Event_Action Package spec

Data_Handling_System.Router Package spec
| Deposit Function spec
| Optional_Deposit Function spec

Data_Handling_System.Storage_Selection_Definitions Package spec
| Initialize Procedure spec
| Handle_PUS_Packet Procedure spec

Data_Handling_System.TC_Interpreter Package spec
| Handle_PUS_Packet Procedure spec

Data_Handling_System.TC_Scheduler Package spec
| Initialize Procedure spec
| Handle_PUS_Packet Procedure spec

Default_OOL_Event_Handler Package spec
| Handle_OOL_Transition Procedure spec

Device_Command_Distribution_Types Package spec

Device_Command_Parser Package spec
| Start_New_TC_Interpretation Procedure spec
| Verify_Stage Procedure spec
| Interpret_TC Abstract Function spec
| Interpret_TC Function spec
| Interpret_TC Function spec
| Parse_Source_Data Function spec
| The_Parser Package spec
| | Parse_TC Function spec
| Parse_TC Function spec

Device_Controller Package spec
| Handle_PUS_Packet Procedure spec

Device_TC_Interpreter Package spec
| Handle_PUS_Packet Procedure spec

Dynamic_Application_Process_Descrs_Initialiser Package spec
| Initialize Procedure spec