Type Cross Reference

Verification_Types.Result    (Type Enumeration)
    Declare   [verification_types.ads, 53] Verification_Types
    Type   [verification_types.ads, 70] Verification_Types.Verification_Status.The_Result
    Type   [verification_types.ads, 87] Verification_Types.Make_Verification_Status.The_Result
    Type   [verification_types.ads, 98] Verification_Types.Make_Verification_Status.The_Result
    Type   [storage_selection_manager.ads, 80] Storage_Selection_Manager.Enable_Storage
    Type   [storage_selection_manager.ads, 94] Storage_Selection_Manager.Disable_Storage
    Type   [storage_selection_manager.ads, 108] Storage_Selection_Manager.Add_All_Storage_Selection_Def
    Type   [storage_selection_manager.ads, 123] Storage_Selection_Manager.Add_All_Subtypes_Storage_Selection_Def
    Type   [storage_selection_manager.ads, 140] Storage_Selection_Manager.Add_Specific_Subtypes_Storage_Selection_Def
    Type   [storage_selection_manager.ads, 154] Storage_Selection_Manager.Remove_All_Storage_Selection_Def
    Type   [storage_selection_manager.ads, 169] Storage_Selection_Manager.Remove_All_Subtypes_Storage_Selection_Def
    Type   [storage_selection_manager.ads, 186] Storage_Selection_Manager.Remove_Specific_Subtypes_Storage_Selection_Def
    Type   [appl_proc_descr_manager.ads, 152] Appl_Proc_Descr_Manager.Enable_Storage
    Type   [appl_proc_descr_manager.ads, 167] Appl_Proc_Descr_Manager.Disable_Storage
    Type   [appl_proc_descr_manager.ads, 182] Appl_Proc_Descr_Manager.Add_All_Storage_Selection_Def
    Type   [appl_proc_descr_manager.ads, 198] Appl_Proc_Descr_Manager.Add_All_Subtypes_Storage_Selection_Def
    Type   [appl_proc_descr_manager.ads, 217] Appl_Proc_Descr_Manager.Add_Specific_Subtypes_Storage_Selection_Def
    Type   [appl_proc_descr_manager.ads, 233] Appl_Proc_Descr_Manager.Remove_All_Storage_Selection_Def
    Type   [appl_proc_descr_manager.ads, 249] Appl_Proc_Descr_Manager.Remove_All_Subtypes_Storage_Selection_Def
    Type   [appl_proc_descr_manager.ads, 268] Appl_Proc_Descr_Manager.Remove_Specific_Subtypes_Storage_Selection_Def

Verification_Types.Result.Failure    (Enumeration Literal)
    Declare   [verification_types.ads, 55] Verification_Types.Result
    Ref   [mission_verification_values.ads, 213] Mission_Verification_Values.Failure
    Ref   [mission_verification_values.ads, 218] Mission_Verification_Values.Illegal_APID
    Ref   [mission_verification_values.ads, 222] Mission_Verification_Values.Invalid_Packet_Length
    Ref   [mission_verification_values.ads, 226] Mission_Verification_Values.Incorrect_Checksum
    Ref   [mission_verification_values.ads, 230] Mission_Verification_Values.Illegal_Packet_Type
    Ref   [mission_verification_values.ads, 234] Mission_Verification_Values.Illegal_Packet_Subtype
    Ref   [mission_verification_values.ads, 239] Mission_Verification_Values.Illegal_Application_Data
    Ref   [mission_verification_values.ads, 245] Mission_Verification_Values.Unknown_Command
    Ref   [mission_verification_values.ads, 249] Mission_Verification_Values.Illegal_Command
    Ref   [mission_verification_values.ads, 254] Mission_Verification_Values.Illegal_Parameter_Value
    Ref   [mission_verification_values.ads, 258] Mission_Verification_Values.Table_Full
    Ref   [mission_verification_values.ads, 263] Mission_Verification_Values.Element_Already_In_Table
    Ref   [mission_verification_values.ads, 267] Mission_Verification_Values.Element_Not_In_Table
    Ref   [mission_verification_values.ads, 271] Mission_Verification_Values.Bus_Operation_Failed
    Ref   [mission_verification_values.ads, 276] Mission_Verification_Values.Command_Not_On_Schedule
    Ref   [mission_verification_values.ads, 281] Mission_Verification_Values.No_Storage_Selection_Definition
    Ref   [mission_verification_values.ads, 285] Mission_Verification_Values.No_Read_Access
    Ref   [mission_verification_values.ads, 289] Mission_Verification_Values.No_Write_Access
    Ref   [mission_verification_values.ads, 294] Mission_Verification_Values.Access_Outside_Memory_Area
    Ref   [mission_verification_values.ads, 299] Mission_Verification_Values.Unknown_Memory_Access_Error
    Ref   [mission_verification_values.ads, 304] Mission_Verification_Values.Excessive_Memory_Data_Length
    Ref   [mission_verification_values.ads, 308] Mission_Verification_Values.Checksums_Differ
    Ref   [mission_verification_values.ads, 313] Mission_Verification_Values.Unsupported_Checksum_Type
    Ref   [mission_verification_values.ads, 317] Mission_Verification_Values.Unsupported_Activity
    Ref   [mission_verification_values.ads, 322] Mission_Verification_Values.Report_Generation_Failure
    Ref   [mission_verification_values.ads, 326] Mission_Verification_Values.Buffer_Full

