Type Cross Reference
Large_Data_Transfer.Optional_Part_Byte_Range (Type)
Declared as: Natural range 0 .. Part_Byte_Length
Declare [large_data_transfer.ads, 172] Large_Data_Transfer
Type [large_data_transfer-sdu_parts.ads, 148] Large_Data_Transfer.SDU_Parts.Add_Part.Byte_Length
Type [large_data_transfer-sdu_parts.ads, 180] Large_Data_Transfer.SDU_Parts.Add_Missing_Part.Byte_Length
Large_Data_Transfer.Optional_Part_Range (Type)
Declared as: Large_Data_Transfer_Types.Sequence_Number range 0 .. Max_SDU_Parts
Declare [large_data_transfer.ads, 178] Large_Data_Transfer
Type [large_data_transfer.ads, 182] Large_Data_Transfer.Part_Range
Ref [large_data_transfer.ads, 182] Large_Data_Transfer.Part_Range
Type [large_data_transfer-receiver_state.ads, 294] Large_Data_Transfer.Receiver_State.State_Type.Missing_Part_Count
Type [large_data_transfer-sender_state.ads, 80] Large_Data_Transfer.Sender_State.Max_Resend_Queue_Length
Type [large_data_transfer-sender.ads, 113] Large_Data_Transfer.Sender.Max_Resend_Queue_Length
Ref [large_data_transfer-sender.ads, 114] Large_Data_Transfer.Sender.Max_Resend_Queue_Length
Large_Data_Transfer.Optional_SDU_Byte_Range (Type)
Declared as: Natural range 0 .. Large_Data_Transfer_Mission_Parameters.Max_SDU_Byte_Size
Declare [large_data_transfer.ads, 161] Large_Data_Transfer
Type [large_data_transfer.ads, 166] Large_Data_Transfer.SDU_Byte_Range
Ref [large_data_transfer.ads, 166] Large_Data_Transfer.SDU_Byte_Range
Large_Data_Transfer.Part_Range (Type)
Declared as: Optional_Part_Range range 1 .. Optional_Part_Range'last
Declare [large_data_transfer.ads, 181] Large_Data_Transfer
Ref [large_data_transfer.ads, 188] Large_Data_Transfer.First_Part_Sequence_Number
Type [large_data_transfer-receiver_state.ads, 283] Large_Data_Transfer.Receiver_State.State_Type.First_Part
Type [large_data_transfer-receiver_state.ads, 288] Large_Data_Transfer.Receiver_State.State_Type.Next_Part
Type [large_data_transfer-receiver_state.ads, 297] Large_Data_Transfer.Receiver_State.State_Type.Last_Part
Type [large_data_transfer-sdu_parts.ads, 109] Large_Data_Transfer.SDU_Parts.Missing_Parts_Array
Type [large_data_transfer-sdu_parts.ads, 146] Large_Data_Transfer.SDU_Parts.Add_Part.Part
Type [large_data_transfer-sdu_parts.ads, 161] Large_Data_Transfer.SDU_Parts.Add_Part_As_Missing.Part
Type [large_data_transfer-sdu_parts.ads, 178] Large_Data_Transfer.SDU_Parts.Add_Missing_Part.Part
Type [large_data_transfer-sdu_parts.ads, 192] Large_Data_Transfer.SDU_Parts.Assemble_SDU_Byte_Array.Last_Part
Type [large_data_transfer-sdu_parts.ads, 204] Large_Data_Transfer.SDU_Parts.Get_Missing_Parts.Last_Part
Type [large_data_transfer-sender_state.ads, 230] Large_Data_Transfer.Sender_State.Sender_Part_Count_Range
Ref [large_data_transfer-sender_state.ads, 231] Large_Data_Transfer.Sender_State.Sender_Part_Count_Range
Ref [large_data_transfer-sender_state.ads, 232] Large_Data_Transfer.Sender_State.Sender_Part_Count_Range
Type [large_data_transfer-sender_state.ads, 273] Large_Data_Transfer.Sender_State.SDU_Response.Part
Type [large_data_transfer-sender_state.ads, 371] Large_Data_Transfer.Sender_State.State_Type.Sending_Part
Type [large_data_transfer-sender_state.ads, 373] Large_Data_Transfer.Sender_State.State_Type.Sending_Part_Count
Type [large_data_transfer-sender_state.ads, 378] Large_Data_Transfer.Sender_State.State_Type.Resending_Part
Type [large_data_transfer-sender_state.ads, 380] Large_Data_Transfer.Sender_State.State_Type.Resending_Part_Count
Type [large_data_transfer-sender_state.ads, 384] Large_Data_Transfer.Sender_State.State_Type.Waiting_Part_Count
Type [large_data_transfer-sender_state.ads, 538] Large_Data_Transfer.Sender_State.The_State.Go_Sending.Sender_Part_Count
Type [large_data_transfer-sender_state.ads, 548] Large_Data_Transfer.Sender_State.The_State.Go_Resending.Sender_Part_Count
Type [large_data_transfer-sender_state.ads, 558] Large_Data_Transfer.Sender_State.The_State.Go_Waiting_For_Ack.Sender_Part_Count
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Part_Count_Range
Ref [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Part_Count_Range
Ref [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Part_Count_Range
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response.Part
Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code (Type Enumeration)
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State
Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code.Illegal_Command_Waiting_For_Part (Enumeration Literal)
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code.Illegal_Part_Sequence_Number (Enumeration Literal)
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code.Receiver_Logic_Error (Enumeration Literal)
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code.Repeated_Part_Errorneous (Enumeration Literal)
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code.Timeout_Waiting_For_Part (Enumeration Literal)
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Abort_Reception_Of_Uplinked_Data (Abstract Type)
Declared as: new TC_Request_Base
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_First_Uplink_Part (Abstract Type)
Declared as: new TC_Request_Accept_Part_Base
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Intermediate_Uplink_Part (Abstract Type)
Declared as: new TC_Request_Accept_Part_Base
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Last_Uplink_Part (Abstract Type)
Declared as: new TC_Request_Accept_Part_Base
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Part_Base (Abstract Type)
Declared as: new TC_Request_Base
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State
Derive [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_First_Uplink_Part
Derive [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Intermediate_Uplink_Part
Derive [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Last_Uplink_Part
Derive [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Repeated_Part
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Repeated_Part (Abstract Type)
Declared as: new TC_Request_Accept_Part_Base
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Base (Abstract Type)
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State
Derive [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Part_Base
Derive [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Abort_Reception_Of_Uplinked_Data
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_State.TC_Request
Type [large_data_transfer-receiver-tc_parser.ads, 83] Large_Data_Transfer.Receiver.TC_Parser.Parse_TC
Type [large_data_transfer-receiver-tc_handler.ads, 89] Large_Data_Transfer.Receiver.TC_Handler.The_TC_Parser.Parse_TC
Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Part_Data (Type Record)
Instantiation [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Accept_Part_Base.Part
Large_Data_Transfer.Receiver_State.Receiver_Reason_Code (Type Enumeration)
Declare [large_data_transfer-receiver_state.ads, 216] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 244] Large_Data_Transfer.Receiver_State.Unparse_Receiver_Reason_Code.Reason_Code
Type [large_data_transfer-receiver_state.ads, 255] Large_Data_Transfer.Receiver_State.Reception_Abort_Report.Reason_Code
Large_Data_Transfer.Receiver_State.Receiver_Reason_Code.Illegal_Command_Waiting_For_Part (Enumeration Literal)
Declare [large_data_transfer-receiver_state.ads, 218] Large_Data_Transfer.Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver_State.Receiver_Reason_Code.Illegal_Part_Sequence_Number (Enumeration Literal)
Declare [large_data_transfer-receiver_state.ads, 219] Large_Data_Transfer.Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver_State.Receiver_Reason_Code.Receiver_Logic_Error (Enumeration Literal)
Declare [large_data_transfer-receiver_state.ads, 221] Large_Data_Transfer.Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver_State.Receiver_Reason_Code.Repeated_Part_Errorneous (Enumeration Literal)
Declare [large_data_transfer-receiver_state.ads, 220] Large_Data_Transfer.Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver_State.Receiver_Reason_Code.Timeout_Waiting_For_Part (Enumeration Literal)
Declare [large_data_transfer-receiver_state.ads, 217] Large_Data_Transfer.Receiver_State.Receiver_Reason_Code
Large_Data_Transfer.Receiver_State.State_Type (Type Record)
Declare [large_data_transfer-receiver_state.ads, 279] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 399] Large_Data_Transfer.Receiver_State.The_State.State
Ref [large_data_transfer-receiver_state.ads, 400] Large_Data_Transfer.Receiver_State.The_State.State
Large_Data_Transfer.Receiver_State.Super_State_Type (Type Enumeration)
Declare [large_data_transfer-receiver_state.ads, 266] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 279] Large_Data_Transfer.Receiver_State.State_Type.Super_State
Large_Data_Transfer.Receiver_State.Super_State_Type.Idle (Enumeration Literal)
Ref [large_data_transfer-receiver_state.ads, 282] Large_Data_Transfer.Receiver_State
Declare [large_data_transfer-receiver_state.ads, 267] Large_Data_Transfer.Receiver_State.Super_State_Type
Ref [large_data_transfer-receiver_state.ads, 279] Large_Data_Transfer.Receiver_State.State_Type.Super_State
Ref [large_data_transfer-receiver_state.ads, 401] Large_Data_Transfer.Receiver_State.The_State.State
Large_Data_Transfer.Receiver_State.Super_State_Type.Receiving (Enumeration Literal)
Ref [large_data_transfer-receiver_state.ads, 285] Large_Data_Transfer.Receiver_State
Declare [large_data_transfer-receiver_state.ads, 268] Large_Data_Transfer.Receiver_State.Super_State_Type
Large_Data_Transfer.Receiver_State.Super_State_Type.Receiving_Repeated (Enumeration Literal)
Ref [large_data_transfer-receiver_state.ads, 290] Large_Data_Transfer.Receiver_State
Declare [large_data_transfer-receiver_state.ads, 269] Large_Data_Transfer.Receiver_State.Super_State_Type
Large_Data_Transfer.Receiver_State.TC_Request_Abort_Reception_Of_Uplinked_Data (Abstract Type)
Declared as: new TC_Request_Base
Declare [large_data_transfer-receiver_state.ads, 205] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 210] Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver_State.TC_Request_Accept_First_Uplink_Part (Abstract Type)
Declared as: new TC_Request_Accept_Part_Base
Declare [large_data_transfer-receiver_state.ads, 168] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 173] Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver_State.TC_Request_Accept_Intermediate_Uplink_Part (Abstract Type)
Declared as: new TC_Request_Accept_Part_Base
Declare [large_data_transfer-receiver_state.ads, 177] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 183] Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver_State.TC_Request_Accept_Last_Uplink_Part (Abstract Type)
Declared as: new TC_Request_Accept_Part_Base
Declare [large_data_transfer-receiver_state.ads, 187] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 192] Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver_State.TC_Request_Accept_Part_Base (Abstract Type)
Declared as: new TC_Request_Base
Declare [large_data_transfer-receiver_state.ads, 160] Large_Data_Transfer.Receiver_State
Derive [large_data_transfer-receiver_state.ads, 168] Large_Data_Transfer.Receiver_State.TC_Request_Accept_First_Uplink_Part
Derive [large_data_transfer-receiver_state.ads, 178] Large_Data_Transfer.Receiver_State.TC_Request_Accept_Intermediate_Uplink_Part
Derive [large_data_transfer-receiver_state.ads, 187] Large_Data_Transfer.Receiver_State.TC_Request_Accept_Last_Uplink_Part
Derive [large_data_transfer-receiver_state.ads, 196] Large_Data_Transfer.Receiver_State.TC_Request_Accept_Repeated_Part
Large_Data_Transfer.Receiver_State.TC_Request_Accept_Repeated_Part (Abstract Type)
Declared as: new TC_Request_Accept_Part_Base
Declare [large_data_transfer-receiver_state.ads, 196] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 201] Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request
Large_Data_Transfer.Receiver_State.TC_Request_Base (Abstract Type)
Declare [large_data_transfer-receiver_state.ads, 126] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 142] Large_Data_Transfer.Receiver_State.TC_Request_State.TC_Request
Derive [large_data_transfer-receiver_state.ads, 160] Large_Data_Transfer.Receiver_State.TC_Request_Accept_Part_Base
Derive [large_data_transfer-receiver_state.ads, 205] Large_Data_Transfer.Receiver_State.TC_Request_Abort_Reception_Of_Uplinked_Data
Large_Data_Transfer.Receiver_State.TC_Request_Part_Data (Type Record)
Declare [large_data_transfer-receiver_state.ads, 151] Large_Data_Transfer.Receiver_State
Type [large_data_transfer-receiver_state.ads, 162] Large_Data_Transfer.Receiver_State.TC_Request_Accept_Part_Base.Part
Type [large_data_transfer-receiver_state.ads, 328] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_First_Uplink_Part.Part
Type [large_data_transfer-receiver_state.ads, 340] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Intermediate_Uplink_Part.Part
Type [large_data_transfer-receiver_state.ads, 352] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Last_Uplink_Part.Part
Type [large_data_transfer-receiver_state.ads, 364] Large_Data_Transfer.Receiver_State.The_State.TC_Request_Accept_Repeated_Part.Part
Large_Data_Transfer.Receiver_Timeout (Type Record)
Declare [large_data_transfer.ads, 210] Large_Data_Transfer
Type [large_data_transfer.ads, 219] Large_Data_Transfer.Default_Receiver_Timeout_Handler.Timeout
Type [large_data_transfer-receiver_state.ads, 93] Large_Data_Transfer.Receiver_State.Receiver_Timeout_Handler.Timeout
Type [large_data_transfer-receiver_state.ads, 405] Large_Data_Transfer.Receiver_State.The_State.Timeout_Info
Type [large_data_transfer-receiver.ads, 103] Large_Data_Transfer.Receiver.Receiver_Timeout_Handler.Timeout
Large_Data_Transfer.SDU_Byte_Range (Type)
Declared as: Optional_SDU_Byte_Range range 1 .. Optional_SDU_Byte_Range'last
Declare [large_data_transfer.ads, 165] Large_Data_Transfer
Large_Data_Transfer.SDU_Parts.Missing_Parts_Array (Type)
Declared as: array (Natural range <>) of Large_Data_Transfer.Part_Range
Declare [large_data_transfer-sdu_parts.ads, 109] Large_Data_Transfer.SDU_Parts
Type [large_data_transfer-sdu_parts.ads, 205] Large_Data_Transfer.SDU_Parts.Get_Missing_Parts
Large_Data_Transfer.Sender.The_Sender_State.SDU_Response (Type Record)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Request.Response
Large_Data_Transfer.Sender.The_Sender_State.SDU_Response_Type (Type Enumeration)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response.Response
Large_Data_Transfer.Sender.The_Sender_State.SDU_Response_Type.End_Sending (Enumeration Literal)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response_Type
Large_Data_Transfer.Sender.The_Sender_State.SDU_Response_Type.Send_Part (Enumeration Literal)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response_Type
Large_Data_Transfer.Sender.The_Sender_State.Sender_Part_Count_Range (Type)
Declared as: Large_Data_Transfer.Part_Range range Large_Data_Transfer.Part_Range'first + 1 .. Large_Data_Transfer.Part_Range'last
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Sender_Start_New_Sending.Part_Count
Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code (Type Enumeration)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Sender_Error_Report.Reason
Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code.Illegal_Part_From_Sender_State (Enumeration Literal)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code.Part_Packet_Allocation_Failed (Enumeration Literal)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code.Part_Packet_Deposit_Failed (Enumeration Literal)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code.Part_Stream_Allocation_Failed (Enumeration Literal)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code.Reception_Acknowledge_Timeout (Enumeration Literal)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code.Sender_Logic_Error (Enumeration Literal)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code.Wrong_Sequence_Number_In_Acknowledge (Enumeration Literal)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender.The_Sender_State.Sequence_Numbers (Type Record)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Repeat_Parts.Parts
Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Abort_Downlink (Abstract Type)
Declared as: new TC_Request_Base
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State.TC_Request
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State.TC_Request
Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Base (Abstract Type)
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State
Derive [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Abort_Downlink
Derive [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Repeat_Parts
Derive [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Downlink_Reception_Acknowledgement
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State.TC_Request
Type [large_data_transfer-sender-tc_parser.ads, 85] Large_Data_Transfer.Sender.TC_Parser.Parse_TC
Type [large_data_transfer-sender-tc_handler.ads, 89] Large_Data_Transfer.Sender.TC_Handler.The_TC_Parser.Parse_TC
Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Downlink_Reception_Acknowledgement (Abstract Type)
Declared as: new TC_Request_Base
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State.TC_Request
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State.TC_Request
Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Repeat_Parts (Abstract Type)
Declared as: new TC_Request_Base
Instantiation [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State.TC_Request
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_State.TC_Request
Large_Data_Transfer.Sender_State.SDU_Response (Type Record)
Declare [large_data_transfer-sender_state.ads, 268] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 294] Large_Data_Transfer.Sender_State.SDU_Request.Response
Type [large_data_transfer-sender_state.ads, 487] Large_Data_Transfer.Sender_State.The_State.SDU_Request.Response
Large_Data_Transfer.Sender_State.SDU_Response_Type (Type Enumeration)
Declare [large_data_transfer-sender_state.ads, 252] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 268] Large_Data_Transfer.Sender_State.SDU_Response.Response
Large_Data_Transfer.Sender_State.SDU_Response_Type.End_Sending (Enumeration Literal)
Ref [large_data_transfer-sender_state.ads, 281] Large_Data_Transfer.Sender_State
Declare [large_data_transfer-sender_state.ads, 254] Large_Data_Transfer.Sender_State.SDU_Response_Type
Ref [large_data_transfer-sender_state.ads, 268] Large_Data_Transfer.Sender_State.SDU_Response.Response
Ref [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response.Response
Large_Data_Transfer.Sender_State.SDU_Response_Type.Send_Part (Enumeration Literal)
Ref [large_data_transfer-sender_state.ads, 271] Large_Data_Transfer.Sender_State
Declare [large_data_transfer-sender_state.ads, 253] Large_Data_Transfer.Sender_State.SDU_Response_Type
Large_Data_Transfer.Sender_State.Sender_Part_Count_Range (Type)
Declared as: Large_Data_Transfer.Part_Range range Large_Data_Transfer.Part_Range'first + 1 .. Large_Data_Transfer.Part_Range'last
Declare [large_data_transfer-sender_state.ads, 229] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 249] Large_Data_Transfer.Sender_State.SDU_Sender_Start_New_Sending.Part_Count
Type [large_data_transfer-sender_state.ads, 477] Large_Data_Transfer.Sender_State.The_State.SDU_Sender_Start_New_Sending.Sender_Part_Count
Large_Data_Transfer.Sender_State.Sender_Reason_Code (Type Enumeration)
Declare [large_data_transfer-sender_state.ads, 204] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 225] Large_Data_Transfer.Sender_State.SDU_Sender_Error_Report.Reason
Type [large_data_transfer-sender_state.ads, 327] Large_Data_Transfer.Sender_State.Unparse_Sender_Reason_Code.Reason_Code
Type [large_data_transfer-sender_state.ads, 338] Large_Data_Transfer.Sender_State.Downlink_Abort_Report.Reason_Code
Type [large_data_transfer-sender_state.ads, 462] Large_Data_Transfer.Sender_State.The_State.SDU_Sender_Error_Report.Reason
Large_Data_Transfer.Sender_State.Sender_Reason_Code.Illegal_Part_From_Sender_State (Enumeration Literal)
Declare [large_data_transfer-sender_state.ads, 210] Large_Data_Transfer.Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender_State.Sender_Reason_Code.Part_Packet_Allocation_Failed (Enumeration Literal)
Declare [large_data_transfer-sender_state.ads, 208] Large_Data_Transfer.Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender_State.Sender_Reason_Code.Part_Packet_Deposit_Failed (Enumeration Literal)
Declare [large_data_transfer-sender_state.ads, 209] Large_Data_Transfer.Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender_State.Sender_Reason_Code.Part_Stream_Allocation_Failed (Enumeration Literal)
Declare [large_data_transfer-sender_state.ads, 207] Large_Data_Transfer.Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender_State.Sender_Reason_Code.Reception_Acknowledge_Timeout (Enumeration Literal)
Declare [large_data_transfer-sender_state.ads, 206] Large_Data_Transfer.Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender_State.Sender_Reason_Code.Sender_Logic_Error (Enumeration Literal)
Declare [large_data_transfer-sender_state.ads, 211] Large_Data_Transfer.Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender_State.Sender_Reason_Code.Wrong_Sequence_Number_In_Acknowledge (Enumeration Literal)
Declare [large_data_transfer-sender_state.ads, 205] Large_Data_Transfer.Sender_State.Sender_Reason_Code
Large_Data_Transfer.Sender_State.Sequence_Numbers (Type Record)
Declare [large_data_transfer-sender_state.ads, 173] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 182] Large_Data_Transfer.Sender_State.TC_Request_Repeat_Parts.Parts
Type [large_data_transfer-sender_state.ads, 425] Large_Data_Transfer.Sender_State.The_State.TC_Request_Repeat_Parts.Parts
Large_Data_Transfer.Sender_State.State_Type (Type Record)
Declare [large_data_transfer-sender_state.ads, 365] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 511] Large_Data_Transfer.Sender_State.The_State.State
Ref [large_data_transfer-sender_state.ads, 511] Large_Data_Transfer.Sender_State.The_State.State
Large_Data_Transfer.Sender_State.Super_State_Type (Type Enumeration)
Declare [large_data_transfer-sender_state.ads, 352] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 365] Large_Data_Transfer.Sender_State.State_Type.Super_State
Large_Data_Transfer.Sender_State.Super_State_Type.Idle (Enumeration Literal)
Ref [large_data_transfer-sender_state.ads, 368] Large_Data_Transfer.Sender_State
Declare [large_data_transfer-sender_state.ads, 353] Large_Data_Transfer.Sender_State.Super_State_Type
Ref [large_data_transfer-sender_state.ads, 365] Large_Data_Transfer.Sender_State.State_Type.Super_State
Ref [large_data_transfer-sender_state.ads, 511] Large_Data_Transfer.Sender_State.The_State.State
Large_Data_Transfer.Sender_State.Super_State_Type.Resending (Enumeration Literal)
Ref [large_data_transfer-sender_state.ads, 377] Large_Data_Transfer.Sender_State
Declare [large_data_transfer-sender_state.ads, 355] Large_Data_Transfer.Sender_State.Super_State_Type
Large_Data_Transfer.Sender_State.Super_State_Type.Sending (Enumeration Literal)
Ref [large_data_transfer-sender_state.ads, 370] Large_Data_Transfer.Sender_State
Declare [large_data_transfer-sender_state.ads, 354] Large_Data_Transfer.Sender_State.Super_State_Type
Large_Data_Transfer.Sender_State.Super_State_Type.Waiting_For_Ack (Enumeration Literal)
Ref [large_data_transfer-sender_state.ads, 383] Large_Data_Transfer.Sender_State
Declare [large_data_transfer-sender_state.ads, 356] Large_Data_Transfer.Sender_State.Super_State_Type
Large_Data_Transfer.Sender_State.TC_Request_Abort_Downlink (Abstract Type)
Declared as: new TC_Request_Base
Declare [large_data_transfer-sender_state.ads, 164] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 169] Large_Data_Transfer.Sender_State.TC_Request_State.TC_Request
Large_Data_Transfer.Sender_State.TC_Request_Base (Abstract Type)
Declare [large_data_transfer-sender_state.ads, 141] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 156] Large_Data_Transfer.Sender_State.TC_Request_State.TC_Request
Derive [large_data_transfer-sender_state.ads, 164] Large_Data_Transfer.Sender_State.TC_Request_Abort_Downlink
Derive [large_data_transfer-sender_state.ads, 180] Large_Data_Transfer.Sender_State.TC_Request_Repeat_Parts
Derive [large_data_transfer-sender_state.ads, 191] Large_Data_Transfer.Sender_State.TC_Request_Downlink_Reception_Acknowledgement
Large_Data_Transfer.Sender_State.TC_Request_Downlink_Reception_Acknowledgement (Abstract Type)
Declared as: new TC_Request_Base
Declare [large_data_transfer-sender_state.ads, 191] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 198] Large_Data_Transfer.Sender_State.TC_Request_State.TC_Request
Large_Data_Transfer.Sender_State.TC_Request_Repeat_Parts (Abstract Type)
Declared as: new TC_Request_Base
Declare [large_data_transfer-sender_state.ads, 180] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 187] Large_Data_Transfer.Sender_State.TC_Request_State.TC_Request
Large_Data_Transfer.Sender_Timeout (Type Record)
Declare [large_data_transfer.ads, 234] Large_Data_Transfer
Type [large_data_transfer.ads, 246] Large_Data_Transfer.Default_Sender_Timeout_Handler.Timeout
Type [large_data_transfer-sender_state.ads, 89] Large_Data_Transfer.Sender_State.Sender_Timeout_Handler.Timeout
Type [large_data_transfer-sender_state.ads, 247] Large_Data_Transfer.Sender_State.SDU_Sender_Start_New_Sending.Timeout
Type [large_data_transfer-sender_state.ads, 475] Large_Data_Transfer.Sender_State.The_State.SDU_Sender_Start_New_Sending.Sender_Timeout
Type [large_data_transfer-sender_state.ads, 514] Large_Data_Transfer.Sender_State.The_State.Timeout_Info
Type [large_data_transfer-sender_state.ads, 537] Large_Data_Transfer.Sender_State.The_State.Go_Sending.Sender_Timeout
Type [large_data_transfer-sender.ads, 126] Large_Data_Transfer.Sender.Sender_Timeout_Handler.Timeout
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Sender_Start_New_Sending.Timeout
Large_Data_Transfer.Sequence_Number_List (Type)
Declared as: array (Sequence_Number_List_Range) of Large_Data_Transfer_Types.Sequence_Number
Declare [large_data_transfer.ads, 139] Large_Data_Transfer
Ref [large_data_transfer.ads, 340] Large_Data_Transfer.The_Parser
Type [large_data_transfer.ads, 338] Large_Data_Transfer.The_Parser.Parse_List.Parsed_List
Type [large_data_transfer-sender_state.ads, 176] Large_Data_Transfer.Sender_State.Sequence_Numbers.List
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sequence_Numbers.List
Large_Data_Transfer.Sequence_Number_List_Range (Type)
Declared as: Positive range 1 .. Sequence_Number_List_Length
Declare [large_data_transfer.ads, 135] Large_Data_Transfer
Ref [large_data_transfer.ads, 139] Large_Data_Transfer.Sequence_Number_List
Ref [large_data_transfer.ads, 339] Large_Data_Transfer.The_Parser
Type [large_data_transfer.ads, 338] Large_Data_Transfer.The_Parser.Parse_List.Parsed_List_Count
Type [large_data_transfer-sender_state.ads, 175] Large_Data_Transfer.Sender_State.Sequence_Numbers.Count
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.Sequence_Numbers.Count
Large_Data_Transfer_Parser.List (Type)
Declared as: array (List_Range) of Large_Data_Transfer_Types.Sequence_Number
Formal [large_data_transfer_parser.ads, 64] Large_Data_Transfer_Parser
Type [large_data_transfer_parser.ads, 157] Large_Data_Transfer_Parser.Parse_List.Parsed_List
Large_Data_Transfer_Parser.List_Range (Type)
Declared as: range <>
Formal [large_data_transfer_parser.ads, 61] Large_Data_Transfer_Parser
Ref [large_data_transfer_parser.ads, 64] Large_Data_Transfer_Parser.List
Type [large_data_transfer_parser.ads, 156] Large_Data_Transfer_Parser.Parse_List.Parsed_List_Count
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype (Type Enumeration)
Declare [large_data_transfer_types.ads, 89] Large_Data_Transfer_Types
Type [large_data_transfer_types.ads, 118] Large_Data_Transfer_Types.Sender_TM_Part_Subtype
Type [large_data_transfer_parser.ads, 169] Large_Data_Transfer_Parser.Parse_Service_Subtype
Type [large_data_transfer_parser.ads, 179] Large_Data_Transfer_Parser.Unparse_Service_Subtype.Service_Subtype
Type [large_data_transfer.ads, 338] Large_Data_Transfer.The_Parser.Parse_Service_Subtype
Type [large_data_transfer.ads, 338] Large_Data_Transfer.The_Parser.Unparse_Service_Subtype.Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Abort_Downlink (Enumeration Literal)
Declare [large_data_transfer_types.ads, 100] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Abort_Reception_Of_Uplinked_Data (Enumeration Literal)
Declare [large_data_transfer_types.ads, 107] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Accept_First_Uplink_Part (Enumeration Literal)
Declare [large_data_transfer_types.ads, 103] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Accept_Intermediate_Uplink_Part (Enumeration Literal)
Declare [large_data_transfer_types.ads, 104] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Accept_Last_Uplink_Part (Enumeration Literal)
Declare [large_data_transfer_types.ads, 105] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Accept_Repeated_Part (Enumeration Literal)
Declare [large_data_transfer_types.ads, 106] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Downlink_Abort_Report (Enumeration Literal)
Declare [large_data_transfer_types.ads, 96] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Downlink_Reception_Acknowledgement (Enumeration Literal)
Declare [large_data_transfer_types.ads, 98] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.First_Downlink_Part_Report (Enumeration Literal)
Declare [large_data_transfer_types.ads, 92] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Ref [large_data_transfer_types.ads, 119] Large_Data_Transfer_Types.Sender_TM_Part_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Intermediate_Downlink_Part_Report (Enumeration Literal)
Declare [large_data_transfer_types.ads, 93] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Last_Downlink_Part_Report (Enumeration Literal)
Declare [large_data_transfer_types.ads, 94] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Reception_Abort_Report (Enumeration Literal)
Declare [large_data_transfer_types.ads, 111] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Repeat_Parts (Enumeration Literal)
Declare [large_data_transfer_types.ads, 99] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Repeated_Part_Report (Enumeration Literal)
Declare [large_data_transfer_types.ads, 95] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Ref [large_data_transfer_types.ads, 119] Large_Data_Transfer_Types.Sender_TM_Part_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Unsuccessfully_Received_Parts_Report (Enumeration Literal)
Declare [large_data_transfer_types.ads, 110] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype.Uplink_Reception_Acknowledgement_Report (Enumeration Literal)
Declare [large_data_transfer_types.ads, 109] Large_Data_Transfer_Types.Large_Data_Transfer_Service_Subtype
Large_Data_Transfer_Types.Sender_TM_Part_Subtype (Type Enumeration)
Declared as: Large_Data_Transfer_Service_Subtype range First_Downlink_Part_Report .. Repeated_Part_Report
Declare [large_data_transfer_types.ads, 117] Large_Data_Transfer_Types
Type [large_data_transfer-sender_state.ads, 275] Large_Data_Transfer.Sender_State.SDU_Response.Service_Subtype
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.SDU_Response.Service_Subtype
Large_Data_Transfer_Types.Sequence_Number (Type)
Declared as: new Natural
Declare [large_data_transfer_types.ads, 156] Large_Data_Transfer_Types
Type [large_data_transfer_parser.ads, 65] Large_Data_Transfer_Parser.List
Type [large_data_transfer_parser.ads, 136] Large_Data_Transfer_Parser.Parse_Sequence_Number.Parsed_Sequence_Number
Type [large_data_transfer.ads, 140] Large_Data_Transfer.Sequence_Number_List
Type [large_data_transfer.ads, 179] Large_Data_Transfer.Optional_Part_Range
Type [large_data_transfer.ads, 338] Large_Data_Transfer.The_Parser.Parse_Sequence_Number.Parsed_Sequence_Number
Type [large_data_transfer-receiver_state.ads, 153] Large_Data_Transfer.Receiver_State.TC_Request_Part_Data.Number
Usetype [large_data_transfer-sender_state.ads, 227] Large_Data_Transfer.Sender_State
Type [large_data_transfer-sender_state.ads, 193] Large_Data_Transfer.Sender_State.TC_Request_Downlink_Reception_Acknowledgement.Sequence_Number
Type [large_data_transfer-sender_state.ads, 440] Large_Data_Transfer.Sender_State.The_State.TC_Request_Downlink_Reception_Acknowledgement.Sequence_Number
Type [large_data_transfer-receiver.ads, 168] Large_Data_Transfer.Receiver.The_Receiver_State.TC_Request_Part_Data.Number
Type [large_data_transfer-sender.ads, 230] Large_Data_Transfer.Sender.The_Sender_State.TC_Request_Downlink_Reception_Acknowledgement.Sequence_Number