Object Cross Reference
Large_Data_Transfer.Application_Process_ID (Parameter)
Declared as: in Mission_Parameters.APID
Formal [large_data_transfer.ads, 102] Large_Data_Transfer
Large_Data_Transfer.Default_Receiver_Timeout_Handler.Timeout (Parameter)
Declared as: in Receiver_Timeout
Spec [large_data_transfer.ads, 219] Large_Data_Transfer.Default_Receiver_Timeout_Handler
Large_Data_Transfer.Default_Sender_Timeout_Handler.Timeout (Parameter)
Declared as: in Sender_Timeout
Spec [large_data_transfer.ads, 246] Large_Data_Transfer.Default_Sender_Timeout_Handler
Large_Data_Transfer.First_Part_Sequence_Number (Constant)
Declared as: constant := Part_Range'first
Set [large_data_transfer.ads, 188] Large_Data_Transfer
Declare [large_data_transfer.ads, 188] Large_Data_Transfer
Use [large_data_transfer-receiver_state.ads, 402] Large_Data_Transfer.Receiver_State.The_State.State
Large_Data_Transfer.Make_Event_Report.Generator (Parameter)
Declared as: in Mission_Parameters.APID
Spec [large_data_transfer.ads, 374] Large_Data_Transfer.Make_Event_Report
Large_Data_Transfer.Make_Event_Report.Level (Parameter)
Declared as: in Event_Reporting_Types.Reporting_Level
Spec [large_data_transfer.ads, 376] Large_Data_Transfer.Make_Event_Report
Large_Data_Transfer.Make_Event_Report.Parameters (Parameter)
Declared as: in Source_Data_Stream.Read_Stream
Spec [large_data_transfer.ads, 378] Large_Data_Transfer.Make_Event_Report
Large_Data_Transfer.Make_Event_Report.Receiver (Parameter)
Declared as: in Mission_Parameters.Destination_ID
Spec [large_data_transfer.ads, 375] Large_Data_Transfer.Make_Event_Report
Large_Data_Transfer.Make_Event_Report.Report_ID (Parameter)
Declared as: in Event_Reporting_Types.Report_ID
Spec [large_data_transfer.ads, 377] Large_Data_Transfer.Make_Event_Report
Large_Data_Transfer.Max_SDU_Parts (Constant)
Declared as: constant := (Large_Data_Transfer_Mission_Parameters.Max_SDU_Byte_Size - 1) / Part_Byte_Length + 1
Set [large_data_transfer.ads, 153] Large_Data_Transfer
Declare [large_data_transfer.ads, 153] Large_Data_Transfer
Use [large_data_transfer.ads, 179] Large_Data_Transfer.Optional_Part_Range
Large_Data_Transfer.Part_Byte_Length (Constant)
Declared as: constant := External_Large_Data_Transfer_Types.SDU_Part_Byte_Size
Set [large_data_transfer.ads, 148] Large_Data_Transfer
Declare [large_data_transfer.ads, 148] Large_Data_Transfer
Use [large_data_transfer.ads, 155] Large_Data_Transfer.Max_SDU_Parts
Use [large_data_transfer.ads, 172] Large_Data_Transfer.Optional_Part_Byte_Range
Large_Data_Transfer.Receiver.Active_Timer_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [large_data_transfer-receiver.ads, 111] Large_Data_Transfer.Receiver
Use [large_data_transfer-receiver.ads, 178] Large_Data_Transfer.Receiver.The_Receiver_State
Large_Data_Transfer.Receiver.Handle_TC_Packet.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver.ads, 158] Large_Data_Transfer.Receiver.Handle_TC_Packet
Large_Data_Transfer.Receiver.Protected_State_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-receiver.ads, 89] Large_Data_Transfer.Receiver
Use [large_data_transfer-receiver.ads, 170] Large_Data_Transfer.Receiver.The_Receiver_State
Large_Data_Transfer.Receiver.Protected_Timer_Control_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-receiver.ads, 107] Large_Data_Transfer.Receiver
Use [large_data_transfer-receiver.ads, 176] Large_Data_Transfer.Receiver.The_Receiver_State
Large_Data_Transfer.Receiver.Receiver_Timeout_Handler.Timeout (Parameter)
Declared as: in Receiver_Timeout
Formal [large_data_transfer-receiver.ads, 103] Large_Data_Transfer.Receiver.Receiver_Timeout_Handler
Large_Data_Transfer.Receiver.TC_Handler.Handle_TC_Packet.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver-tc_handler.ads, 81] Large_Data_Transfer.Receiver.TC_Handler.Handle_TC_Packet
Large_Data_Transfer.Receiver.TC_Handler_Buffer_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-receiver.ads, 70] Large_Data_Transfer.Receiver
Large_Data_Transfer.Receiver.TC_Handler_Buffer_Size (Parameter)
Declared as: in Positive
Formal [large_data_transfer-receiver.ads, 77] Large_Data_Transfer.Receiver
Large_Data_Transfer.Receiver.TC_Handler_Interpreter_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [large_data_transfer-receiver.ads, 81] Large_Data_Transfer.Receiver
Large_Data_Transfer.Receiver.TC_Handler_Interpreter_Stack_Size (Parameter)
Declared as: in Natural
Formal [large_data_transfer-receiver.ads, 85] Large_Data_Transfer.Receiver
Large_Data_Transfer.Receiver.TC_Parser.Parse_TC.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver-tc_parser.ads, 82] Large_Data_Transfer.Receiver.TC_Parser.Parse_TC
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Part_Base.Part (Component)
Declared as: TC_Request_Part_Data
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Part_Base
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Part_Data.Number (Component)
Declared as: Large_Data_Transfer_Types.Sequence_Number := 1
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Part_Data
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Part_Data.Stream (Component)
Declared as: Source_Data_Stream.Read_Stream
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Part_Data
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Accept_Part_Base
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Accept_Last_Uplink_Part
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Accept_Repeated_Part
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver.Timeout_Interval_In_Milliseconds (Parameter)
Declared as: in Positive
Formal [large_data_transfer-receiver.ads, 95] Large_Data_Transfer.Receiver
Use [large_data_transfer-receiver.ads, 172] Large_Data_Transfer.Receiver.The_Receiver_State
Large_Data_Transfer.Receiver_Not_Supported_Handle_TC_Packet.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer.ads, 273] Large_Data_Transfer.Receiver_Not_Supported_Handle_TC_Packet
Large_Data_Transfer.Receiver_State.Active_Timer_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [large_data_transfer-receiver_state.ads, 100] Large_Data_Transfer.Receiver_State
Large_Data_Transfer.Receiver_State.Protected_State_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-receiver_state.ads, 82] Large_Data_Transfer.Receiver_State
Use [large_data_transfer-receiver_state.ads, 317] Large_Data_Transfer.Receiver_State.The_State
Large_Data_Transfer.Receiver_State.Protected_Timer_Control_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-receiver_state.ads, 96] Large_Data_Transfer.Receiver_State
Large_Data_Transfer.Receiver_State.Receiver_Timeout_Handler.Timeout (Parameter)
Declared as: in Receiver_Timeout
Formal [large_data_transfer-receiver_state.ads, 93] Large_Data_Transfer.Receiver_State.Receiver_Timeout_Handler
Large_Data_Transfer.Receiver_State.Reception_Abort_Report.Reason_Code (Parameter)
Declared as: in Receiver_Reason_Code
Spec [large_data_transfer-receiver_state.ads, 255] Large_Data_Transfer.Receiver_State.Reception_Abort_Report
Large_Data_Transfer.Receiver_State.State_Type.First_Part (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Declare [large_data_transfer-receiver_state.ads, 283] Large_Data_Transfer.Receiver_State.State_Type
Large_Data_Transfer.Receiver_State.State_Type.Last_Part (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Declare [large_data_transfer-receiver_state.ads, 297] Large_Data_Transfer.Receiver_State.State_Type
Large_Data_Transfer.Receiver_State.State_Type.Missing_Part_Count (Variant Component)
Declared as: Large_Data_Transfer.Optional_Part_Range
Declare [large_data_transfer-receiver_state.ads, 293] Large_Data_Transfer.Receiver_State.State_Type
Large_Data_Transfer.Receiver_State.State_Type.Next_Part (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Declare [large_data_transfer-receiver_state.ads, 288] Large_Data_Transfer.Receiver_State.State_Type
Large_Data_Transfer.Receiver_State.State_Type.Super_State (Discriminant Component)
Declared as: Super_State_Type := Idle
Use [large_data_transfer-receiver_state.ads, 281] Large_Data_Transfer.Receiver_State
Set [large_data_transfer-receiver_state.ads, 279] Large_Data_Transfer.Receiver_State.State_Type
Declare [large_data_transfer-receiver_state.ads, 279] Large_Data_Transfer.Receiver_State.State_Type
Large_Data_Transfer.Receiver_State.TC_Request_Accept_Part_Base.Part (Component)
Declared as: TC_Request_Part_Data
Declare [large_data_transfer-receiver_state.ads, 162] Large_Data_Transfer.Receiver_State.TC_Request_Accept_Part_Base
Large_Data_Transfer.Receiver_State.TC_Request_Part_Data.Number (Component)
Declared as: Large_Data_Transfer_Types.Sequence_Number := 1
Set [large_data_transfer-receiver_state.ads, 153] Large_Data_Transfer.Receiver_State.TC_Request_Part_Data
Declare [large_data_transfer-receiver_state.ads, 153] Large_Data_Transfer.Receiver_State.TC_Request_Part_Data
Set [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Part_Data
Large_Data_Transfer.Receiver_State.TC_Request_Part_Data.Stream (Component)
Declared as: Source_Data_Stream.Read_Stream
Declare [large_data_transfer-receiver_state.ads, 154] Large_Data_Transfer.Receiver_State.TC_Request_Part_Data
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 140] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 172] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 182] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 191] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 200] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 209] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Base
Spec [large_data_transfer-receiver_state.ads, 142] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Accept_First_Uplink_Part
Spec [large_data_transfer-receiver_state.ads, 173] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Accept_Intermediate_Uplink_Part
Spec [large_data_transfer-receiver_state.ads, 183] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Accept_Last_Uplink_Part
Spec [large_data_transfer-receiver_state.ads, 192] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Accept_Repeated_Part
Spec [large_data_transfer-receiver_state.ads, 201] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Abort_Reception_Of_Uplinked_Data
Spec [large_data_transfer-receiver_state.ads, 210] Large_Data_Transfer.Receiver_State.TC_Request_State
Large_Data_Transfer.Receiver_State.The_State.Next_Timeout_Time (Object)
Declared as: Ada.Real_Time.Time
Declare [large_data_transfer-receiver_state.ads, 408] Large_Data_Transfer.Receiver_State.The_State
Large_Data_Transfer.Receiver_State.The_State.State (Object)
Declared as: State_Type := State_Type'(Super_State => Idle, First_Part => Large_Data_Transfer.First_Part_Sequence_Number)
Set [large_data_transfer-receiver_state.ads, 399] Large_Data_Transfer.Receiver_State.The_State
Declare [large_data_transfer-receiver_state.ads, 399] Large_Data_Transfer.Receiver_State.The_State
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Abort_Reception_Of_Uplinked_Data.Request_Success (Parameter)
Declared as: out Boolean
Spec [large_data_transfer-receiver_state.ads, 376] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Abort_Reception_Of_Uplinked_Data
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Abort_Reception_Of_Uplinked_Data.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 375] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Abort_Reception_Of_Uplinked_Data
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_First_Uplink_Part.Part (Parameter)
Declared as: in TC_Request_Part_Data
Spec [large_data_transfer-receiver_state.ads, 328] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_First_Uplink_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_First_Uplink_Part.Request_Success (Parameter)
Declared as: out Boolean
Spec [large_data_transfer-receiver_state.ads, 329] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_First_Uplink_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_First_Uplink_Part.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 327] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_First_Uplink_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Intermediate_Uplink_Part.Part (Parameter)
Declared as: in TC_Request_Part_Data
Spec [large_data_transfer-receiver_state.ads, 340] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Intermediate_Uplink_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Intermediate_Uplink_Part.Request_Success (Parameter)
Declared as: out Boolean
Spec [large_data_transfer-receiver_state.ads, 341] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Intermediate_Uplink_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Intermediate_Uplink_Part.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 339] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Intermediate_Uplink_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Last_Uplink_Part.Part (Parameter)
Declared as: in TC_Request_Part_Data
Spec [large_data_transfer-receiver_state.ads, 352] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Last_Uplink_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Last_Uplink_Part.Request_Success (Parameter)
Declared as: out Boolean
Spec [large_data_transfer-receiver_state.ads, 353] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Last_Uplink_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Last_Uplink_Part.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 351] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Last_Uplink_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Repeated_Part.Part (Parameter)
Declared as: in TC_Request_Part_Data
Spec [large_data_transfer-receiver_state.ads, 364] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Repeated_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Repeated_Part.Request_Success (Parameter)
Declared as: out Boolean
Spec [large_data_transfer-receiver_state.ads, 365] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Repeated_Part
Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Repeated_Part.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-receiver_state.ads, 363] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Repeated_Part
Large_Data_Transfer.Receiver_State.The_State.Timeout.Abs_Timeout_Time (Parameter)
Declared as: in Ada.Real_Time.Time
Spec [large_data_transfer-receiver_state.ads, 389] Large_Data_Transfer.Receiver_State.The_State.Timeout
Large_Data_Transfer.Receiver_State.The_State.Timeout_Info (Object)
Declared as: Large_Data_Transfer.Receiver_Timeout
Declare [large_data_transfer-receiver_state.ads, 405] Large_Data_Transfer.Receiver_State.The_State
Large_Data_Transfer.Receiver_State.Timeout_Interval_In_Milliseconds (Parameter)
Declared as: in Positive
Formal [large_data_transfer-receiver_state.ads, 88] Large_Data_Transfer.Receiver_State
Large_Data_Transfer.Receiver_State.Unparse_Receiver_Reason_Code.Reason_Code (Parameter)
Declared as: in Receiver_Reason_Code
Spec [large_data_transfer-receiver_state.ads, 244] Large_Data_Transfer.Receiver_State.Unparse_Receiver_Reason_Code
Large_Data_Transfer.Receiver_Timeout.Ldt_APID (Component)
Declared as: Mission_Parameters.APID
Declare [large_data_transfer.ads, 212] Large_Data_Transfer.Receiver_Timeout
Large_Data_Transfer.Receiver_Timeout.SDU_Sender_APID (Component)
Declared as: Mission_Parameters.APID
Declare [large_data_transfer.ads, 214] Large_Data_Transfer.Receiver_Timeout
Large_Data_Transfer.SDU_Parts.Add_Missing_Part.Byte_Length (Parameter)
Declared as: in Large_Data_Transfer.Optional_Part_Byte_Range := External_Large_Data_Transfer_Types.SDU_Part_Byte_Size
Set [large_data_transfer-sdu_parts.ads, 180] Large_Data_Transfer.SDU_Parts.Add_Missing_Part
Spec [large_data_transfer-sdu_parts.ads, 180] Large_Data_Transfer.SDU_Parts.Add_Missing_Part
Large_Data_Transfer.SDU_Parts.Add_Missing_Part.Part (Parameter)
Declared as: in Large_Data_Transfer.Part_Range
Spec [large_data_transfer-sdu_parts.ads, 178] Large_Data_Transfer.SDU_Parts.Add_Missing_Part
Large_Data_Transfer.SDU_Parts.Add_Missing_Part.Stream (Parameter)
Declared as: in Source_Data_Stream.Read_Stream
Spec [large_data_transfer-sdu_parts.ads, 179] Large_Data_Transfer.SDU_Parts.Add_Missing_Part
Large_Data_Transfer.SDU_Parts.Add_Part.Byte_Length (Parameter)
Declared as: in Large_Data_Transfer.Optional_Part_Byte_Range := External_Large_Data_Transfer_Types.SDU_Part_Byte_Size
Set [large_data_transfer-sdu_parts.ads, 148] Large_Data_Transfer.SDU_Parts.Add_Part
Spec [large_data_transfer-sdu_parts.ads, 148] Large_Data_Transfer.SDU_Parts.Add_Part
Large_Data_Transfer.SDU_Parts.Add_Part.Part (Parameter)
Declared as: in Large_Data_Transfer.Part_Range
Spec [large_data_transfer-sdu_parts.ads, 146] Large_Data_Transfer.SDU_Parts.Add_Part
Large_Data_Transfer.SDU_Parts.Add_Part.Stream (Parameter)
Declared as: in Source_Data_Stream.Read_Stream
Spec [large_data_transfer-sdu_parts.ads, 147] Large_Data_Transfer.SDU_Parts.Add_Part
Large_Data_Transfer.SDU_Parts.Add_Part_As_Missing.Part (Parameter)
Declared as: in Large_Data_Transfer.Part_Range
Spec [large_data_transfer-sdu_parts.ads, 161] Large_Data_Transfer.SDU_Parts.Add_Part_As_Missing
Large_Data_Transfer.SDU_Parts.Assemble_SDU_Byte_Array.Last_Part (Parameter)
Declared as: in Large_Data_Transfer.Part_Range
Spec [large_data_transfer-sdu_parts.ads, 192] Large_Data_Transfer.SDU_Parts.Assemble_SDU_Byte_Array
Large_Data_Transfer.SDU_Parts.Get_Missing_Parts.Last_Part (Parameter)
Declared as: in Large_Data_Transfer.Part_Range
Spec [large_data_transfer-sdu_parts.ads, 204] Large_Data_Transfer.SDU_Parts.Get_Missing_Parts
Large_Data_Transfer.Sender.Active_Timer_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [large_data_transfer-sender.ads, 134] Large_Data_Transfer.Sender
Use [large_data_transfer-sender.ads, 242] Large_Data_Transfer.Sender.The_Sender_State
Large_Data_Transfer.Sender.Deposit_TM_Packet.TM_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender.ads, 219] Large_Data_Transfer.Sender.Deposit_TM_Packet
Large_Data_Transfer.Sender.Handle_TC_Packet.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender.ads, 197] Large_Data_Transfer.Sender.Handle_TC_Packet
Large_Data_Transfer.Sender.Max_Resend_Queue_Length (Parameter)
Declared as: in Large_Data_Transfer.Optional_Part_Range := Large_Data_Transfer.Optional_Part_Range'last
Set [large_data_transfer-sender.ads, 113] Large_Data_Transfer.Sender
Formal [large_data_transfer-sender.ads, 113] Large_Data_Transfer.Sender
Use [large_data_transfer-sender.ads, 234] Large_Data_Transfer.Sender.The_Sender_State
Large_Data_Transfer.Sender.Protected_State_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-sender.ads, 105] Large_Data_Transfer.Sender
Use [large_data_transfer-sender.ads, 232] Large_Data_Transfer.Sender.The_Sender_State
Large_Data_Transfer.Sender.Protected_Timer_Control_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-sender.ads, 130] Large_Data_Transfer.Sender
Use [large_data_transfer-sender.ads, 240] Large_Data_Transfer.Sender.The_Sender_State
Large_Data_Transfer.Sender.SDU_Sender.Send_SDU_Packet.TM_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender-sdu_sender.ads, 73] Large_Data_Transfer.Sender.SDU_Sender.Send_SDU_Packet
Large_Data_Transfer.Sender.SDU_Sender_Buffer_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-sender.ads, 87] Large_Data_Transfer.Sender
Large_Data_Transfer.Sender.SDU_Sender_Buffer_Size (Parameter)
Declared as: in Positive
Formal [large_data_transfer-sender.ads, 93] Large_Data_Transfer.Sender
Large_Data_Transfer.Sender.SDU_Sender_Interpreter_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [large_data_transfer-sender.ads, 97] Large_Data_Transfer.Sender
Large_Data_Transfer.Sender.SDU_Sender_Interpreter_Stack_Size (Parameter)
Declared as: in Natural
Formal [large_data_transfer-sender.ads, 101] Large_Data_Transfer.Sender
Large_Data_Transfer.Sender.Sender_Timeout_Handler.Timeout (Parameter)
Declared as: in Sender_Timeout
Formal [large_data_transfer-sender.ads, 126] Large_Data_Transfer.Sender.Sender_Timeout_Handler
Large_Data_Transfer.Sender.TC_Handler.Handle_TC_Packet.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender-tc_handler.ads, 81] Large_Data_Transfer.Sender.TC_Handler.Handle_TC_Packet
Large_Data_Transfer.Sender.TC_Handler_Buffer_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-sender.ads, 66] Large_Data_Transfer.Sender
Large_Data_Transfer.Sender.TC_Handler_Buffer_Size (Parameter)
Declared as: in Positive
Formal [large_data_transfer-sender.ads, 73] Large_Data_Transfer.Sender
Large_Data_Transfer.Sender.TC_Handler_Interpreter_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [large_data_transfer-sender.ads, 77] Large_Data_Transfer.Sender
Large_Data_Transfer.Sender.TC_Handler_Interpreter_Stack_Size (Parameter)
Declared as: in Natural
Formal [large_data_transfer-sender.ads, 81] Large_Data_Transfer.Sender
Large_Data_Transfer.Sender.TC_Parser.Parse_TC.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender-tc_parser.ads, 84] Large_Data_Transfer.Sender.TC_Parser.Parse_TC
Large_Data_Transfer.Sender.The_Sender_State.SDU_Response.Part (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response
Large_Data_Transfer.Sender.The_Sender_State.SDU_Response.Response (Discriminant Component)
Declared as: SDU_Response_Type := End_Sending
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response
Large_Data_Transfer.Sender.The_Sender_State.SDU_Response.Service_Subtype (Variant Component)
Declared as: Large_Data_Transfer_Types.Sender_TM_Part_Subtype
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response
Large_Data_Transfer.Sender.The_Sender_State.Sequence_Numbers.Count (Component)
Declared as: Large_Data_Transfer.Sequence_Number_List_Range
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sequence_Numbers
Large_Data_Transfer.Sender.The_Sender_State.Sequence_Numbers.List (Component)
Declared as: Large_Data_Transfer.Sequence_Number_List
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sequence_Numbers
Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Downlink_Reception_Acknowledgement.Sequence_Number (Component)
Declared as: Large_Data_Transfer_Types.Sequence_Number
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Downlink_Reception_Acknowledgement
Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Repeat_Parts.Parts (Component)
Declared as: Sequence_Numbers
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Repeat_Parts
Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State
Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Abort_Downlink
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State
Large_Data_Transfer.Sender.Timeout_Interval_In_Milliseconds (Parameter)
Declared as: in Positive
Formal [large_data_transfer-sender.ads, 118] Large_Data_Transfer.Sender
Use [large_data_transfer-sender.ads, 236] Large_Data_Transfer.Sender.The_Sender_State
Large_Data_Transfer.Sender_Not_Supported_Deposit_TM_Packet.TM_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer.ads, 323] Large_Data_Transfer.Sender_Not_Supported_Deposit_TM_Packet
Large_Data_Transfer.Sender_Not_Supported_Handle_TC_Packet.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer.ads, 298] Large_Data_Transfer.Sender_Not_Supported_Handle_TC_Packet
Large_Data_Transfer.Sender_State.Active_Timer_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [large_data_transfer-sender_state.ads, 96] Large_Data_Transfer.Sender_State
Large_Data_Transfer.Sender_State.Downlink_Abort_Report.Reason_Code (Parameter)
Declared as: in Sender_Reason_Code
Spec [large_data_transfer-sender_state.ads, 338] Large_Data_Transfer.Sender_State.Downlink_Abort_Report
Large_Data_Transfer.Sender_State.Max_Resend_Queue_Length (Parameter)
Declared as: in Large_Data_Transfer.Optional_Part_Range
Formal [large_data_transfer-sender_state.ads, 80] Large_Data_Transfer.Sender_State
Large_Data_Transfer.Sender_State.Protected_State_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-sender_state.ads, 75] Large_Data_Transfer.Sender_State
Use [large_data_transfer-sender_state.ads, 403] Large_Data_Transfer.Sender_State.The_State
Large_Data_Transfer.Sender_State.Protected_Timer_Control_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [large_data_transfer-sender_state.ads, 92] Large_Data_Transfer.Sender_State
Large_Data_Transfer.Sender_State.SDU_Request.Response (Parameter)
Declared as: out SDU_Response
Spec [large_data_transfer-sender_state.ads, 294] Large_Data_Transfer.Sender_State.SDU_Request
Large_Data_Transfer.Sender_State.SDU_Response.Part (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Declare [large_data_transfer-sender_state.ads, 272] Large_Data_Transfer.Sender_State.SDU_Response
Large_Data_Transfer.Sender_State.SDU_Response.Response (Discriminant Component)
Declared as: SDU_Response_Type := End_Sending
Use [large_data_transfer-sender_state.ads, 270] Large_Data_Transfer.Sender_State
Set [large_data_transfer-sender_state.ads, 268] Large_Data_Transfer.Sender_State.SDU_Response
Declare [large_data_transfer-sender_state.ads, 268] Large_Data_Transfer.Sender_State.SDU_Response
Set [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response
Large_Data_Transfer.Sender_State.SDU_Response.Service_Subtype (Variant Component)
Declared as: Large_Data_Transfer_Types.Sender_TM_Part_Subtype
Declare [large_data_transfer-sender_state.ads, 274] Large_Data_Transfer.Sender_State.SDU_Response
Large_Data_Transfer.Sender_State.SDU_Send.Part_Report (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender_state.ads, 304] Large_Data_Transfer.Sender_State.SDU_Send
Large_Data_Transfer.Sender_State.SDU_Sender_Error_Report.Reason (Parameter)
Declared as: in Sender_Reason_Code
Spec [large_data_transfer-sender_state.ads, 225] Large_Data_Transfer.Sender_State.SDU_Sender_Error_Report
Large_Data_Transfer.Sender_State.SDU_Sender_Start_New_Sending.Part_Count (Parameter)
Declared as: in Sender_Part_Count_Range
Spec [large_data_transfer-sender_state.ads, 249] Large_Data_Transfer.Sender_State.SDU_Sender_Start_New_Sending
Large_Data_Transfer.Sender_State.SDU_Sender_Start_New_Sending.Timeout (Parameter)
Declared as: in Large_Data_Transfer.Sender_Timeout
Spec [large_data_transfer-sender_state.ads, 245] Large_Data_Transfer.Sender_State.SDU_Sender_Start_New_Sending
Large_Data_Transfer.Sender_State.Sender_Timeout_Handler.Timeout (Parameter)
Declared as: in Sender_Timeout
Formal [large_data_transfer-sender_state.ads, 89] Large_Data_Transfer.Sender_State.Sender_Timeout_Handler
Large_Data_Transfer.Sender_State.Sequence_Numbers.Count (Component)
Declared as: Large_Data_Transfer.Sequence_Number_List_Range
Declare [large_data_transfer-sender_state.ads, 175] Large_Data_Transfer.Sender_State.Sequence_Numbers
Large_Data_Transfer.Sender_State.Sequence_Numbers.List (Component)
Declared as: Large_Data_Transfer.Sequence_Number_List
Declare [large_data_transfer-sender_state.ads, 176] Large_Data_Transfer.Sender_State.Sequence_Numbers
Large_Data_Transfer.Sender_State.State_Type.Next_Timeout_Time (Variant Component)
Declared as: Ada.Real_Time.Time
Declare [large_data_transfer-sender_state.ads, 386] Large_Data_Transfer.Sender_State.State_Type
Large_Data_Transfer.Sender_State.State_Type.Resending_Part (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Declare [large_data_transfer-sender_state.ads, 378] Large_Data_Transfer.Sender_State.State_Type
Large_Data_Transfer.Sender_State.State_Type.Resending_Part_Count (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Declare [large_data_transfer-sender_state.ads, 380] Large_Data_Transfer.Sender_State.State_Type
Large_Data_Transfer.Sender_State.State_Type.Sending_Part (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Declare [large_data_transfer-sender_state.ads, 371] Large_Data_Transfer.Sender_State.State_Type
Large_Data_Transfer.Sender_State.State_Type.Sending_Part_Count (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Declare [large_data_transfer-sender_state.ads, 373] Large_Data_Transfer.Sender_State.State_Type
Large_Data_Transfer.Sender_State.State_Type.Super_State (Discriminant Component)
Declared as: Super_State_Type := Idle
Use [large_data_transfer-sender_state.ads, 367] Large_Data_Transfer.Sender_State
Set [large_data_transfer-sender_state.ads, 365] Large_Data_Transfer.Sender_State.State_Type
Declare [large_data_transfer-sender_state.ads, 365] Large_Data_Transfer.Sender_State.State_Type
Large_Data_Transfer.Sender_State.State_Type.Waiting_Part_Count (Variant Component)
Declared as: Large_Data_Transfer.Part_Range
Declare [large_data_transfer-sender_state.ads, 384] Large_Data_Transfer.Sender_State.State_Type
Large_Data_Transfer.Sender_State.TC_Request_Downlink_Reception_Acknowledgement.Sequence_Number (Component)
Declared as: Large_Data_Transfer_Types.Sequence_Number
Declare [large_data_transfer-sender_state.ads, 193] Large_Data_Transfer.Sender_State.TC_Request_Downlink_Reception_Acknowledgement
Large_Data_Transfer.Sender_State.TC_Request_Repeat_Parts.Parts (Component)
Declared as: Sequence_Numbers
Declare [large_data_transfer-sender_state.ads, 182] Large_Data_Transfer.Sender_State.TC_Request_Repeat_Parts
Large_Data_Transfer.Sender_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender_state.ads, 155] Large_Data_Transfer.Sender_State.TC_Request_State
Large_Data_Transfer.Sender_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender_state.ads, 168] Large_Data_Transfer.Sender_State.TC_Request_State
Large_Data_Transfer.Sender_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender_state.ads, 186] Large_Data_Transfer.Sender_State.TC_Request_State
Large_Data_Transfer.Sender_State.TC_Request_State.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender_state.ads, 197] Large_Data_Transfer.Sender_State.TC_Request_State
Large_Data_Transfer.Sender_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Base
Spec [large_data_transfer-sender_state.ads, 156] Large_Data_Transfer.Sender_State.TC_Request_State
Large_Data_Transfer.Sender_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Abort_Downlink
Spec [large_data_transfer-sender_state.ads, 169] Large_Data_Transfer.Sender_State.TC_Request_State
Large_Data_Transfer.Sender_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Repeat_Parts
Spec [large_data_transfer-sender_state.ads, 187] Large_Data_Transfer.Sender_State.TC_Request_State
Large_Data_Transfer.Sender_State.TC_Request_State.TC_Request (Parameter)
Declared as: in TC_Request_Downlink_Reception_Acknowledgement
Spec [large_data_transfer-sender_state.ads, 198] Large_Data_Transfer.Sender_State.TC_Request_State
Large_Data_Transfer.Sender_State.The_State.Go_Resending.Sender_Part_Count (Parameter)
Declared as: in Large_Data_Transfer.Part_Range
Spec [large_data_transfer-sender_state.ads, 548] Large_Data_Transfer.Sender_State.The_State.Go_Resending
Large_Data_Transfer.Sender_State.The_State.Go_Sending.Sender_Part_Count (Parameter)
Declared as: in Large_Data_Transfer.Part_Range
Spec [large_data_transfer-sender_state.ads, 538] Large_Data_Transfer.Sender_State.The_State.Go_Sending
Large_Data_Transfer.Sender_State.The_State.Go_Sending.Sender_Timeout (Parameter)
Declared as: in Large_Data_Transfer.Sender_Timeout
Spec [large_data_transfer-sender_state.ads, 537] Large_Data_Transfer.Sender_State.The_State.Go_Sending
Large_Data_Transfer.Sender_State.The_State.Go_Waiting_For_Ack.Sender_Part_Count (Parameter)
Declared as: in Large_Data_Transfer.Part_Range
Spec [large_data_transfer-sender_state.ads, 558] Large_Data_Transfer.Sender_State.The_State.Go_Waiting_For_Ack
Large_Data_Transfer.Sender_State.The_State.Not_Waiting_For_Ack (Object)
Declared as: Boolean := True
Set [large_data_transfer-sender_state.ads, 508] Large_Data_Transfer.Sender_State.The_State
Declare [large_data_transfer-sender_state.ads, 508] Large_Data_Transfer.Sender_State.The_State
Large_Data_Transfer.Sender_State.The_State.SDU_Request.Response (Parameter)
Declared as: out SDU_Response
Declare [large_data_transfer-sender_state.ads, 487] Large_Data_Transfer.Sender_State.The_State.SDU_Request
Large_Data_Transfer.Sender_State.The_State.SDU_Send.Part_Report (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender_state.ads, 498] Large_Data_Transfer.Sender_State.The_State.SDU_Send
Large_Data_Transfer.Sender_State.The_State.SDU_Sender_Error_Report.Reason (Parameter)
Declared as: in Sender_Reason_Code
Spec [large_data_transfer-sender_state.ads, 462] Large_Data_Transfer.Sender_State.The_State.SDU_Sender_Error_Report
Large_Data_Transfer.Sender_State.The_State.SDU_Sender_Start_New_Sending.Sender_Part_Count (Parameter)
Declared as: in Sender_Part_Count_Range
Spec [large_data_transfer-sender_state.ads, 477] Large_Data_Transfer.Sender_State.The_State.SDU_Sender_Start_New_Sending
Large_Data_Transfer.Sender_State.The_State.SDU_Sender_Start_New_Sending.Sender_Timeout (Parameter)
Declared as: in Large_Data_Transfer.Sender_Timeout
Spec [large_data_transfer-sender_state.ads, 473] Large_Data_Transfer.Sender_State.The_State.SDU_Sender_Start_New_Sending
Large_Data_Transfer.Sender_State.The_State.State (Object)
Declared as: State_Type := State_Type'(Super_State => Idle)
Set [large_data_transfer-sender_state.ads, 511] Large_Data_Transfer.Sender_State.The_State
Declare [large_data_transfer-sender_state.ads, 511] Large_Data_Transfer.Sender_State.The_State
Large_Data_Transfer.Sender_State.The_State.TC_Request_Abort_Downlink.Request_Success (Parameter)
Declared as: out Boolean
Spec [large_data_transfer-sender_state.ads, 414] Large_Data_Transfer.Sender_State.The_State.TC_Request_Abort_Downlink
Large_Data_Transfer.Sender_State.The_State.TC_Request_Abort_Downlink.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender_state.ads, 413] Large_Data_Transfer.Sender_State.The_State.TC_Request_Abort_Downlink
Large_Data_Transfer.Sender_State.The_State.TC_Request_Downlink_Reception_Acknowledgement.Request_Success (Parameter)
Declared as: out Boolean
Spec [large_data_transfer-sender_state.ads, 441] Large_Data_Transfer.Sender_State.The_State.TC_Request_Downlink_Reception_Acknowledgement
Large_Data_Transfer.Sender_State.The_State.TC_Request_Downlink_Reception_Acknowledgement.Sequence_Number (Parameter)
Declared as: in Large_Data_Transfer_Types.Sequence_Number
Spec [large_data_transfer-sender_state.ads, 438] Large_Data_Transfer.Sender_State.The_State.TC_Request_Downlink_Reception_Acknowledgement
Large_Data_Transfer.Sender_State.The_State.TC_Request_Downlink_Reception_Acknowledgement.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender_state.ads, 437] Large_Data_Transfer.Sender_State.The_State.TC_Request_Downlink_Reception_Acknowledgement
Large_Data_Transfer.Sender_State.The_State.TC_Request_Repeat_Parts.Parts (Parameter)
Declared as: in Sequence_Numbers
Spec [large_data_transfer-sender_state.ads, 425] Large_Data_Transfer.Sender_State.The_State.TC_Request_Repeat_Parts
Large_Data_Transfer.Sender_State.The_State.TC_Request_Repeat_Parts.Request_Success (Parameter)
Declared as: out Boolean
Spec [large_data_transfer-sender_state.ads, 426] Large_Data_Transfer.Sender_State.The_State.TC_Request_Repeat_Parts
Large_Data_Transfer.Sender_State.The_State.TC_Request_Repeat_Parts.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-sender_state.ads, 424] Large_Data_Transfer.Sender_State.The_State.TC_Request_Repeat_Parts
Large_Data_Transfer.Sender_State.The_State.Timeout.Abs_Timeout_Time (Parameter)
Declared as: in Ada.Real_Time.Time
Spec [large_data_transfer-sender_state.ads, 452] Large_Data_Transfer.Sender_State.The_State.Timeout
Large_Data_Transfer.Sender_State.The_State.Timeout_Info (Object)
Declared as: Large_Data_Transfer.Sender_Timeout
Declare [large_data_transfer-sender_state.ads, 514] Large_Data_Transfer.Sender_State.The_State
Large_Data_Transfer.Sender_State.Timeout_Interval_In_Milliseconds (Parameter)
Declared as: in Positive
Formal [large_data_transfer-sender_state.ads, 84] Large_Data_Transfer.Sender_State
Large_Data_Transfer.Sender_State.Unparse_Sender_Reason_Code.Reason_Code (Parameter)
Declared as: in Sender_Reason_Code
Spec [large_data_transfer-sender_state.ads, 327] Large_Data_Transfer.Sender_State.Unparse_Sender_Reason_Code
Large_Data_Transfer.Sender_Timeout.Ldt_APID (Component)
Declared as: Mission_Parameters.APID
Declare [large_data_transfer.ads, 236] Large_Data_Transfer.Sender_Timeout
Large_Data_Transfer.Sender_Timeout.SDU_Receiver_APID (Component)
Declared as: Mission_Parameters.APID
Declare [large_data_transfer.ads, 238] Large_Data_Transfer.Sender_Timeout
Large_Data_Transfer.Sender_Timeout.Service_Name (Component)
Declared as: PUS_Data_Types.Service_Name
Declare [large_data_transfer.ads, 240] Large_Data_Transfer.Sender_Timeout
Large_Data_Transfer.Sequence_Number_List_Length (Parameter)
Declared as: in Positive
Formal [large_data_transfer.ads, 113] Large_Data_Transfer
Use [large_data_transfer.ads, 136] Large_Data_Transfer.Sequence_Number_List_Range
Large_Data_Transfer.Service.Handle_PUS_Packet.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer-service.ads, 140] Large_Data_Transfer.Service.Handle_PUS_Packet
Large_Data_Transfer.Service.Large_Data_Transfer_Receiver_Handle_TC_Packet.PUS_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Formal [large_data_transfer-service.ads, 73] Large_Data_Transfer.Service.Large_Data_Transfer_Receiver_Handle_TC_Packet
Large_Data_Transfer.Service.Large_Data_Transfer_Sender_Deposit_TM_Packet.PUS_Packet (Parameter)
Declared as: in PUS.Optional_PUS_Packet
Formal [large_data_transfer-service.ads, 93] Large_Data_Transfer.Service.Large_Data_Transfer_Sender_Deposit_TM_Packet
Large_Data_Transfer.Service.Large_Data_Transfer_Sender_Handle_TC_Packet.PUS_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Formal [large_data_transfer-service.ads, 87] Large_Data_Transfer.Service.Large_Data_Transfer_Sender_Handle_TC_Packet
Large_Data_Transfer.Service.Optional_Deposit.PUS_Packet (Parameter)
Declared as: in PUS.Optional_PUS_Packet
Spec [large_data_transfer-service.ads, 172] Large_Data_Transfer.Service.Optional_Deposit
Large_Data_Transfer.TC_Stage_Verification.Stage (Parameter)
Declared as: in PUS_Data_Types.Ack_Stages
Spec [large_data_transfer.ads, 356] Large_Data_Transfer.TC_Stage_Verification
Large_Data_Transfer.TC_Stage_Verification.Status (Parameter)
Declared as: in Verification_Types.Verification_Status
Spec [large_data_transfer.ads, 357] Large_Data_Transfer.TC_Stage_Verification
Large_Data_Transfer.TC_Stage_Verification.TC (Parameter)
Declared as: in PUS.PUS_Packet
Spec [large_data_transfer.ads, 355] Large_Data_Transfer.TC_Stage_Verification
Large_Data_Transfer_Mission_Parameters.Max_Packet_Data_Field_Byte_Size (Constant)
Declared as: constant := Max_Packet_Length_Field_Value + 1
Set [large_data_transfer_mission_parameters.ads, 244] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 244] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 259] Large_Data_Transfer_Mission_Parameters.Max_SDU_Byte_Size
Large_Data_Transfer_Mission_Parameters.Max_Packet_Length_Field_Value (Constant)
Declared as: constant := External_PUS_Data_Types.Length_Type'last
Set [large_data_transfer_mission_parameters.ads, 226] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 226] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 245] Large_Data_Transfer_Mission_Parameters.Max_Packet_Data_Field_Byte_Size
Large_Data_Transfer_Mission_Parameters.Max_SDU_Byte_Size (Constant)
Declared as: constant := SDU_Unit_Type_Byte_Size + Packet_Header_Byte_Size + Max_Packet_Data_Field_Byte_Size
Set [large_data_transfer_mission_parameters.ads, 257] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 257] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer.ads, 155] Large_Data_Transfer.Max_SDU_Parts
Use [large_data_transfer.ads, 163] Large_Data_Transfer.Optional_SDU_Byte_Range
Large_Data_Transfer_Mission_Parameters.Max_SDU_Part_TM_Packet_Data_Bit_Size (Constant)
Declared as: constant := Max_TM_Packet_Data_Bit_Size
Set [large_data_transfer_mission_parameters.ads, 213] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 213] Large_Data_Transfer_Mission_Parameters
Use [external_large_data_transfer_types.ads, 181] External_Large_Data_Transfer_Types.Max_SDU_Part_Bit_Size
Large_Data_Transfer_Mission_Parameters.Max_TM_Packet_Data_Bit_Size (Constant)
Declared as: constant := Max_TM_Packet_Data_Field_Bit_Size - TM_Data_Field_Header_Bit_Size - TM_Packet_Error_Control_Field_Bit_Size
Set [large_data_transfer_mission_parameters.ads, 204] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 204] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 214] Large_Data_Transfer_Mission_Parameters.Max_SDU_Part_TM_Packet_Data_Bit_Size
Large_Data_Transfer_Mission_Parameters.Max_TM_Packet_Data_Field_Bit_Size (Constant)
Declared as: constant := Max_TM_Packet_Data_Field_Byte_Size * Basic_Types.Byte_Size
Set [large_data_transfer_mission_parameters.ads, 178] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 178] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 205] Large_Data_Transfer_Mission_Parameters.Max_TM_Packet_Data_Bit_Size
Large_Data_Transfer_Mission_Parameters.Max_TM_Packet_Data_Field_Byte_Size (Constant)
Declared as: constant := TM_Packet_Data_Field_Max_Bit_Length / Basic_Types.Byte_Size
Set [large_data_transfer_mission_parameters.ads, 173] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 173] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 179] Large_Data_Transfer_Mission_Parameters.Max_TM_Packet_Data_Field_Bit_Size
Large_Data_Transfer_Mission_Parameters.Packet_Header_Bit_Size (Constant)
Declared as: constant := External_PUS_Data_Types.Packet_Header_Size
Set [large_data_transfer_mission_parameters.ads, 154] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 154] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 160] Large_Data_Transfer_Mission_Parameters.TM_Packet_Data_Field_Max_Bit_Length
Large_Data_Transfer_Mission_Parameters.Packet_Header_Byte_Size (Constant)
Declared as: constant := (External_PUS_Data_Types.Packet_Header_Size - 1) / Basic_Types.Byte_Size + 1
Set [large_data_transfer_mission_parameters.ads, 247] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 247] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 258] Large_Data_Transfer_Mission_Parameters.Max_SDU_Byte_Size
Large_Data_Transfer_Mission_Parameters.SDU_Unit_Type_Byte_Size (Constant)
Declared as: constant := (External_PUS_Data_Types.SDU_Unit_Type'size - 1) / Basic_Types.Byte_Size + 1
Set [large_data_transfer_mission_parameters.ads, 252] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 252] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 258] Large_Data_Transfer_Mission_Parameters.Max_SDU_Byte_Size
Large_Data_Transfer_Mission_Parameters.TM_Data_Field_Header_Bit_Size (Constant)
Declared as: constant := External_PUS_Data_Types.TM_Data_Field_Header_Size
Set [large_data_transfer_mission_parameters.ads, 183] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 183] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 206] Large_Data_Transfer_Mission_Parameters.Max_TM_Packet_Data_Bit_Size
Large_Data_Transfer_Mission_Parameters.TM_Packet_Data_Field_Max_Bit_Length (Constant)
Declared as: constant := Tmpkt_Max_Bit_Length - Packet_Header_Bit_Size
Set [large_data_transfer_mission_parameters.ads, 158] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 158] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 174] Large_Data_Transfer_Mission_Parameters.Max_TM_Packet_Data_Field_Byte_Size
Large_Data_Transfer_Mission_Parameters.TM_Packet_Error_Control_Field_Bit_Size (Constant)
Declared as: constant := Mission_Parameters.TM_Packet_Error_Control_Field_Byte_Size * Basic_Types.Byte_Size
Set [large_data_transfer_mission_parameters.ads, 188] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 188] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 207] Large_Data_Transfer_Mission_Parameters.Max_TM_Packet_Data_Bit_Size
Large_Data_Transfer_Mission_Parameters.Tmpkt_Max_Bit_Length (Constant)
Declared as: constant := Mission_Parameters.Tmpkt_Max_Length * Basic_Types.Byte_Size
Set [large_data_transfer_mission_parameters.ads, 149] Large_Data_Transfer_Mission_Parameters
Declare [large_data_transfer_mission_parameters.ads, 149] Large_Data_Transfer_Mission_Parameters
Use [large_data_transfer_mission_parameters.ads, 159] Large_Data_Transfer_Mission_Parameters.TM_Packet_Data_Field_Max_Bit_Length
Large_Data_Transfer_Parser.Less_Than_One_Padding_Byte_Left.Read_Stream (Parameter)
Declared as: in Source_Data_Stream.Read_Stream
Spec [large_data_transfer_parser.ads, 111] Large_Data_Transfer_Parser.Less_Than_One_Padding_Byte_Left
Large_Data_Transfer_Parser.Parse_List.Parsed_List (Parameter)
Declared as: out List
Spec [large_data_transfer_parser.ads, 157] Large_Data_Transfer_Parser.Parse_List
Large_Data_Transfer_Parser.Parse_List.Parsed_List_Count (Parameter)
Declared as: out List_Range
Spec [large_data_transfer_parser.ads, 156] Large_Data_Transfer_Parser.Parse_List
Large_Data_Transfer_Parser.Parse_List.Src_Data (Parameter)
Declared as: in out Source_Data_Stream.Read_Stream
Spec [large_data_transfer_parser.ads, 155] Large_Data_Transfer_Parser.Parse_List
Large_Data_Transfer_Parser.Parse_Sequence_Number.Parsed_Sequence_Number (Parameter)
Declared as: out Large_Data_Transfer_Types.Sequence_Number
Spec [large_data_transfer_parser.ads, 134] Large_Data_Transfer_Parser.Parse_Sequence_Number
Large_Data_Transfer_Parser.Parse_Sequence_Number.Src_Data (Parameter)
Declared as: in out Source_Data_Stream.Read_Stream
Spec [large_data_transfer_parser.ads, 133] Large_Data_Transfer_Parser.Parse_Sequence_Number
Large_Data_Transfer_Parser.Parse_Service_Subtype.Service_Subtype (Parameter)
Declared as: in PUS_Data_Types.Service_Subtype
Spec [large_data_transfer_parser.ads, 168] Large_Data_Transfer_Parser.Parse_Service_Subtype
Large_Data_Transfer_Parser.Read_Stream_Is_Empty.Read_Stream (Parameter)
Declared as: in Source_Data_Stream.Read_Stream
Spec [large_data_transfer_parser.ads, 98] Large_Data_Transfer_Parser.Read_Stream_Is_Empty
Large_Data_Transfer_Parser.Unparse_Service_Subtype.Service_Subtype (Parameter)
Declared as: in Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Spec [large_data_transfer_parser.ads, 179] Large_Data_Transfer_Parser.Unparse_Service_Subtype
Large_Data_Transfer_Types.Current_Uplink_Aborted_Report_ID (Constant)
Declared as: constant Event_Reporting_Types.Report_ID := Event_Reporting_Types.Current_Uplink_Aborted
Set [large_data_transfer_types.ads, 151] Large_Data_Transfer_Types
Declare [large_data_transfer_types.ads, 151] Large_Data_Transfer_Types
Large_Data_Transfer_Types.Current_Uplink_Aborted_Reporting_Level (Constant)
Declared as: constant Event_Reporting_Types.Reporting_Level := Event_Reporting_Types.Low
Set [large_data_transfer_types.ads, 147] Large_Data_Transfer_Types
Declare [large_data_transfer_types.ads, 147] Large_Data_Transfer_Types
Large_Data_Transfer_Types.Event_Report_Receiver_APID (Constant)
Declared as: constant Mission_Parameters.Destination_ID := Mission_Parameters.Ground
Set [large_data_transfer_types.ads, 131] Large_Data_Transfer_Types
Declare [large_data_transfer_types.ads, 131] Large_Data_Transfer_Types
Large_Data_Transfer_Types.Large_Data_Transfer_Service (Constant)
Declared as: constant PUS_Data_Types.Service_Type := PUS_Data_Types.Large_Data_Transfer
Set [large_data_transfer_types.ads, 78] Large_Data_Transfer_Types
Declare [large_data_transfer_types.ads, 78] Large_Data_Transfer_Types
Large_Data_Transfer_Types.SDU_Conversion_Failure_Report_ID (Constant)
Declared as: constant Event_Reporting_Types.Report_ID := Event_Reporting_Types.SDU_Conversion_Failure_Report
Set [large_data_transfer_types.ads, 140] Large_Data_Transfer_Types
Declare [large_data_transfer_types.ads, 140] Large_Data_Transfer_Types
Large_Data_Transfer_Types.SDU_Conversion_Failure_Reporting_Level (Constant)
Declared as: constant Event_Reporting_Types.Reporting_Level := Event_Reporting_Types.Low
Set [large_data_transfer_types.ads, 136] Large_Data_Transfer_Types
Declare [large_data_transfer_types.ads, 136] Large_Data_Transfer_Types
Large_Data_Transfer_Types.TM_Report_Receiver_APID (Constant)
Declared as: constant Mission_Parameters.APID := Mission_Parameters.Ground
Set [large_data_transfer_types.ads, 127] Large_Data_Transfer_Types
Declare [large_data_transfer_types.ads, 127] Large_Data_Transfer_Types