Verification_Types.Result.Success    (Enumeration Literal)
    Declare   [verification_types.ads, 54] Verification_Types.Result
    Ref   [mission_verification_values.ads, 210] Mission_Verification_Values.Success

Verification_Types.Verification_Code    (Type)
  Declared as: new Natural
    Declare   [verification_types.ads, 57] Verification_Types
    Type   [verification_types.ads, 73] Verification_Types.Verification_Status.Code
    Type   [verification_types.ads, 99] Verification_Types.Make_Verification_Status.Code
    Type   [verification_types.ads, 142] Verification_Types.Get_Code
    Type   [mission_verification_values.ads, 89] Mission_Verification_Values.Illegal_APID_Code
    Type   [mission_verification_values.ads, 95] Mission_Verification_Values.Invalid_Packet_Length_Code
    Type   [mission_verification_values.ads, 101] Mission_Verification_Values.Incorrect_Checksum_Code
    Type   [mission_verification_values.ads, 107] Mission_Verification_Values.Illegal_Packet_Type_Code
    Type   [mission_verification_values.ads, 113] Mission_Verification_Values.Illegal_Packet_Subtype_Code
    Type   [mission_verification_values.ads, 120] Mission_Verification_Values.Illegal_Application_Data_Code
    Type   [mission_verification_values.ads, 124] Mission_Verification_Values.Unknown_Command_Code
    Type   [mission_verification_values.ads, 128] Mission_Verification_Values.Illegal_Command_Code
    Type   [mission_verification_values.ads, 133] Mission_Verification_Values.Illegal_Parameter_Value_Code
    Type   [mission_verification_values.ads, 136] Mission_Verification_Values.Table_Full_Code
    Type   [mission_verification_values.ads, 141] Mission_Verification_Values.Element_Already_In_Table_Code
    Type   [mission_verification_values.ads, 146] Mission_Verification_Values.Element_Not_In_Table_Code
    Type   [mission_verification_values.ads, 150] Mission_Verification_Values.Bus_Operation_Failed_Code
    Type   [mission_verification_values.ads, 155] Mission_Verification_Values.Command_Not_On_Schedule_Code
    Type   [mission_verification_values.ads, 160] Mission_Verification_Values.No_Storage_Selection_Definition_Code
    Type   [mission_verification_values.ads, 164] Mission_Verification_Values.No_Read_Access_Code
    Type   [mission_verification_values.ads, 168] Mission_Verification_Values.No_Write_Access_Code
    Type   [mission_verification_values.ads, 173] Mission_Verification_Values.Access_Outside_Memory_Area_Code
    Type   [mission_verification_values.ads, 178] Mission_Verification_Values.Unknown_Memory_Access_Error_Code
    Type   [mission_verification_values.ads, 183] Mission_Verification_Values.Excessive_Memory_Data_Length_Code
    Type   [mission_verification_values.ads, 187] Mission_Verification_Values.Checksums_Differ_Code
    Type   [mission_verification_values.ads, 191] Mission_Verification_Values.Unsupported_Checksum_Type_Code
    Type   [mission_verification_values.ads, 196] Mission_Verification_Values.Unsupported_Activity_Code
    Type   [mission_verification_values.ads, 201] Mission_Verification_Values.Report_Generation_Failure_Code
    Type   [mission_verification_values.ads, 205] Mission_Verification_Values.Buffer_Full_Code

