Program Unit Cross Reference [H]

Program Unit Cross Reference

Non-Alpha

Hashed_Protected_Map_Type    (Generic Package)
    Spec   [hashed_protected_map_type.ads, 88] hashed_protected_map_type.ads
    With   [event_action-detection_list.ads, 53] Event_Action.Detection_List

Hashed_Protected_Map_Type.Apply    (Function)
  Declared as: Element_Type
    Spec   [hashed_protected_map_type.ads, 177] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Apply    (Function)
  Declared as: Element_Type_Reference
    Spec   [hashed_protected_map_type.ads, 188] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Domain_Is_Covered    (Function)
  Declared as: Boolean
    Spec   [hashed_protected_map_type.ads, 221] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Get_Domain    (Function)
  Declared as: Map_Domain
    Spec   [hashed_protected_map_type.ads, 211] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Get_Next_Element_In_Range    (Procedure)
    Spec   [hashed_protected_map_type.ads, 267] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Get_Next_Element_In_Range    (Procedure)
    Spec   [hashed_protected_map_type.ads, 280] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Get_Next_Hashed_Key_In_Domain    (Procedure)
    Spec   [hashed_protected_map_type.ads, 232] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Get_Range    (Function)
  Declared as: Map_Range
    Spec   [hashed_protected_map_type.ads, 246] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Insert    (Procedure)
    Spec   [hashed_protected_map_type.ads, 148] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Is_In    (Function)
  Declared as: Boolean
    Spec   [hashed_protected_map_type.ads, 198] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Make_Map_Empty    (Procedure)
    Spec   [hashed_protected_map_type.ads, 139] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Range_Is_Covered    (Function)
  Declared as: Boolean
    Spec   [hashed_protected_map_type.ads, 256] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Remove    (Procedure)
    Spec   [hashed_protected_map_type.ads, 158] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Replace    (Procedure)
    Spec   [hashed_protected_map_type.ads, 167] Hashed_Protected_Map_Type

Hashed_Protected_Map_Type.Simple_Map    (Package)
    Instantiation   [hashed_protected_map_type.ads, 291] Hashed_Protected_Map_Type
    Dot   [hashed_protected_map_type.ads, 298] Hashed_Protected_Map_Type.Map_Range
    Dot   [hashed_protected_map_type.ads, 299] Hashed_Protected_Map_Type.Map_Domain

Hashed_Protected_Map_Type.Unique_Hash    (Function)
  Declared as: Hashed_Key_Type
    Formal   [hashed_protected_map_type.ads, 75] Hashed_Protected_Map_Type

High_Priority_Store    (Package)
    Instantiation   [high_priority_store.ads, 45] high_priority_store.ads

HK_Collector    (Generic Package)
    Spec   [hk_collector.ads, 174]   hk_collector.ads
    With   [payload-hk_collector.ads, 44] Payload.HK_Collector
    Instance   [payload-hk_collector.ads, 48] Payload.HK_Collector
    With   [power_conditioning_system-hk_collector.ads, 5] Power_Conditioning_System.HK_Collector
    Instance   [power_conditioning_system-hk_collector.ads, 9] Power_Conditioning_System.HK_Collector

HK_Collector.Handle_PUS_Packet    (Procedure)
    Spec   [hk_collector.ads, 203]   HK_Collector

HK_Collector.Initialize    (Procedure)
    Spec   [hk_collector.ads, 192]   HK_Collector

HK_Collector.Is_Legal_Parameter_ID    (Function)
  Declared as: Boolean
    Formal   [hk_collector.ads, 89]  HK_Collector

HK_Collector.Optional_Deposit    (Function)
  Declared as: Boolean
    Formal   [hk_collector.ads, 102] HK_Collector

HK_Collector.Receive    (Function)
  Declared as: Parameter_Representation.Standard_Value'class
    Formal   [hk_collector.ads, 96]  HK_Collector

HK_Collector.Threshold_Is_Exceeded    (Function)
  Declared as: Boolean
    Formal   [hk_collector.ads, 121] HK_Collector

HK_Collector.Threshold_Is_Legal    (Function)
  Declared as: Boolean
    Formal   [hk_collector.ads, 111] HK_Collector

