Program Unit Cross Reference
Register_Driver (Package)
Spec [register_driver.ads, 51] register_driver.ads
Register_Driver.Send (Function)
Declared as: Boolean
Spec [register_driver.ads, 70] Register_Driver
Resource_Manager (Generic Package)
Spec [resource_manager.ads, 59] resource_manager.ads
Ref [pus_packet_manager.ads, 47] pus_packet_manager.ads
With [pus_packet_manager.ads, 44] PUS_Packet_Manager
Instance [pus_packet_manager.ads, 48] PUS_Packet_Manager
Resource_Manager.Allocate (Function)
Declared as: Resource
Spec [resource_manager.ads, 94] Resource_Manager
Resource_Manager.Deallocate (Procedure)
Spec [resource_manager.ads, 104] Resource_Manager
Resource_Manager.Is_Allocated (Function)
Declared as: Boolean
Spec [resource_manager.ads, 84] Resource_Manager
Resource_Manager.Share (Procedure)
Spec [resource_manager.ads, 113] Resource_Manager
Resource_Semaphore (Generic Package)
Spec [resource_semaphore.ads, 41] resource_semaphore.ads