Verification_Types.Verification_Parameters    (Type Enumeration)
    Declare   [verification_types.ads, 62] Verification_Types

Verification_Types.Verification_Parameters.Not_Supported    (Enumeration Literal)
    Declare   [verification_types.ads, 63] Verification_Types.Verification_Parameters

Verification_Types.Verification_Status    (Type Record)
    Declare   [verification_types.ads, 68] Verification_Types
    Type   [verification_types.ads, 88] Verification_Types.Make_Verification_Status
    Type   [verification_types.ads, 100] Verification_Types.Make_Verification_Status
    Type   [verification_types.ads, 110] Verification_Types.Is_Success.Status
    Type   [verification_types.ads, 121] Verification_Types.Is_Failure.Status
    Type   [verification_types.ads, 131] Verification_Types.Contains_Code.Status
    Type   [verification_types.ads, 141] Verification_Types.Get_Code.Status
    Type   [mission_verification_values.ads, 209] Mission_Verification_Values.Success
    Type   [mission_verification_values.ads, 212] Mission_Verification_Values.Failure
    Type   [mission_verification_values.ads, 217] Mission_Verification_Values.Illegal_APID
    Type   [mission_verification_values.ads, 221] Mission_Verification_Values.Invalid_Packet_Length
    Type   [mission_verification_values.ads, 225] Mission_Verification_Values.Incorrect_Checksum
    Type   [mission_verification_values.ads, 229] Mission_Verification_Values.Illegal_Packet_Type
    Type   [mission_verification_values.ads, 233] Mission_Verification_Values.Illegal_Packet_Subtype
    Type   [mission_verification_values.ads, 238] Mission_Verification_Values.Illegal_Application_Data
    Type   [mission_verification_values.ads, 244] Mission_Verification_Values.Unknown_Command
    Type   [mission_verification_values.ads, 248] Mission_Verification_Values.Illegal_Command
    Type   [mission_verification_values.ads, 253] Mission_Verification_Values.Illegal_Parameter_Value
    Type   [mission_verification_values.ads, 257] Mission_Verification_Values.Table_Full
    Type   [mission_verification_values.ads, 262] Mission_Verification_Values.Element_Already_In_Table
    Type   [mission_verification_values.ads, 266] Mission_Verification_Values.Element_Not_In_Table
    Type   [mission_verification_values.ads, 270] Mission_Verification_Values.Bus_Operation_Failed
    Type   [mission_verification_values.ads, 275] Mission_Verification_Values.Command_Not_On_Schedule
    Type   [mission_verification_values.ads, 280] Mission_Verification_Values.No_Storage_Selection_Definition
    Type   [mission_verification_values.ads, 284] Mission_Verification_Values.No_Read_Access
    Type   [mission_verification_values.ads, 288] Mission_Verification_Values.No_Write_Access
    Type   [mission_verification_values.ads, 293] Mission_Verification_Values.Access_Outside_Memory_Area
    Type   [mission_verification_values.ads, 298] Mission_Verification_Values.Unknown_Memory_Access_Error
    Type   [mission_verification_values.ads, 303] Mission_Verification_Values.Excessive_Memory_Data_Length
    Type   [mission_verification_values.ads, 307] Mission_Verification_Values.Checksums_Differ
    Type   [mission_verification_values.ads, 312] Mission_Verification_Values.Unsupported_Checksum_Type
    Type   [mission_verification_values.ads, 316] Mission_Verification_Values.Unsupported_Activity
    Type   [mission_verification_values.ads, 321] Mission_Verification_Values.Report_Generation_Failure
    Type   [mission_verification_values.ads, 325] Mission_Verification_Values.Buffer_Full
    Type   [telecommand_verification_generator.ads, 52] Telecommand_Verification_Generator.Generate_TC_Verification.Status
    Type   [parser.ads, 74]          Parser.Internal_TC_Representation_Failed.Status
    Type   [tc_acknowledger.ads, 85] TC_Acknowledger.Make_TC_Verification.Status
    Type   [payload-function_interpreter.ads, 82] Payload.Function_Interpreter.Perform_Function
    Type   [generic_tc_translator.ads, 77] Generic_TC_Translator.Telecommand_Verifier.Generate_TC_Verification.Status
    Type   [generic_tc_translator.ads, 88] Generic_TC_Translator.Perform_Function
    Type   [power_conditioning_system-function_interpreter.ads, 39] Power_Conditioning_System.Function_Interpreter.Perform_Function
    Type   [device_command_parser.ads, 128] Device_Command_Parser.Verify_Stage.Status
    Type   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser.Internal_TC_Representation_Failed.Status
    Type   [hk_diag_event_manager.ads, 113] HK_Diag_Event_Manager.Define_Report
    Type   [hk_diag_event_manager.ads, 138] HK_Diag_Event_Manager.Disable_Report
    Type   [hk_diag_event_manager.ads, 151] HK_Diag_Event_Manager.Enable_Report
    Type   [hk_diag_report_generator.ads, 153] HK_Diag_Report_Generator.Define_Report
    Type   [hk_diag_report_generator.ads, 177] HK_Diag_Report_Generator.Set_Periodic_Generation_Mode
    Type   [hk_diag_report_generator.ads, 193] HK_Diag_Report_Generator.Set_Filtered_Generation_Mode
    Type   [memory_management_parser.ads, 214] Memory_Management_Parser.Verify_Stage.Status
    Type   [memory_management_parser.ads, 316] Memory_Management_Parser.The_Parser.Internal_TC_Representation_Failed.Status
    Type   [gen_obs_schedule.ads, 127] Gen_OBS_Schedule.Enable_Schedule
    Type   [gen_obs_schedule.ads, 138] Gen_OBS_Schedule.Disable_Schedule
    Type   [gen_obs_schedule.ads, 153] Gen_OBS_Schedule.Enable_Sub_Schedule
    Type   [gen_obs_schedule.ads, 168] Gen_OBS_Schedule.Disable_Sub_Schedule
    Type   [gen_obs_schedule.ads, 179] Gen_OBS_Schedule.Reset
    Type   [gen_obs_schedule.ads, 197] Gen_OBS_Schedule.Insert_TC_Packet
    Type   [gen_obs_schedule.ads, 211] Gen_OBS_Schedule.Delete_TC_Packets
    Type   [gen_obs_schedule.ads, 229] Gen_OBS_Schedule.Delete_TC_Packets_Over_Time
    Type   [gen_obs_schedule.ads, 246] Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Status
    Type   [gen_obs_schedule.ads, 267] Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info.Status
    Type   [gen_obs_schedule.ads, 284] Gen_OBS_Schedule.Get_Summary_Schedule_Info.Status
    Type   [gen_obs_schedule.ads, 305] Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info.Status
    Type   [gen_obs_schedule.ads, 317] Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Status
    Type   [gen_obs_schedule.ads, 329] Gen_OBS_Schedule.Get_Summary_Schedule_Info.Status
    Type   [on_board_scheduling_parser.ads, 208] On_Board_Scheduling_Parser.Internal_TC_Representation.Status
    Type   [power_conditioning_system-tc_acknowledger.ads, 48] Power_Conditioning_System.TC_Acknowledger.Generate_TC_Verification.Status
    Type   [payload-tc_acknowledger.ads, 42] Payload.TC_Acknowledger.Generate_TC_Verification.Status
    Type   [large_data_transfer.ads, 357] Large_Data_Transfer.TC_Stage_Verification.Status
    Type   [monitor_parser.ads, 333] Monitor_Parser.Verify_Stage.Status
    Type   [monitor_parser.ads, 481] Monitor_Parser.The_Parser.Internal_TC_Representation_Failed.Status
    Type   [monitoring_list.ads, 145] Monitoring_List.Add_Parameter
    Type   [monitoring_list.ads, 158] Monitoring_List.Delete_Parameter
    Type   [monitoring_list.ads, 171] Monitoring_List.Modify_Parameter_Validity_Number
    Type   [monitoring_list.ads, 216] Monitoring_List.Enable_Monitoring
    Type   [monitoring_list.ads, 229] Monitoring_List.Disable_Monitoring
    Type   [monitoring_list.ads, 243] Monitoring_List.Insert_Check_Definition
    Type   [monitoring_list.ads, 258] Monitoring_List.Replace_Check_Definition
    Type   [monitoring_list.ads, 273] Monitoring_List.Delete_Check_Definition
    Type   [event_action-service-tc_verification.ads, 94] Event_Action.Service.TC_Verification.Verify_Stage.Status
    Type   [event_action-service-tc_verification.ads, 110] Event_Action.Service.TC_Verification.Verify_Step.Status
    Ref   [event_action-service-tc_parser.ads, 219] Event_Action.Service.TC_Parser.The_Parser
    Type   [event_action-service-tc_parser.ads, 211] Event_Action.Service.TC_Parser.The_Parser.Internal_PUS_Representation_Failed.Status
    Type   [event_action-service-tc_parser.ads, 246] Event_Action.Service.TC_Parser.The_TC_Verification.Verify_Stage.Status
    Type   [event_action-service-tc_parser.ads, 246] Event_Action.Service.TC_Parser.The_TC_Verification.Verify_Step.Status
    Ref   [event_action-service-tc_handler.ads, 88] Event_Action.Service.TC_Handler.The_TC_Parser.The_Parser
    Type   [event_action-service-tc_handler.ads, 88] Event_Action.Service.TC_Handler.The_TC_Parser.The_Parser.Internal_PUS_Representation_Failed.Status
    Type   [event_action-service-tc_handler.ads, 88] Event_Action.Service.TC_Handler.The_TC_Parser.The_TC_Verification.Verify_Stage.Status
    Type   [event_action-service-tc_handler.ads, 88] Event_Action.Service.TC_Handler.The_TC_Parser.The_TC_Verification.Verify_Step.Status