HK_Collector_Types    (Package)
    Spec   [hk_collector_types.ads, 59] hk_collector_types.ads
    With   [hk_diag_tc_interpreter.ads, 50] HK_Diag_TC_Interpreter
    Dot   [hk_diag_tc_interpreter.ads, 73] HK_Diag_TC_Interpreter.Max_Simple_Params
    Dot   [hk_diag_tc_interpreter.ads, 77] HK_Diag_TC_Interpreter.Max_Super_Params
    Dot   [hk_diag_tc_interpreter.ads, 81] HK_Diag_TC_Interpreter.Max_Super_Reps
    Dot   [hk_diag_tc_interpreter.ads, 107] HK_Diag_TC_Interpreter.Threshold_Is_Legal.Parameter_No
    Dot   [hk_diag_tc_interpreter.ads, 109] HK_Diag_TC_Interpreter.Threshold_Is_Legal.Parameter_Threshold
    Dot   [hk_diag_tc_interpreter.ads, 117] HK_Diag_TC_Interpreter.Threshold_Is_Exceeded.Parameter_No
    Dot   [hk_diag_tc_interpreter.ads, 125] HK_Diag_TC_Interpreter.Threshold_Is_Exceeded.Parameter_Threshold
    With   [standard_thresholds.ads, 42] Standard_Thresholds
    Dot   [standard_thresholds.ads, 65] Standard_Thresholds.Threshold_Is_Legal.Parameter_No
    Dot   [standard_thresholds.ads, 67] Standard_Thresholds.Threshold_Is_Legal.Parameter_Threshold
    Dot   [standard_thresholds.ads, 81] Standard_Thresholds.Threshold_Is_Exceeded.Parameter_No
    Dot   [standard_thresholds.ads, 89] Standard_Thresholds.Threshold_Is_Exceeded.Parameter_Threshold
    With   [external_hk_collector_types.ads, 51] External_HK_Collector_Types
    With   [external_hk_collector_types.ads, 52] External_HK_Collector_Types
    Dot   [external_hk_collector_types.ads, 105] External_HK_Collector_Types.Get.Count
    Dot   [external_hk_collector_types.ads, 108] External_HK_Collector_Types.Get.The_Threshold
    Dot   [external_hk_collector_types.ads, 111] External_HK_Collector_Types.Get.The_Threshold
    Dot   [external_hk_collector_types.ads, 114] External_HK_Collector_Types.Get.The_Threshold_Type
    Dot   [external_hk_collector_types.ads, 117] External_HK_Collector_Types.Get.Interval
    Dot   [external_hk_collector_types.ads, 120] External_HK_Collector_Types.Get.SID
    Dot   [external_hk_collector_types.ads, 135] External_HK_Collector_Types.Put.Count
    Dot   [external_hk_collector_types.ads, 138] External_HK_Collector_Types.Put.The_Threshold
    Dot   [external_hk_collector_types.ads, 141] External_HK_Collector_Types.Put.The_Threshold
    Dot   [external_hk_collector_types.ads, 144] External_HK_Collector_Types.Put.The_Threshold_Type
    Dot   [external_hk_collector_types.ads, 147] External_HK_Collector_Types.Put.Interval
    Dot   [external_hk_collector_types.ads, 150] External_HK_Collector_Types.Put.SID
    Dot   [external_hk_collector_types.ads, 153] External_HK_Collector_Types.Put.The_Mode
    With   [hk_diag_event_manager.ads, 44] HK_Diag_Event_Manager
    Dot   [hk_diag_event_manager.ads, 64] HK_Diag_Event_Manager.Max_Params
    Dot   [hk_diag_event_manager.ads, 70] HK_Diag_Event_Manager.Measure_Parameter_And_Generate_Report_When_Due.SID
    Dot   [hk_diag_event_manager.ads, 71] HK_Diag_Event_Manager.Measure_Parameter_And_Generate_Report_When_Due.Parameter_Index
    Dot   [hk_diag_event_manager.ads, 75] HK_Diag_Event_Manager.Abort_Report.SID
    Dot   [hk_diag_event_manager.ads, 109] HK_Diag_Event_Manager.Define_Report.SID
    Dot   [hk_diag_event_manager.ads, 110] HK_Diag_Event_Manager.Define_Report.Collection_Interval
    Dot   [hk_diag_event_manager.ads, 111] HK_Diag_Event_Manager.Define_Report.Nsimple
    Dot   [hk_diag_event_manager.ads, 112] HK_Diag_Event_Manager.Define_Report.Fixed_Array_Defs
    Dot   [hk_diag_event_manager.ads, 125] HK_Diag_Event_Manager.Clear_Report.SID
    Dot   [hk_diag_event_manager.ads, 137] HK_Diag_Event_Manager.Disable_Report.SID
    Dot   [hk_diag_event_manager.ads, 150] HK_Diag_Event_Manager.Enable_Report.SID
    With   [hk_diag_report_generator.ads, 54] HK_Diag_Report_Generator
    Dot   [hk_diag_report_generator.ads, 71] HK_Diag_Report_Generator.Max_Simple_Params
    Dot   [hk_diag_report_generator.ads, 75] HK_Diag_Report_Generator.Max_Super_Params
    Dot   [hk_diag_report_generator.ads, 79] HK_Diag_Report_Generator.Max_Super_Reps
    Dot   [hk_diag_report_generator.ads, 92] HK_Diag_Report_Generator.Threshold_Is_Exceeded.Parameter_No
    Dot   [hk_diag_report_generator.ads, 100] HK_Diag_Report_Generator.Threshold_Is_Exceeded.Parameter_Threshold
    Dot   [hk_diag_report_generator.ads, 148] HK_Diag_Report_Generator.Define_Report.Collection
    Dot   [hk_diag_report_generator.ads, 149] HK_Diag_Report_Generator.Define_Report.SID
    Dot   [hk_diag_report_generator.ads, 150] HK_Diag_Report_Generator.Define_Report.Nsimple
    Dot   [hk_diag_report_generator.ads, 151] HK_Diag_Report_Generator.Define_Report.Pids
    Dot   [hk_diag_report_generator.ads, 152] HK_Diag_Report_Generator.Define_Report.Fixed_Array_Defs
    Dot   [hk_diag_report_generator.ads, 164] HK_Diag_Report_Generator.Clear_Report.SID
    Dot   [hk_diag_report_generator.ads, 176] HK_Diag_Report_Generator.Set_Periodic_Generation_Mode.SID
    Dot   [hk_diag_report_generator.ads, 189] HK_Diag_Report_Generator.Set_Filtered_Generation_Mode.SID
    Dot   [hk_diag_report_generator.ads, 190] HK_Diag_Report_Generator.Set_Filtered_Generation_Mode.Timeout
    Dot   [hk_diag_report_generator.ads, 192] HK_Diag_Report_Generator.Set_Filtered_Generation_Mode.Filtered_Parameters
    Dot   [hk_diag_report_generator.ads, 210] HK_Diag_Report_Generator.Measure_Parameter_And_Generate_Report_When_Due.SID
    Dot   [hk_diag_report_generator.ads, 211] HK_Diag_Report_Generator.Measure_Parameter_And_Generate_Report_When_Due.Parameter_Index
    Dot   [hk_diag_report_generator.ads, 220] HK_Diag_Report_Generator.Abort_Report.SID
    With   [hk_collector.ads, 50]    HK_Collector
    Dot   [hk_collector.ads, 77]     HK_Collector.Max_Simple_Params
    Dot   [hk_collector.ads, 81]     HK_Collector.Max_Super_Params
    Dot   [hk_collector.ads, 85]     HK_Collector.Max_Super_Reps
    Dot   [hk_collector.ads, 112]    HK_Collector.Threshold_Is_Legal.Parameter_No
    Dot   [hk_collector.ads, 114]    HK_Collector.Threshold_Is_Legal.Parameter_Threshold
    Dot   [hk_collector.ads, 122]    HK_Collector.Threshold_Is_Exceeded.Parameter_No
    Dot   [hk_collector.ads, 130]    HK_Collector.Threshold_Is_Exceeded.Parameter_Threshold

