Object Cross Reference
Satellite_Clock.CUC_Time_To_Real_Time.CUC_Time (Parameter)
Declared as: Basic_Types.On_Board_Time
Spec [satellite_clock.ads, 104] Satellite_Clock.CUC_Time_To_Real_Time
Satellite_Clock.Get_Time.T_Rep (Parameter)
Declared as: Basic_Types.Time_Rep_Spec := Mission_Parameters.Canonical_Time_Rep_Spec
Set [satellite_clock.ads, 76] Satellite_Clock.Get_Time
Spec [satellite_clock.ads, 76] Satellite_Clock.Get_Time
Serial_Interface.Channel (Parameter)
Declared as: in Kernel.Peripherals.UART_Channel
Formal [serial_interface.ads, 51] Serial_Interface
Use [serial_interface.ads, 156] Serial_Interface.UART_Handler
Use [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Handler
Serial_Interface.Channel_To_Interrupt_Mapping (Constant)
Declared as: constant UART_Channel_Interrupt_Mapping := (Kernel.Peripherals.A => Ada.Interrupts.Interrupt_ID(Kernel.Peripherals.UART_A_Ready), Kernel.Peripherals.B => Ada.Interrupts.Interrupt_ID(Kernel.Peripherals.UART_B_Ready))
Set [serial_interface.ads, 127] Serial_Interface
Declare [serial_interface.ads, 127] Serial_Interface
Use [serial_interface.ads, 156] Serial_Interface.UART_Handler
Serial_Interface.Forward_Data.Data (Parameter)
Declared as: in Basic_Types.Byte_Array
Formal [serial_interface.ads, 69] Serial_Interface.Forward_Data
Serial_Interface.Init_UARTs.Baudrate (Parameter)
Declared as: in Kernel.Peripherals.UART_Baudrate
Body [serial_interface.ads, 88] Serial_Interface.Init_UARTs
Serial_Interface.Init_UARTs.Parity (Parameter)
Declared as: in Kernel.Peripherals.UART_Parity
Body [serial_interface.ads, 89] Serial_Interface.Init_UARTs
Serial_Interface.Init_UARTs.Stop_Bits (Parameter)
Declared as: in Kernel.Peripherals.UART_Stop_Bits
Body [serial_interface.ads, 90] Serial_Interface.Init_UARTs
Serial_Interface.Interrupt_Handler_Priority (Parameter)
Declared as: in Task_Priority_Control.Interrupt_Task_Priority
Formal [serial_interface.ads, 59] Serial_Interface
Use [serial_interface.ads, 153] Serial_Interface.UART_Handler
Serial_Interface.My_Application_ID (Parameter)
Declared as: in Mission_Parameters.APID
Formal [serial_interface.ads, 57] Serial_Interface
Serial_Interface.Receive_Buffer_Size (Parameter)
Declared as: in Positive
Formal [serial_interface.ads, 66] Serial_Interface
Serial_Interface.Receiver_Task_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [serial_interface.ads, 63] Serial_Interface
Serial_Interface.Receiver_Task_Stack_Size (Parameter)
Declared as: in Natural
Formal [serial_interface.ads, 64] Serial_Interface
Serial_Interface.Send.Data (Parameter)
Declared as: in Basic_Types.Byte_Array
Spec [serial_interface.ads, 102] Serial_Interface.Send
Serial_Interface.UART_Error_Counters.Buffer_Overflow (Component)
Declared as: Error_Counter := 0
Set [serial_interface.ads, 115] Serial_Interface.UART_Error_Counters
Declare [serial_interface.ads, 115] Serial_Interface.UART_Error_Counters
Set [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Error_Counters
Serial_Interface.UART_Error_Counters.Framing_Error (Component)
Declared as: Error_Counter := 0
Set [serial_interface.ads, 112] Serial_Interface.UART_Error_Counters
Declare [serial_interface.ads, 112] Serial_Interface.UART_Error_Counters
Set [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Error_Counters
Serial_Interface.UART_Error_Counters.Overrun_Error (Component)
Declared as: Error_Counter := 0
Set [serial_interface.ads, 114] Serial_Interface.UART_Error_Counters
Declare [serial_interface.ads, 114] Serial_Interface.UART_Error_Counters
Set [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Error_Counters
Serial_Interface.UART_Error_Counters.Parity_Error (Component)
Declared as: Error_Counter := 0
Set [serial_interface.ads, 113] Serial_Interface.UART_Error_Counters
Declare [serial_interface.ads, 113] Serial_Interface.UART_Error_Counters
Set [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Error_Counters
Serial_Interface.UART_Errors (Object)
Declared as: UART_Error_Counters
Declare [serial_interface.ads, 121] Serial_Interface
Serial_Interface.UART_Handler.Data_In_Queue (Object)
Declared as: Boolean := False
Set [serial_interface.ads, 172] Serial_Interface.UART_Handler
Declare [serial_interface.ads, 172] Serial_Interface.UART_Handler
Set [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Handler
Serial_Interface.UART_Handler.Receive_Data.Data (Parameter)
Declared as: out Basic_Types.Byte
Declare [serial_interface.ads, 168] Serial_Interface.UART_Handler.Receive_Data
Serial_Interface.UART_Interface.Channel (Parameter)
Declared as: in Kernel.Peripherals.UART_Channel
Formal [serial_interface-uart_interface.ads, 47] Serial_Interface.UART_Interface
Serial_Interface.UART_Interface.Status.Data_Ready (Component)
Declared as: Boolean
Declare [serial_interface-uart_interface.ads, 65] Serial_Interface.UART_Interface.Status
Serial_Interface.UART_Interface.Status.Framing_Error (Component)
Declared as: Boolean
Declare [serial_interface-uart_interface.ads, 70] Serial_Interface.UART_Interface.Status
Serial_Interface.UART_Interface.Status.Holding_Register_Empty (Component)
Declared as: Boolean
Declare [serial_interface-uart_interface.ads, 68] Serial_Interface.UART_Interface.Status
Serial_Interface.UART_Interface.Status.Overrun_Error (Component)
Declared as: Boolean
Declare [serial_interface-uart_interface.ads, 72] Serial_Interface.UART_Interface.Status
Serial_Interface.UART_Interface.Status.Parity_Error (Component)
Declared as: Boolean
Declare [serial_interface-uart_interface.ads, 71] Serial_Interface.UART_Interface.Status
Serial_Interface.UART_Interface.Status.Send_Register_Empty (Component)
Declared as: Boolean
Declare [serial_interface-uart_interface.ads, 66] Serial_Interface.UART_Interface.Status
Serial_Interface.UART_Interface.UART_Protection_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [serial_interface-uart_interface.ads, 49] Serial_Interface.UART_Interface
Serial_Interface.UART_Interface.Write_TX_Register.Data (Parameter)
Declared as: in Basic_Types.Byte
Spec [serial_interface-uart_interface.ads, 92] Serial_Interface.UART_Interface.Write_TX_Register
Serial_Interface.UART_Protection_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [serial_interface.ads, 53] Serial_Interface
Source_Data_Manager.Allocate.S (Parameter)
Declared as: Allocation_Size
Spec [source_data_manager.ads, 95] Source_Data_Manager.Allocate
Source_Data_Manager.Deallocate.L (Parameter)
Declared as: in Optional_Location
Spec [source_data_manager.ads, 107] Source_Data_Manager.Deallocate
Source_Data_Manager.Dereference.L (Parameter)
Declared as: Optional_Location
Spec [source_data_manager.ads, 128] Source_Data_Manager.Dereference
Source_Data_Manager.Dereference_Safe.L (Parameter)
Declared as: Location
Spec [source_data_manager.ads, 139] Source_Data_Manager.Dereference_Safe
Source_Data_Manager.Share.L (Parameter)
Declared as: in Optional_Location
Spec [source_data_manager.ads, 117] Source_Data_Manager.Share
Source_Data_Manager.Total_Cell_Number (Constant)
Declared as: constant := Storage_Configuration.Small_Source_Data_Number + Storage_Configuration.Large_Source_Data_Number
Set [source_data_manager.ads, 62] Source_Data_Manager
Declare [source_data_manager.ads, 62] Source_Data_Manager
Use [source_data_manager.ads, 68] Source_Data_Manager.Optional_Location
Source_Data_Manager.Void (Constant)
Declared as: constant Optional_Location := 0
Set [source_data_manager.ads, 69] Source_Data_Manager
Declare [source_data_manager.ads, 69] Source_Data_Manager
Source_Data_Stream.Allocate.Size (Parameter)
Declared as: in Allocation_Size
Spec [source_data_stream.ads, 107] Source_Data_Stream.Allocate
Source_Data_Stream.Allocate.Stream (Parameter)
Declared as: out Write_Stream
Spec [source_data_stream.ads, 106] Source_Data_Stream.Allocate
Source_Data_Stream.Append.Destination (Parameter)
Declared as: in out Write_Stream
Spec [source_data_stream.ads, 162] Source_Data_Stream.Append
Source_Data_Stream.Append.Source (Parameter)
Declared as: in Read_Stream
Spec [source_data_stream.ads, 163] Source_Data_Stream.Append
Source_Data_Stream.Bits_In_Stream.Stream (Parameter)
Declared as: Read_Stream
Spec [source_data_stream.ads, 273] Source_Data_Stream.Bits_In_Stream
Source_Data_Stream.Bits_In_Stream.Stream (Parameter)
Declared as: Write_Stream
Spec [source_data_stream.ads, 285] Source_Data_Stream.Bits_In_Stream
Source_Data_Stream.Deallocate.Stream (Parameter)
Declared as: in Write_Stream
Spec [source_data_stream.ads, 140] Source_Data_Stream.Deallocate
Source_Data_Stream.Deallocate.Stream (Parameter)
Declared as: in Read_Stream
Spec [source_data_stream.ads, 151] Source_Data_Stream.Deallocate
Source_Data_Stream.Get.Addr (Parameter)
Declared as: in System.Address
Spec [source_data_stream.ads, 248] Source_Data_Stream.Get
Source_Data_Stream.Get.Img (Parameter)
Declared as: out Basic_Types.Byte_Array
Spec [source_data_stream.ads, 263] Source_Data_Stream.Get
Source_Data_Stream.Get.Object_Size (Parameter)
Declared as: in Basic_Types.Bit_Size
Spec [source_data_stream.ads, 250] Source_Data_Stream.Get
Source_Data_Stream.Get.Rstream (Parameter)
Declared as: in out Read_Stream
Spec [source_data_stream.ads, 262] Source_Data_Stream.Get
Source_Data_Stream.Get.Sign_Extend (Parameter)
Declared as: in Boolean
Spec [source_data_stream.ads, 251] Source_Data_Stream.Get
Source_Data_Stream.Get.Stream (Parameter)
Declared as: in out Read_Stream
Spec [source_data_stream.ads, 247] Source_Data_Stream.Get
Source_Data_Stream.Get.Type_Size (Parameter)
Declared as: in Basic_Types.Bit_Size
Spec [source_data_stream.ads, 249] Source_Data_Stream.Get
Source_Data_Stream.Make_Image_From_Stream.Rstream (Parameter)
Declared as: Read_Stream
Spec [source_data_stream.ads, 186] Source_Data_Stream.Make_Image_From_Stream
Source_Data_Stream.Make_Read_Stream.Stream (Parameter)
Declared as: Write_Stream
Spec [source_data_stream.ads, 231] Source_Data_Stream.Make_Read_Stream
Source_Data_Stream.Make_Stream_From_Image.Img (Parameter)
Declared as: Basic_Types.Byte_Array
Spec [source_data_stream.ads, 174] Source_Data_Stream.Make_Stream_From_Image
Source_Data_Stream.Put.Addr (Parameter)
Declared as: in System.Address
Spec [source_data_stream.ads, 204] Source_Data_Stream.Put
Source_Data_Stream.Put.Img (Parameter)
Declared as: in Basic_Types.Byte_Array
Spec [source_data_stream.ads, 217] Source_Data_Stream.Put
Source_Data_Stream.Put.Object_Size (Parameter)
Declared as: in Basic_Types.Bit_Size
Spec [source_data_stream.ads, 206] Source_Data_Stream.Put
Source_Data_Stream.Put.Stream (Parameter)
Declared as: in out Write_Stream
Spec [source_data_stream.ads, 203] Source_Data_Stream.Put
Source_Data_Stream.Put.Stream (Parameter)
Declared as: in out Write_Stream
Spec [source_data_stream.ads, 216] Source_Data_Stream.Put
Source_Data_Stream.Put.Type_Size (Parameter)
Declared as: in Basic_Types.Bit_Size
Spec [source_data_stream.ads, 205] Source_Data_Stream.Put
Source_Data_Stream.Read_Stream.Gp (Component)
Declared as: Get_Position
Declare [source_data_stream.ads, 307] Source_Data_Stream.Read_Stream
Source_Data_Stream.Read_Stream.Stream (Component)
Declared as: Write_Stream
Declare [source_data_stream.ads, 305] Source_Data_Stream.Read_Stream
Source_Data_Stream.Share.Stream (Parameter)
Declared as: in Write_Stream
Spec [source_data_stream.ads, 118] Source_Data_Stream.Share
Source_Data_Stream.Share.Stream (Parameter)
Declared as: in Read_Stream
Spec [source_data_stream.ads, 129] Source_Data_Stream.Share
Source_Data_Stream.Write_Stream.Loc (Component)
Declared as: Optional_Location
Declare [source_data_stream.ads, 297] Source_Data_Stream.Write_Stream
Source_Data_Stream.Write_Stream.Pp (Component)
Declared as: Put_Position
Declare [source_data_stream.ads, 299] Source_Data_Stream.Write_Stream
Sporadic_Task.Event_Buffer_Task_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [sporadic_task.ads, 58] Sporadic_Task
Sporadic_Task.My_Application_ID (Parameter)
Declared as: in Mission_Parameters.APID
Formal [sporadic_task.ads, 55] Sporadic_Task
Sporadic_Task.Sporadic_Event_Buffer_Size (Parameter)
Declared as: in Positive := 1
Set [sporadic_task.ads, 68] Sporadic_Task
Formal [sporadic_task.ads, 68] Sporadic_Task
Sporadic_Task.Sporadic_Operation.Sporadic_Parameter (Parameter)
Declared as: in Sporadic_Operation_Parameter_Type
Formal [sporadic_task.ads, 73] Sporadic_Task.Sporadic_Operation
Sporadic_Task.Sporadic_Task_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [sporadic_task.ads, 63] Sporadic_Task
Use [sporadic_task.ads, 87] Sporadic_Task.Sporadic_Task
Sporadic_Task.Sporadic_Task_Stack_Size (Parameter)
Declared as: in Natural
Formal [sporadic_task.ads, 64] Sporadic_Task
Sporadic_Task.Start.Sporadic_Parameter (Parameter)
Declared as: Sporadic_Operation_Parameter_Type
Spec [sporadic_task.ads, 116] Sporadic_Task.Start
Standard_Thresholds.Threshold_Is_Exceeded.Current_Value (Parameter)
Declared as: Parameter_Representation.Standard_Value'class
Spec [standard_thresholds.ads, 82] Standard_Thresholds.Threshold_Is_Exceeded
Standard_Thresholds.Threshold_Is_Exceeded.Parameter_No (Parameter)
Declared as: HK_Collector_Types.Parameter_ID
Spec [standard_thresholds.ads, 81] Standard_Thresholds.Threshold_Is_Exceeded
Standard_Thresholds.Threshold_Is_Exceeded.Parameter_Threshold (Parameter)
Declared as: HK_Collector_Types.Threshold_Specification
Spec [standard_thresholds.ads, 88] Standard_Thresholds.Threshold_Is_Exceeded
Standard_Thresholds.Threshold_Is_Exceeded.Previous_Value (Parameter)
Declared as: Parameter_Representation.Standard_Value'class
Spec [standard_thresholds.ads, 85] Standard_Thresholds.Threshold_Is_Exceeded
Standard_Thresholds.Threshold_Is_Legal.Parameter_No (Parameter)
Declared as: HK_Collector_Types.Parameter_ID
Spec [standard_thresholds.ads, 65] Standard_Thresholds.Threshold_Is_Legal
Standard_Thresholds.Threshold_Is_Legal.Parameter_Threshold (Parameter)
Declared as: HK_Collector_Types.Threshold_Specification
Spec [standard_thresholds.ads, 66] Standard_Thresholds.Threshold_Is_Legal
Storage_And_Retrieval.Application_ID (Parameter)
Declared as: in Mission_Parameters.APID
Formal [storage_and_retrieval.ads, 59] Storage_And_Retrieval
Storage_And_Retrieval.Delete_All_Packets.Store_ID (Parameter)
Declared as: Local_Packet_Store_ID
Formal [storage_and_retrieval.ads, 72] Storage_And_Retrieval.Delete_All_Packets
Storage_And_Retrieval.Delete_To_Packet.End_Packet (Parameter)
Declared as: in Packet_Store_Types.Sequence_Count
Formal [storage_and_retrieval.ads, 78] Storage_And_Retrieval.Delete_To_Packet
Storage_And_Retrieval.Delete_To_Packet.Store_ID (Parameter)
Declared as: Local_Packet_Store_ID
Formal [storage_and_retrieval.ads, 77] Storage_And_Retrieval.Delete_To_Packet
Storage_And_Retrieval.Delete_To_Time.End_Time (Parameter)
Declared as: in Parameter_Representation.PUS_Time
Formal [storage_and_retrieval.ads, 84] Storage_And_Retrieval.Delete_To_Time
Storage_And_Retrieval.Delete_To_Time.Store_ID (Parameter)
Declared as: Local_Packet_Store_ID
Formal [storage_and_retrieval.ads, 83] Storage_And_Retrieval.Delete_To_Time
Storage_And_Retrieval.Get_Packets_In_Period.N (Parameter)
Declared as: out Natural
Formal [storage_and_retrieval.ads, 103] Storage_And_Retrieval.Get_Packets_In_Period
Storage_And_Retrieval.Get_Packets_In_Period.Ok (Parameter)
Declared as: out Boolean
Formal [storage_and_retrieval.ads, 104] Storage_And_Retrieval.Get_Packets_In_Period
Storage_And_Retrieval.Get_Packets_In_Period.Packets (Parameter)
Declared as: in out Source_Data_Stream.Write_Stream
Formal [storage_and_retrieval.ads, 102] Storage_And_Retrieval.Get_Packets_In_Period
Storage_And_Retrieval.Get_Packets_In_Period.Store_ID (Parameter)
Declared as: Local_Packet_Store_ID
Formal [storage_and_retrieval.ads, 100] Storage_And_Retrieval.Get_Packets_In_Period
Storage_And_Retrieval.Get_Packets_In_Period.Time_Span_Def (Parameter)
Declared as: in Packet_Store_Types.Time_Span_Spec
Formal [storage_and_retrieval.ads, 101] Storage_And_Retrieval.Get_Packets_In_Period
Storage_And_Retrieval.Get_Packets_In_Range.N (Parameter)
Declared as: out Natural
Formal [storage_and_retrieval.ads, 93] Storage_And_Retrieval.Get_Packets_In_Range
Storage_And_Retrieval.Get_Packets_In_Range.Ok (Parameter)
Declared as: out Boolean
Formal [storage_and_retrieval.ads, 94] Storage_And_Retrieval.Get_Packets_In_Range
Storage_And_Retrieval.Get_Packets_In_Range.Packet_Set_Def (Parameter)
Declared as: in Packet_Store_Types.Packet_Set_Spec
Formal [storage_and_retrieval.ads, 91] Storage_And_Retrieval.Get_Packets_In_Range
Storage_And_Retrieval.Get_Packets_In_Range.Packets (Parameter)
Declared as: in out Source_Data_Stream.Write_Stream
Formal [storage_and_retrieval.ads, 92] Storage_And_Retrieval.Get_Packets_In_Range
Storage_And_Retrieval.Get_Packets_In_Range.Store_ID (Parameter)
Declared as: Local_Packet_Store_ID
Formal [storage_and_retrieval.ads, 90] Storage_And_Retrieval.Get_Packets_In_Range
Storage_And_Retrieval.Get_Store_ID.Store_ID (Parameter)
Declared as: out Local_Packet_Store_ID
Formal [storage_and_retrieval.ads, 109] Storage_And_Retrieval.Get_Store_ID
Storage_And_Retrieval.Get_Store_ID.Stream (Parameter)
Declared as: in out Source_Data_Stream.Read_Stream
Formal [storage_and_retrieval.ads, 108] Storage_And_Retrieval.Get_Store_ID
Storage_And_Retrieval.Handle_PUS_TC_Packet.Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [storage_and_retrieval.ads, 157] Storage_And_Retrieval.Handle_PUS_TC_Packet
Storage_And_Retrieval.Handle_PUS_TM_Packet.Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [storage_and_retrieval.ads, 168] Storage_And_Retrieval.Handle_PUS_TM_Packet
Storage_And_Retrieval.Insert.Packet (Parameter)
Declared as: in PUS.PUS_Packet
Formal [storage_and_retrieval.ads, 68] Storage_And_Retrieval.Insert
Storage_And_Retrieval.Insert.Store_ID (Parameter)
Declared as: in Mission_Parameters.Packet_Store_ID
Formal [storage_and_retrieval.ads, 67] Storage_And_Retrieval.Insert
Storage_And_Retrieval.Optional_Deposit.Packet (Parameter)
Declared as: in PUS.Optional_PUS_Packet
Formal [storage_and_retrieval.ads, 115] Storage_And_Retrieval.Optional_Deposit
Storage_And_Retrieval.Telecommand_Buffer_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [storage_and_retrieval.ads, 120] Storage_And_Retrieval
Storage_And_Retrieval.Telecommand_Buffer_Size (Parameter)
Declared as: in Natural
Formal [storage_and_retrieval.ads, 125] Storage_And_Retrieval
Storage_And_Retrieval.Telecommand_Interpreter_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [storage_and_retrieval.ads, 129] Storage_And_Retrieval
Storage_And_Retrieval.Telecommand_Interpreter_Stack_Size (Parameter)
Declared as: in Natural
Formal [storage_and_retrieval.ads, 132] Storage_And_Retrieval
Storage_And_Retrieval_Definitions.Application_ID (Constant)
Declared as: constant Mission_Parameters.APID := Mission_Parameters.APID_Onboard_Storage
Set [storage_and_retrieval_definitions.ads, 58] Storage_And_Retrieval_Definitions
Declare [storage_and_retrieval_definitions.ads, 58] Storage_And_Retrieval_Definitions
Storage_And_Retrieval_Definitions.Bounded_Store_Size_1 (Constant)
Declared as: constant := 25
Set [storage_and_retrieval_definitions.ads, 66] Storage_And_Retrieval_Definitions
Declare [storage_and_retrieval_definitions.ads, 66] Storage_And_Retrieval_Definitions
Storage_And_Retrieval_Definitions.Cyclic_Store_Size_1 (Constant)
Declared as: constant := 20
Set [storage_and_retrieval_definitions.ads, 64] Storage_And_Retrieval_Definitions
Declare [storage_and_retrieval_definitions.ads, 64] Storage_And_Retrieval_Definitions
Storage_And_Retrieval_Definitions.Cyclic_Store_Size_2 (Constant)
Declared as: constant := 30
Set [storage_and_retrieval_definitions.ads, 65] Storage_And_Retrieval_Definitions
Declare [storage_and_retrieval_definitions.ads, 65] Storage_And_Retrieval_Definitions
Storage_And_Retrieval_Definitions.Depositor_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Packet_Buffer_Priority + 4
Set [storage_and_retrieval_definitions.ads, 76] Storage_And_Retrieval_Definitions
Declare [storage_and_retrieval_definitions.ads, 76] Storage_And_Retrieval_Definitions
Storage_And_Retrieval_Definitions.Packet_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := 31
Set [storage_and_retrieval_definitions.ads, 69] Storage_And_Retrieval_Definitions
Declare [storage_and_retrieval_definitions.ads, 69] Storage_And_Retrieval_Definitions
Use [storage_and_retrieval_definitions.ads, 78] Storage_And_Retrieval_Definitions.Depositor_Task_Priority
Storage_And_Retrieval_Definitions.Packet_Buffer_Size (Constant)
Declared as: constant := 20
Set [storage_and_retrieval_definitions.ads, 74] Storage_And_Retrieval_Definitions
Declare [storage_and_retrieval_definitions.ads, 74] Storage_And_Retrieval_Definitions
Storage_And_Retrieval_Definitions.Packet_Handler_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := 17
Set [storage_and_retrieval_definitions.ads, 71] Storage_And_Retrieval_Definitions
Declare [storage_and_retrieval_definitions.ads, 71] Storage_And_Retrieval_Definitions
Storage_And_Retrieval_Definitions.Packet_Handler_Stack_Size (Constant)
Declared as: constant := 30_000
Set [storage_and_retrieval_definitions.ads, 73] Storage_And_Retrieval_Definitions
Declare [storage_and_retrieval_definitions.ads, 73] Storage_And_Retrieval_Definitions
Storage_Configuration.Large_Source_Data_Number (Constant)
Declared as: constant := 15
Set [storage_configuration.ads, 75] Storage_Configuration
Declare [storage_configuration.ads, 75] Storage_Configuration
Use [storage_configuration.ads, 80] Storage_Configuration.PUS_Packet_Number
Use [source_data_manager.ads, 64] Source_Data_Manager.Total_Cell_Number
Storage_Configuration.Large_Source_Data_Size (Constant)
Declared as: constant := 16#500# * Unit
Set [storage_configuration.ads, 74] Storage_Configuration
Declare [storage_configuration.ads, 74] Storage_Configuration
Use [source_data_manager.ads, 77] Source_Data_Manager.Allocation_Size
Storage_Configuration.PUS_Packet_Number (Constant)
Declared as: constant := Small_Source_Data_Number + Large_Source_Data_Number
Set [storage_configuration.ads, 79] Storage_Configuration
Declare [storage_configuration.ads, 79] Storage_Configuration
Use [pus.ads, 55] PUS.Optional_PUS_Packet
Storage_Configuration.Small_Source_Data_Number (Constant)
Declared as: constant := 60
Set [storage_configuration.ads, 71] Storage_Configuration
Declare [storage_configuration.ads, 71] Storage_Configuration
Use [storage_configuration.ads, 80] Storage_Configuration.PUS_Packet_Number
Use [source_data_manager.ads, 63] Source_Data_Manager.Total_Cell_Number
Storage_Configuration.Small_Source_Data_Size (Constant)
Declared as: constant := 25 * Unit
Set [storage_configuration.ads, 70] Storage_Configuration
Declare [storage_configuration.ads, 70] Storage_Configuration
Storage_Configuration.Unit (Constant)
Declared as: constant := 16
Set [storage_configuration.ads, 65] Storage_Configuration
Declare [storage_configuration.ads, 65] Storage_Configuration
Use [storage_configuration.ads, 70] Storage_Configuration.Small_Source_Data_Size
Use [storage_configuration.ads, 74] Storage_Configuration.Large_Source_Data_Size
Storage_Selection_Defs.Application_ID (Parameter)
Declared as: in Mission_Parameters.APID
Formal [storage_selection_defs.ads, 54] Storage_Selection_Defs
Storage_Selection_Defs.Handle_PUS_Packet.Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [storage_selection_defs.ads, 102] Storage_Selection_Defs.Handle_PUS_Packet
Storage_Selection_Defs.Max_Store_IDs (Parameter)
Declared as: in Packet_Store_Types.Count_Type
Formal [storage_selection_defs.ads, 60] Storage_Selection_Defs
Storage_Selection_Defs.Optional_Deposit.Packet (Parameter)
Declared as: in PUS.Optional_PUS_Packet
Formal [storage_selection_defs.ads, 57] Storage_Selection_Defs.Optional_Deposit
Storage_Selection_Defs.Telecommand_Buffer_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [storage_selection_defs.ads, 66] Storage_Selection_Defs
Storage_Selection_Defs.Telecommand_Buffer_Size (Parameter)
Declared as: in Natural
Formal [storage_selection_defs.ads, 62] Storage_Selection_Defs
Storage_Selection_Defs.Telecommand_Interpreter_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [storage_selection_defs.ads, 72] Storage_Selection_Defs
Storage_Selection_Defs.Telecommand_Interpreter_Stack_Size (Parameter)
Declared as: in Natural
Formal [storage_selection_defs.ads, 75] Storage_Selection_Defs
Storage_Selection_Manager.Add_All_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 106] Storage_Selection_Manager.Add_All_Storage_Selection_Def
Storage_Selection_Manager.Add_All_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 107] Storage_Selection_Manager.Add_All_Storage_Selection_Def
Storage_Selection_Manager.Add_All_Subtypes_Storage_Selection_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [storage_selection_manager.ads, 122] Storage_Selection_Manager.Add_All_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Add_All_Subtypes_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 120] Storage_Selection_Manager.Add_All_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Add_All_Subtypes_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 121] Storage_Selection_Manager.Add_All_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Add_Specific_Subtypes_Storage_Selection_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [storage_selection_manager.ads, 138] Storage_Selection_Manager.Add_Specific_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Add_Specific_Subtypes_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 136] Storage_Selection_Manager.Add_Specific_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Add_Specific_Subtypes_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 137] Storage_Selection_Manager.Add_Specific_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Add_Specific_Subtypes_Storage_Selection_Def.Subservices (Parameter)
Declared as: Packet_Subtype_Array
Spec [storage_selection_manager.ads, 139] Storage_Selection_Manager.Add_Specific_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Disable_Storage.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 92] Storage_Selection_Manager.Disable_Storage
Storage_Selection_Manager.Disable_Storage.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 93] Storage_Selection_Manager.Disable_Storage
Storage_Selection_Manager.Enable_Storage.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 78] Storage_Selection_Manager.Enable_Storage
Storage_Selection_Manager.Enable_Storage.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 79] Storage_Selection_Manager.Enable_Storage
Storage_Selection_Manager.Get_Destination_Packet_Store_ID.Store_Defined (Parameter)
Declared as: out Boolean
Spec [storage_selection_manager.ads, 256] Storage_Selection_Manager.Get_Destination_Packet_Store_ID
Storage_Selection_Manager.Get_Destination_Packet_Store_ID.Store_ID (Parameter)
Declared as: out Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 257] Storage_Selection_Manager.Get_Destination_Packet_Store_ID
Storage_Selection_Manager.Get_Destination_Packet_Store_ID.TM_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [storage_selection_manager.ads, 255] Storage_Selection_Manager.Get_Destination_Packet_Store_ID
Storage_Selection_Manager.Get_Routing_Destination_APID.TM_Packet (Parameter)
Declared as: PUS.PUS_Packet
Spec [storage_selection_manager.ads, 242] Storage_Selection_Manager.Get_Routing_Destination_APID
Storage_Selection_Manager.Get_Storage_Selection_Service_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [storage_selection_manager.ads, 230] Storage_Selection_Manager.Get_Storage_Selection_Service_Def
Storage_Selection_Manager.Get_Storage_Selection_Service_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 228] Storage_Selection_Manager.Get_Storage_Selection_Service_Def
Storage_Selection_Manager.Get_Storage_Selection_Service_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 229] Storage_Selection_Manager.Get_Storage_Selection_Service_Def
Storage_Selection_Manager.Is_Storage_Selection_All_Present.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 214] Storage_Selection_Manager.Is_Storage_Selection_All_Present
Storage_Selection_Manager.Is_Storage_Selection_All_Present.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 215] Storage_Selection_Manager.Is_Storage_Selection_All_Present
Storage_Selection_Manager.Is_Storage_Selection_Service_Present.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [storage_selection_manager.ads, 201] Storage_Selection_Manager.Is_Storage_Selection_Service_Present
Storage_Selection_Manager.Is_Storage_Selection_Service_Present.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 199] Storage_Selection_Manager.Is_Storage_Selection_Service_Present
Storage_Selection_Manager.Is_Storage_Selection_Service_Present.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 200] Storage_Selection_Manager.Is_Storage_Selection_Service_Present
Storage_Selection_Manager.Remove_All_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 152] Storage_Selection_Manager.Remove_All_Storage_Selection_Def
Storage_Selection_Manager.Remove_All_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 153] Storage_Selection_Manager.Remove_All_Storage_Selection_Def
Storage_Selection_Manager.Remove_All_Subtypes_Storage_Selection_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [storage_selection_manager.ads, 168] Storage_Selection_Manager.Remove_All_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Remove_All_Subtypes_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 166] Storage_Selection_Manager.Remove_All_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Remove_All_Subtypes_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 167] Storage_Selection_Manager.Remove_All_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Remove_Specific_Subtypes_Storage_Selection_Def.Service (Parameter)
Declared as: PUS_Data_Types.Service_Type
Spec [storage_selection_manager.ads, 184] Storage_Selection_Manager.Remove_Specific_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Remove_Specific_Subtypes_Storage_Selection_Def.Source_APID (Parameter)
Declared as: Mission_Parameters.APID
Spec [storage_selection_manager.ads, 182] Storage_Selection_Manager.Remove_Specific_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Remove_Specific_Subtypes_Storage_Selection_Def.Storage_ID (Parameter)
Declared as: Mission_Parameters.Packet_Store_ID
Spec [storage_selection_manager.ads, 183] Storage_Selection_Manager.Remove_Specific_Subtypes_Storage_Selection_Def
Storage_Selection_Manager.Remove_Specific_Subtypes_Storage_Selection_Def.Subservices (Parameter)
Declared as: Packet_Subtype_Array
Spec [storage_selection_manager.ads, 185] Storage_Selection_Manager.Remove_Specific_Subtypes_Storage_Selection_Def
System_Clock.+.I (Parameter)
Declared as: Ada.Real_Time.Time_Span
Spec [system_clock.ads, 108] System_Clock.+
System_Clock.+.T (Parameter)
Declared as: Ada.Real_Time.Time
Spec [system_clock.ads, 107] System_Clock.+
System_Clock.-.I (Parameter)
Declared as: Ada.Real_Time.Time_Span
Spec [system_clock.ads, 133] System_Clock.-
System_Clock.-.T (Parameter)
Declared as: Ada.Real_Time.Time
Spec [system_clock.ads, 132] System_Clock.-
System_Clock.-.T1 (Parameter)
Declared as: Ada.Real_Time.Time
Spec [system_clock.ads, 120] System_Clock.-
System_Clock.-.T2 (Parameter)
Declared as: Ada.Real_Time.Time
Spec [system_clock.ads, 120] System_Clock.-
System_Clock.<.T1 (Parameter)
Declared as: Ada.Real_Time.Time
Spec [system_clock.ads, 95] System_Clock.<
System_Clock.<.T2 (Parameter)
Declared as: Ada.Real_Time.Time
Spec [system_clock.ads, 95] System_Clock.<
System_Clock.Microseconds.Us (Parameter)
Declared as: Integer
Spec [system_clock.ads, 144] System_Clock.Microseconds
System_Clock.Milliseconds.Ms (Parameter)
Declared as: Integer
Spec [system_clock.ads, 156] System_Clock.Milliseconds
System_Clock.System_Start_Time (Constant)
Declared as: constant Ada.Real_Time.Time := Clock
Set [system_clock.ads, 65] System_Clock
Declare [system_clock.ads, 65] System_Clock
System_Clock.Task_Activation_Delay (Constant)
Declared as: constant Ada.Real_Time.Time_Span := Ada.Real_Time.Milliseconds(463)
Set [system_clock.ads, 69] System_Clock
Declare [system_clock.ads, 69] System_Clock