Type Cross Reference
Basic_Types.Bit (Type)
Declared as: range 0 .. 1
Ref [basic_types.ads, 109] Basic_Types
Declare [basic_types.ads, 108] Basic_Types
Type [basic_types.ads, 111] Basic_Types.Bit_String
Type [parameter_representation.ads, 351] Parameter_Representation.Bit_String
Type [external_pus_data_types.ads, 102] External_PUS_Data_Types.Spare_Bit_Value
Basic_Types.Bit_Size (Type)
Declared as: new Natural
Declare [basic_types.ads, 116] Basic_Types
Type [basic_types.ads, 127] Basic_Types.Bit_Size_To_Byte_Size.Size_In_Bits
Type [cell_stream.ads, 91] Cell_Stream.Put.Type_Size
Type [cell_stream.ads, 92] Cell_Stream.Put.Object_Size
Type [cell_stream.ads, 118] Cell_Stream.Get.Type_Size
Type [cell_stream.ads, 119] Cell_Stream.Get.Object_Size
Type [source_data_manager.ads, 76] Source_Data_Manager.Allocation_Size
Type [source_data_stream.ads, 205] Source_Data_Stream.Put.Type_Size
Type [source_data_stream.ads, 206] Source_Data_Stream.Put.Object_Size
Type [source_data_stream.ads, 249] Source_Data_Stream.Get.Type_Size
Type [source_data_stream.ads, 250] Source_Data_Stream.Get.Object_Size
Type [source_data_stream.ads, 274] Source_Data_Stream.Bits_In_Stream
Type [source_data_stream.ads, 286] Source_Data_Stream.Bits_In_Stream
Type [payload-science_manager-image_representation.ads, 96] Payload.Science_Manager.Image_Representation.Derive_Image_Bit_Size
Usetype [large_data_transfer.ads, 93] Large_Data_Transfer
Basic_Types.Bit_String (Type)
Declared as: array (Bit_String_Index range <>) of Bit
Ref [basic_types.ads, 112] Basic_Types
Declare [basic_types.ads, 111] Basic_Types
Type [cell_package.ads, 57] Cell_Package.Cell
Derive [external_pus_data_types.ads, 101] External_PUS_Data_Types.Spare_Bits
Basic_Types.Bit_String_Index (Type)
Declared as: new Natural
Declare [basic_types.ads, 106] Basic_Types
Ref [basic_types.ads, 111] Basic_Types.Bit_String
Basic_Types.Bool (Type Enumeration)
Declared as: Boolean
Declare [basic_types.ads, 201] Basic_Types
Derive [parameter_representation.ads, 175] Parameter_Representation.Boolean_0
Basic_Types.Byte (Type)
Declared as: range 0 .. 2 ** Byte_Size - 1
Ref [basic_types.ads, 140] Basic_Types
Declare [basic_types.ads, 139] Basic_Types
Type [basic_types.ads, 206] Basic_Types.Octet
Type [basic_types.ads, 225] Basic_Types.Byte_Array
Type [payload-science_manager-image_representation.ads, 59] Payload.Science_Manager.Image_Representation.Pixel
Type [serial_interface.ads, 168] Serial_Interface.UART_Handler.Receive_Data.Data
Type [serial_interface-uart_interface.ads, 92] Serial_Interface.UART_Interface.Write_TX_Register.Data
Type [serial_interface-uart_interface.ads, 101] Serial_Interface.UART_Interface.Read_RX_Register
Type [power_conditioning_system-interfaces-pcu_simulator.ads, 19] Power_Conditioning_System.Interfaces.PCU_Simulator.System_Parameter_Value
Type [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Handler.Receive_Data.Data
Basic_Types.Byte_Array (Type)
Declared as: array (Natural range <>) of Byte
Ref [basic_types.ads, 226] Basic_Types
Declare [basic_types.ads, 225] Basic_Types
Type [basic_types.ads, 233] Basic_Types.On_Board_Coarse_Time
Type [basic_types.ads, 237] Basic_Types.On_Board_Fine_Time
Type [iso_checksum.ads, 55] ISO_Checksum.Checksum_Type
Type [iso_checksum.ads, 66] ISO_Checksum.Calculate_Checksum.Data
Type [iso_checksum.ads, 79] ISO_Checksum.Checksum_Ok.Data
Derive [external_on_board_clock.ads, 55] External_On_Board_Clock.Obt
Type [ground_if.ads, 81] Ground_IF.Receive.Data
Type [source_data_stream.ads, 174] Source_Data_Stream.Make_Stream_From_Image.Img
Type [source_data_stream.ads, 187] Source_Data_Stream.Make_Image_From_Stream
Type [source_data_stream.ads, 217] Source_Data_Stream.Put.Img
Type [source_data_stream.ads, 263] Source_Data_Stream.Get.Img
Derive [payload-science_manager-image_representation.ads, 72] Payload.Science_Manager.Image_Representation.Image_Row
Type [serial_interface.ads, 69] Serial_Interface.Forward_Data.Data
Type [serial_interface.ads, 102] Serial_Interface.Send.Data
Type [memory_management_types.ads, 102] Memory_Management_Types.Transform_Data_To_Byte_Array
Type [pus_state.ads, 498] PUS_State.Image_Put.Img
Type [pus_state.ads, 510] PUS_State.Image_Get.Img
Type [external_pus_state.ads, 84] External_PUS_State.Packet_Header_Byte_Array
Type [external_pus_state.ads, 94] External_PUS_State.SDU_Unit_Type_Byte_Array
Type [external_pus_state.ads, 216] External_PUS_State.Byte_Array_To_External_TC_Packet.Bytes
Type [external_pus_state.ads, 250] External_PUS_State.SDU_Byte_Array_To_External_TC_Packet.Bytes
Type [external_pus_state.ads, 282] External_PUS_State.Byte_Array_To_External_TM_Packet.Bytes
Type [external_pus_state.ads, 296] External_PUS_State.External_TC_Packet_To_Byte_Array
Type [external_pus_state.ads, 309] External_PUS_State.External_TM_Packet_To_Byte_Array
Type [external_pus_state.ads, 322] External_PUS_State.External_TM_Packet_To_SDU_Byte_Array
Type [external_application_process_if.ads, 79] External_Application_Process_IF.Sync_Word
Type [external_application_process_if.ads, 83] External_Application_Process_IF.Send.Data
Type [external_application_process_if.ads, 87] External_Application_Process_IF.Convert_From_External_To_PUS.Packet
Type [external_application_process_if.ads, 94] External_Application_Process_IF.Convert_From_PUS_To_External
Type [external_application_process_if.ads, 141] External_Application_Process_IF.Receive.Data
Type [up_down_link_parameters.ads, 132] Up_Down_Link_Parameters.Ground_Sync_Word
Type [up_down_link_parameters.ads, 146] Up_Down_Link_Parameters.Convert_From_Ground_External_To_PUS_Packet.Packet
Type [up_down_link_parameters.ads, 157] Up_Down_Link_Parameters.Convert_From_PUS_To_Ground_External_Packet
Type [up_down_link_bus.ads, 43] Up_Down_Link_Bus.Send.Data
Type [large_data_transfer-sdu_parts.ads, 193] Large_Data_Transfer.SDU_Parts.Assemble_SDU_Byte_Array
Basic_Types.Char (Type Enumeration)
Declared as: Character
Declare [basic_types.ads, 208] Basic_Types
Type [parameter_representation.ads, 387] Parameter_Representation.Character_String
Basic_Types.Double_Precision_Real (Type)
Declared as: new Long_Float
Declare [basic_types.ads, 195] Basic_Types
Basic_Types.DWord (Type Record)
Ref [basic_types.ads, 153] Basic_Types
Ref [basic_types.ads, 158] Basic_Types
Declare [basic_types.ads, 148] Basic_Types
Type [basic_types.ads, 170] Basic_Types.<.Dw_1
Type [basic_types.ads, 170] Basic_Types.<.Dw_2
Type [basic_types.ads, 173] Basic_Types.>.Dw_1
Type [basic_types.ads, 173] Basic_Types.>.Dw_2
Basic_Types.Enumerated (Type)
Declared as: Long_Integer
Declare [basic_types.ads, 202] Basic_Types
Basic_Types.IEEE_Double_Precision_Float (Type)
Declared as: new Long_Float
Declare [basic_types.ads, 219] Basic_Types
Derive [parameter_representation.ads, 340] Parameter_Representation.Real_2
Basic_Types.IEEE_Single_Precision_Float (Type)
Declared as: new Short_Float
Declare [basic_types.ads, 216] Basic_Types
Derive [parameter_representation.ads, 337] Parameter_Representation.Real_1
Basic_Types.Long_Integer (Type)
Declared as: new Standard.Integer
Declare [basic_types.ads, 133] Basic_Types
Type [basic_types.ads, 189] Basic_Types.Signed_DWord
Type [basic_types.ads, 202] Basic_Types.Enumerated
Type [basic_types.ads, 203] Basic_Types.Unsigned_Integer
Ref [basic_types.ads, 203] Basic_Types.Unsigned_Integer
Type [basic_types.ads, 204] Basic_Types.Signed_Integer
Type [basic_types.ads, 282] Basic_Types.Make_On_Board_Coarse_Time.I
Type [basic_types.ads, 285] Basic_Types.Make_On_Board_Fine_Time.I
Basic_Types.Nibble (Type)
Declared as: range 0 .. 2 ** Nibble_Size - 1
Ref [basic_types.ads, 137] Basic_Types
Declare [basic_types.ads, 136] Basic_Types
Basic_Types.Octet (Type)
Declared as: Byte
Declare [basic_types.ads, 206] Basic_Types
Type [parameter_representation.ads, 367] Parameter_Representation.Octet_String
Basic_Types.On_Board_Coarse_Time (Type)
Declared as: Byte_Array (1 .. On_Board_Coarse_Time_Byte_Size)
Declare [basic_types.ads, 232] Basic_Types
Type [basic_types.ads, 260] Basic_Types.On_Board_Time.Coarse_Time
Type [basic_types.ads, 283] Basic_Types.Make_On_Board_Coarse_Time
Derive [external_pus_data_types.ads, 495] External_PUS_Data_Types.External_Coarse_Time
Basic_Types.On_Board_Fine_Time (Type)
Declared as: Byte_Array (1 .. On_Board_Fine_Time_Byte_Size)
Declare [basic_types.ads, 236] Basic_Types
Type [basic_types.ads, 261] Basic_Types.On_Board_Time.Fine_Time
Type [basic_types.ads, 286] Basic_Types.Make_On_Board_Fine_Time
Type [basic_types.ads, 309] Basic_Types.Duration_To_Fine_Time
Derive [external_pus_data_types.ads, 497] External_PUS_Data_Types.External_Fine_Time
Basic_Types.On_Board_Time (Type Record)
Declare [basic_types.ads, 257] Basic_Types
Type [basic_types.ads, 269] Basic_Types.Relative_On_Board_Time
Type [basic_types.ads, 298] Basic_Types.Make_CUC_Representation_Conform
Type [basic_types.ads, 297] Basic_Types.Make_CUC_Representation_Conform.CUC_Time
Type [basic_types.ads, 319] Basic_Types.<.T1
Type [basic_types.ads, 319] Basic_Types.<.T2
Type [basic_types.ads, 333] Basic_Types.-.T2
Type [basic_types.ads, 333] Basic_Types.-.T1
Type [basic_types.ads, 350] Basic_Types.+
Type [basic_types.ads, 348] Basic_Types.+.T
Derive [parameter_representation.ads, 405] Parameter_Representation.PUS_Time
Type [pus_data_types.ads, 129] PUS_Data_Types.On_Board_Time
Type [external_pus_data_types.ads, 668] External_PUS_Data_Types.Internal_To_External_Time.T
Type [external_pus_data_types.ads, 686] External_PUS_Data_Types.External_To_Internal_Time
Type [satellite_clock.ads, 78] Satellite_Clock.Get_Time
Type [satellite_clock.ads, 104] Satellite_Clock.CUC_Time_To_Real_Time.CUC_Time
Basic_Types.Relative_On_Board_Time (Type Record)
Declared as: On_Board_Time
Declare [basic_types.ads, 269] Basic_Types
Type [basic_types.ads, 334] Basic_Types.-
Type [basic_types.ads, 349] Basic_Types.+.Rt
Type [basic_types.ads, 360] Basic_Types.To_Duration.T
Type [basic_types.ads, 372] Basic_Types.Make_Relative_On_Board_Time
Derive [parameter_representation.ads, 407] Parameter_Representation.PUS_Relative_Time
Type [pus_data_types.ads, 130] PUS_Data_Types.On_Board_Duration
Basic_Types.Signed_Byte (Type)
Declared as: range - 2 ** (Byte_Size - 1) .. 2 ** (Byte_Size - 1) - 1
Ref [basic_types.ads, 180] Basic_Types
Declare [basic_types.ads, 179] Basic_Types
Basic_Types.Signed_DWord (Type)
Declared as: Long_Integer
Declare [basic_types.ads, 189] Basic_Types
Basic_Types.Signed_Integer (Type)
Declared as: Long_Integer
Declare [basic_types.ads, 204] Basic_Types
Basic_Types.Signed_Triple (Type)
Declared as: range - 2 ** (Triple_Size - 1) .. 2 ** (Triple_Size - 1) - 1
Ref [basic_types.ads, 187] Basic_Types
Declare [basic_types.ads, 185] Basic_Types
Basic_Types.Signed_Word (Type)
Declared as: range - 2 ** (Word_Size - 1) .. 2 ** (Word_Size - 1) - 1
Ref [basic_types.ads, 183] Basic_Types
Declare [basic_types.ads, 182] Basic_Types
Basic_Types.Single_Precision_Real (Type)
Declared as: new Float
Declare [basic_types.ads, 194] Basic_Types
Basic_Types.Time_Component_Rep_Spec (Type)
Declared as: range 0 .. 2 ** 2 - 1
Declare [basic_types.ads, 248] Basic_Types
Type [basic_types.ads, 252] Basic_Types.Time_Rep_Spec.Coarse_Time_Rep
Type [basic_types.ads, 254] Basic_Types.Time_Rep_Spec.Fine_Time_Rep
Derive [external_pus_data_types.ads, 493] External_PUS_Data_Types.External_Time_Component_Rep_Spec
Basic_Types.Time_Rep_Spec (Type Record)
Declare [basic_types.ads, 250] Basic_Types
Type [basic_types.ads, 259] Basic_Types.On_Board_Time.P_Field
Type [basic_types.ads, 370] Basic_Types.Make_Relative_On_Board_Time.T_Rep
Type [mission_parameters.ads, 97] Mission_Parameters.Canonical_Time_Rep_Spec
Type [pus_data_types.ads, 218] PUS_Data_Types.Time_Rep_Spec
Type [satellite_clock.ads, 76] Satellite_Clock.Get_Time.T_Rep
Basic_Types.Triple (Type)
Declared as: range 0 .. 2 ** Triple_Size - 1
Ref [basic_types.ads, 146] Basic_Types
Declare [basic_types.ads, 145] Basic_Types
Basic_Types.Unsigned_Integer (Type)
Declared as: Long_Integer range 0 .. Long_Integer'last
Declare [basic_types.ads, 203] Basic_Types
Basic_Types.Word (Type)
Declared as: range 0 .. 2 ** Word_Size - 1
Ref [basic_types.ads, 143] Basic_Types
Declare [basic_types.ads, 142] Basic_Types
Type [basic_types.ads, 150] Basic_Types.DWord.Most_Sig_Word
Type [basic_types.ads, 150] Basic_Types.DWord.Least_Sig_Word