HK_Diag_Event_Manager    (Generic Package)
    Spec   [hk_diag_event_manager.ads, 94] hk_diag_event_manager.ads

HK_Diag_Event_Manager.Abort_Report    (Procedure)
    Formal   [hk_diag_event_manager.ads, 74] HK_Diag_Event_Manager

HK_Diag_Event_Manager.Clear_Report    (Procedure)
    Spec   [hk_diag_event_manager.ads, 124] HK_Diag_Event_Manager

HK_Diag_Event_Manager.Define_Report    (Function)
  Declared as: Verification_Types.Verification_Status
    Spec   [hk_diag_event_manager.ads, 108] HK_Diag_Event_Manager

HK_Diag_Event_Manager.Disable_Report    (Function)
  Declared as: Verification_Types.Verification_Status
    Spec   [hk_diag_event_manager.ads, 136] HK_Diag_Event_Manager

HK_Diag_Event_Manager.Enable_Report    (Function)
  Declared as: Verification_Types.Verification_Status
    Spec   [hk_diag_event_manager.ads, 149] HK_Diag_Event_Manager

HK_Diag_Event_Manager.Initialize    (Procedure)
    Spec   [hk_diag_event_manager.ads, 96] HK_Diag_Event_Manager

HK_Diag_Event_Manager.Measure_Parameter_And_Generate_Report_When_Due    (Procedure)
    Formal   [hk_diag_event_manager.ads, 69] HK_Diag_Event_Manager

