Declaration Tree

Satellite_Clock Package spec
| Get_Time Function spec
| Correlate_Real_Time_Clock Procedure spec
| CUC_Time_To_Real_Time Function spec

Serial_Interface Generic Package spec
| Send Procedure spec
| UART_Handler Protected spec
| | Handle_Ready_Interrupt Procedure spec

Serial_Interface.UART_Interface Generic Package spec
| Signal_Transmission_Is_Ready Procedure spec
| Write_TX_Register Procedure spec
| Read_RX_Register Function spec
| Read_Status_Register Function spec

Set_Type Generic Package spec

Source_Data_Initialiser Package spec
| Initialize Procedure spec

Source_Data_Manager Package spec
| Allocate Function spec
| Deallocate Procedure spec
| Share Procedure spec
| Dereference Function spec
| Dereference_Safe Function spec

Source_Data_Stream Package spec
| Allocate Procedure spec
| Share Procedure spec
| Share Procedure spec
| Deallocate Procedure spec
| Deallocate Procedure spec
| Append Procedure spec
| Make_Stream_From_Image Function spec
| Make_Image_From_Stream Function spec
| Put Procedure spec
| Put Procedure spec
| Make_Read_Stream Function spec
| Get Procedure spec
| Get Procedure spec
| Bits_In_Stream Function spec
| Bits_In_Stream Function spec

Sporadic_Task Generic Package spec
| Sporadic_Task Task spec
| Start Function spec

Standard_Thresholds Package spec
| Threshold_Is_Legal Function spec
| Threshold_Is_Exceeded Function spec

Storage_And_Retrieval Generic Package spec
| Initialize Procedure spec
| Handle_PUS_TC_Packet Procedure spec
| Handle_PUS_TM_Packet Procedure spec

Storage_And_Retrieval_Definitions Package spec

Storage_And_Retrieval_Router Package spec
| Deposit Function spec
| Optional_Deposit Function spec

Storage_Configuration Package spec

Storage_Selection_Defs Generic Package spec
| Initialize Procedure spec
| Handle_PUS_Packet Procedure spec

Storage_Selection_Manager Package spec
| Enable_Storage Function spec
| Disable_Storage Function spec
| Add_All_Storage_Selection_Def Function spec
| Add_All_Subtypes_Storage_Selection_Def Function spec
| Add_Specific_Subtypes_Storage_Selection_Def Function spec
| Remove_All_Storage_Selection_Def Function spec
| Remove_All_Subtypes_Storage_Selection_Def Function spec
| Remove_Specific_Subtypes_Storage_Selection_Def Function spec
| Is_Storage_Selection_Service_Present Function spec
| Is_Storage_Selection_All_Present Function spec
| Get_Storage_Selection_Service_Def Function spec
| Get_Routing_Destination_APID Function spec
| Get_Destination_Packet_Store_ID Procedure spec

System_Clock Package spec
| Clock Function spec
| < Function spec
| + Function spec
| - Function spec
| - Function spec
| Microseconds Function spec
| Milliseconds Function spec