Verification_Types.Verification_Step_Number    (Type)
  Declared as: new Natural
    Declare   [verification_types.ads, 58] Verification_Types
    Type   [telecommand_verification_generator.ads, 53] Telecommand_Verification_Generator.Generate_TC_Verification.Step_Number
    Ref   [telecommand_verification_generator.ads, 54] Telecommand_Verification_Generator.Generate_TC_Verification.Step_Number
    Type   [tc_acknowledger.ads, 89] TC_Acknowledger.Make_TC_Verification.Step_Number
    Ref   [tc_acknowledger.ads, 90]  TC_Acknowledger.Make_TC_Verification.Step_Number
    Type   [generic_tc_translator.ads, 77] Generic_TC_Translator.Telecommand_Verifier.Generate_TC_Verification.Step_Number
    Ref   [generic_tc_translator.ads, 77] Generic_TC_Translator.Telecommand_Verifier.Generate_TC_Verification.Step_Number
    Type   [power_conditioning_system-tc_acknowledger.ads, 48] Power_Conditioning_System.TC_Acknowledger.Generate_TC_Verification.Step_Number
    Ref   [power_conditioning_system-tc_acknowledger.ads, 48] Power_Conditioning_System.TC_Acknowledger.Generate_TC_Verification.Step_Number
    Type   [payload-tc_acknowledger.ads, 42] Payload.TC_Acknowledger.Generate_TC_Verification.Step_Number
    Ref   [payload-tc_acknowledger.ads, 42] Payload.TC_Acknowledger.Generate_TC_Verification.Step_Number