HK_Diag_Report_Generator    (Generic Package)
    Spec   [hk_diag_report_generator.ads, 115] hk_diag_report_generator.ads

HK_Diag_Report_Generator.Abort_Report    (Procedure)
    Spec   [hk_diag_report_generator.ads, 219] HK_Diag_Report_Generator

HK_Diag_Report_Generator.Clear_Report    (Procedure)
    Spec   [hk_diag_report_generator.ads, 163] HK_Diag_Report_Generator

HK_Diag_Report_Generator.Define_Report    (Function)
  Declared as: Verification_Types.Verification_Status
    Spec   [hk_diag_report_generator.ads, 147] HK_Diag_Report_Generator

HK_Diag_Report_Generator.Initialize    (Procedure)
    Spec   [hk_diag_report_generator.ads, 136] HK_Diag_Report_Generator

HK_Diag_Report_Generator.Measure_Parameter_And_Generate_Report_When_Due    (Procedure)
    Spec   [hk_diag_report_generator.ads, 209] HK_Diag_Report_Generator

HK_Diag_Report_Generator.Optional_Deposit    (Function)
  Declared as: Boolean
    Formal   [hk_diag_report_generator.ads, 106] HK_Diag_Report_Generator

HK_Diag_Report_Generator.Receive    (Function)
  Declared as: Parameter_Representation.Standard_Value'class
    Formal   [hk_diag_report_generator.ads, 84] HK_Diag_Report_Generator

HK_Diag_Report_Generator.Set_Filtered_Generation_Mode    (Function)
  Declared as: Verification_Types.Verification_Status
    Spec   [hk_diag_report_generator.ads, 188] HK_Diag_Report_Generator

HK_Diag_Report_Generator.Set_Periodic_Generation_Mode    (Function)
  Declared as: Verification_Types.Verification_Status
    Spec   [hk_diag_report_generator.ads, 175] HK_Diag_Report_Generator

HK_Diag_Report_Generator.Threshold_Is_Exceeded    (Function)
  Declared as: Boolean
    Formal   [hk_diag_report_generator.ads, 91] HK_Diag_Report_Generator

HK_Diag_TC_Interpreter    (Generic Package)
    Spec   [hk_diag_tc_interpreter.ads, 152] hk_diag_tc_interpreter.ads
    With   [hk_collector.ads, 55]    HK_Collector

HK_Diag_TC_Interpreter.Execute_Telecommand    (Procedure)
    Spec   [hk_diag_tc_interpreter.ads, 187] HK_Diag_TC_Interpreter

HK_Diag_TC_Interpreter.Initialize    (Procedure)
    Spec   [hk_diag_tc_interpreter.ads, 170] HK_Diag_TC_Interpreter

HK_Diag_TC_Interpreter.Is_Legal_Parameter_ID    (Function)
  Declared as: Boolean
    Formal   [hk_diag_tc_interpreter.ads, 85] HK_Diag_TC_Interpreter

HK_Diag_TC_Interpreter.Optional_Deposit    (Function)
  Declared as: Boolean
    Formal   [hk_diag_tc_interpreter.ads, 97] HK_Diag_TC_Interpreter

HK_Diag_TC_Interpreter.Receive    (Function)
  Declared as: Parameter_Representation.Standard_Value'class
    Formal   [hk_diag_tc_interpreter.ads, 91] HK_Diag_TC_Interpreter

HK_Diag_TC_Interpreter.Threshold_Is_Exceeded    (Function)
  Declared as: Boolean
    Formal   [hk_diag_tc_interpreter.ads, 116] HK_Diag_TC_Interpreter

HK_Diag_TC_Interpreter.Threshold_Is_Legal    (Function)
  Declared as: Boolean
    Formal   [hk_diag_tc_interpreter.ads, 106] HK_Diag_TC_Interpreter
Non-Alpha