Object Cross Reference
On_Board_Scheduler.All_Sub_Schedules (Parameter)
Declared as: in Sub_Schedule_ID
Formal [on_board_scheduler.ads, 70] On_Board_Scheduler
On_Board_Scheduler.Application_ID (Parameter)
Declared as: in Mission_Parameters.APID
Formal [on_board_scheduler.ads, 60] On_Board_Scheduler
On_Board_Scheduler.Forward_TC.Packet (Parameter)
Declared as: in PUS.PUS_Packet
Formal [on_board_scheduler.ads, 100] On_Board_Scheduler.Forward_TC
On_Board_Scheduler.Handle_PUS_Packet.Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [on_board_scheduler.ads, 151] On_Board_Scheduler.Handle_PUS_Packet
On_Board_Scheduler.Max_List_Length (Parameter)
Declared as: in Positive
Formal [on_board_scheduler.ads, 66] On_Board_Scheduler
On_Board_Scheduler.Max_No_Of_Telecommands_In_Scheduling_Period (Parameter)
Declared as: in Natural
Formal [on_board_scheduler.ads, 87] On_Board_Scheduler
On_Board_Scheduler.Optional_Deposit.Packet (Parameter)
Declared as: in PUS.Optional_PUS_Packet
Formal [on_board_scheduler.ads, 93] On_Board_Scheduler.Optional_Deposit
On_Board_Scheduler.Schedule_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [on_board_scheduler.ads, 121] On_Board_Scheduler
On_Board_Scheduler.Schedule_Size (Parameter)
Declared as: in Natural
Formal [on_board_scheduler.ads, 63] On_Board_Scheduler
On_Board_Scheduler.Scheduler_Task_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [on_board_scheduler.ads, 124] On_Board_Scheduler
On_Board_Scheduler.Scheduler_Task_Stack_Size (Parameter)
Declared as: in Natural
Formal [on_board_scheduler.ads, 126] On_Board_Scheduler
On_Board_Scheduler.Scheduling_Period (Parameter)
Declared as: in Integer
Formal [on_board_scheduler.ads, 82] On_Board_Scheduler
On_Board_Scheduler.Sub_Schedule_ID_Rep_Vals (Parameter)
Declared as: in Sub_Schedule_ID_Rep
Formal [on_board_scheduler.ads, 73] On_Board_Scheduler
On_Board_Scheduler.Telecommand_Buffer_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [on_board_scheduler.ads, 106] On_Board_Scheduler
On_Board_Scheduler.Telecommand_Buffer_Size (Parameter)
Declared as: in Natural
Formal [on_board_scheduler.ads, 111] On_Board_Scheduler
On_Board_Scheduler.Telecommand_Interpreter_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [on_board_scheduler.ads, 115] On_Board_Scheduler
On_Board_Scheduler.Telecommand_Interpreter_Stack_Size (Parameter)
Declared as: in Natural
Formal [on_board_scheduler.ads, 118] On_Board_Scheduler
On_Board_Scheduling_Parser.All_Sub_Schedules (Parameter)
Declared as: in Sub_Schedule_ID
Formal [on_board_scheduling_parser.ads, 64] On_Board_Scheduling_Parser
On_Board_Scheduling_Parser.Detailed_Schedule_Info_Elem.Scheduling_Event (Component)
Declared as: On_Board_Scheduling_Types.Scheduling_Event_Spec
Declare [on_board_scheduling_parser.ads, 220] On_Board_Scheduling_Parser.Detailed_Schedule_Info_Elem
On_Board_Scheduling_Parser.Detailed_Schedule_Info_Elem.Sub_Sched_ID (Component)
Declared as: Sub_Schedule_ID
Declare [on_board_scheduling_parser.ads, 219] On_Board_Scheduling_Parser.Detailed_Schedule_Info_Elem
On_Board_Scheduling_Parser.Detailed_Schedule_Info_Elem.TC_Packet (Component)
Declared as: PUS.PUS_Packet
Declare [on_board_scheduling_parser.ads, 222] On_Board_Scheduling_Parser.Detailed_Schedule_Info_Elem
On_Board_Scheduling_Parser.Detailed_Schedule_Info_Elem.Time_Tag (Component)
Declared as: On_Board_Scheduling_Types.CUC_Time
Declare [on_board_scheduling_parser.ads, 221] On_Board_Scheduling_Parser.Detailed_Schedule_Info_Elem
On_Board_Scheduling_Parser.Detailed_Schedule_Report.Number_Of_Elems (Component)
Declared as: List_Length := 0
Set [on_board_scheduling_parser.ads, 232] On_Board_Scheduling_Parser.Detailed_Schedule_Report
Declare [on_board_scheduling_parser.ads, 232] On_Board_Scheduling_Parser.Detailed_Schedule_Report
On_Board_Scheduling_Parser.Detailed_Schedule_Report.Selection (Component)
Declared as: Detailed_Schedule_Info
Declare [on_board_scheduling_parser.ads, 233] On_Board_Scheduling_Parser.Detailed_Schedule_Report
On_Board_Scheduling_Parser.Internal_TC_Representation.Result (Discriminant Component)
Declared as: Interpretation_Result := Failed
Use [on_board_scheduling_parser.ads, 206] On_Board_Scheduling_Parser
Set [on_board_scheduling_parser.ads, 203] On_Board_Scheduling_Parser.Internal_TC_Representation
Declare [on_board_scheduling_parser.ads, 203] On_Board_Scheduling_Parser.Internal_TC_Representation
On_Board_Scheduling_Parser.Internal_TC_Representation.Src_Data (Variant Component)
Declared as: Internal_TC_Source_Data (Subservice)
Declare [on_board_scheduling_parser.ads, 210] On_Board_Scheduling_Parser.Internal_TC_Representation
On_Board_Scheduling_Parser.Internal_TC_Representation.Status (Variant Component)
Declared as: Verification_Types.Verification_Status
Declare [on_board_scheduling_parser.ads, 208] On_Board_Scheduling_Parser.Internal_TC_Representation
On_Board_Scheduling_Parser.Internal_TC_Representation.Subservice (Discriminant Component)
Declared as: TC_Subservice := TC_Subservice'first
Set [on_board_scheduling_parser.ads, 204] On_Board_Scheduling_Parser.Internal_TC_Representation
Declare [on_board_scheduling_parser.ads, 204] On_Board_Scheduling_Parser.Internal_TC_Representation
Use [on_board_scheduling_parser.ads, 210] On_Board_Scheduling_Parser.Internal_TC_Representation.Src_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Deletion_Over_Time_Spec (Variant Component)
Declared as: TC_Schedule_Selection_Over_Time
Declare [on_board_scheduling_parser.ads, 180] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Deletion_Spec (Variant Component)
Declared as: TC_Schedule_Selection_Spec
Declare [on_board_scheduling_parser.ads, 178] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Disabling_Def (Variant Component)
Declared as: Scheduling_Control_Params
Declare [on_board_scheduling_parser.ads, 171] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Enabling_Def (Variant Component)
Declared as: Scheduling_Control_Params
Declare [on_board_scheduling_parser.ads, 169] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Insertions (Variant Component)
Declared as: Packet_Insertion_Specs
Declare [on_board_scheduling_parser.ads, 176] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Report_Detailed_Over_Time_Spec (Variant Component)
Declared as: TC_Schedule_Selection_Over_Time
Declare [on_board_scheduling_parser.ads, 190] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Report_Detailed_Spec (Variant Component)
Declared as: TC_Schedule_Selection_Spec
Declare [on_board_scheduling_parser.ads, 186] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Report_Summary_Over_Time_Spec (Variant Component)
Declared as: TC_Schedule_Selection_Over_Time
Declare [on_board_scheduling_parser.ads, 194] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Report_Summary_Spec (Variant Component)
Declared as: TC_Schedule_Selection_Spec
Declare [on_board_scheduling_parser.ads, 188] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Sub_Sched_ID (Variant Component)
Declared as: Sub_Schedule_ID
Declare [on_board_scheduling_parser.ads, 175] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Internal_TC_Source_Data.Subservice (Discriminant Component)
Declared as: TC_Subservice := TC_Subservice'first
Use [on_board_scheduling_parser.ads, 167] On_Board_Scheduling_Parser
Set [on_board_scheduling_parser.ads, 165] On_Board_Scheduling_Parser.Internal_TC_Source_Data
Declare [on_board_scheduling_parser.ads, 165] On_Board_Scheduling_Parser.Internal_TC_Source_Data
On_Board_Scheduling_Parser.Max_List_Length (Parameter)
Declared as: in Positive
Formal [on_board_scheduling_parser.ads, 61] On_Board_Scheduling_Parser
Use [on_board_scheduling_parser.ads, 86] On_Board_Scheduling_Parser.APID_Index
Use [on_board_scheduling_parser.ads, 97] On_Board_Scheduling_Parser.Schedule_Control_Index
Use [on_board_scheduling_parser.ads, 115] On_Board_Scheduling_Parser.Packet_Scheduling_Index
Use [on_board_scheduling_parser.ads, 133] On_Board_Scheduling_Parser.TC_Schedule_Selection_Index
Use [on_board_scheduling_parser.ads, 226] On_Board_Scheduling_Parser.Detailed_Schedule_Info_Index
Use [on_board_scheduling_parser.ads, 246] On_Board_Scheduling_Parser.Summary_Schedule_Info_Index
On_Board_Scheduling_Parser.Packet_Insertion_Specs.Number_Of_Packets (Component)
Declared as: List_Length
Declare [on_board_scheduling_parser.ads, 121] On_Board_Scheduling_Parser.Packet_Insertion_Specs
On_Board_Scheduling_Parser.Packet_Insertion_Specs.Packet_Insertions (Component)
Declared as: Packet_Scheduling_Info_List
Declare [on_board_scheduling_parser.ads, 122] On_Board_Scheduling_Parser.Packet_Insertion_Specs
On_Board_Scheduling_Parser.Packet_Scheduling_Info.Scheduling_Event (Component)
Declared as: On_Board_Scheduling_Types.Scheduling_Event_Spec
Declare [on_board_scheduling_parser.ads, 109] On_Board_Scheduling_Parser.Packet_Scheduling_Info
On_Board_Scheduling_Parser.Packet_Scheduling_Info.TC_Packet (Component)
Declared as: PUS.PUS_Packet
Declare [on_board_scheduling_parser.ads, 111] On_Board_Scheduling_Parser.Packet_Scheduling_Info
On_Board_Scheduling_Parser.Packet_Scheduling_Info.Time_Tag (Component)
Declared as: On_Board_Scheduling_Types.CUC_Time
Declare [on_board_scheduling_parser.ads, 110] On_Board_Scheduling_Parser.Packet_Scheduling_Info
On_Board_Scheduling_Parser.Parse_TC.TC (Parameter)
Declared as: in PUS.PUS_Packet
Spec [on_board_scheduling_parser.ads, 266] On_Board_Scheduling_Parser.Parse_TC
On_Board_Scheduling_Parser.Scheduling_Control_Params.Number_Of_Sub_Schedules (Component)
Declared as: List_Length
Declare [on_board_scheduling_parser.ads, 103] On_Board_Scheduling_Parser.Scheduling_Control_Params
On_Board_Scheduling_Parser.Scheduling_Control_Params.Sub_Schedules_Info (Component)
Declared as: Sub_Schedule_And_APIDs_List
Declare [on_board_scheduling_parser.ads, 104] On_Board_Scheduling_Parser.Scheduling_Control_Params
On_Board_Scheduling_Parser.Sub_Schedule_And_APIDs.APIDs (Component)
Declared as: APID_List
Declare [on_board_scheduling_parser.ads, 93] On_Board_Scheduling_Parser.Sub_Schedule_And_APIDs
On_Board_Scheduling_Parser.Sub_Schedule_And_APIDs.Number_Of_APIDs (Component)
Declared as: List_Length
Declare [on_board_scheduling_parser.ads, 92] On_Board_Scheduling_Parser.Sub_Schedule_And_APIDs
On_Board_Scheduling_Parser.Sub_Schedule_And_APIDs.Sub_Sched_ID (Component)
Declared as: Sub_Schedule_ID
Declare [on_board_scheduling_parser.ads, 91] On_Board_Scheduling_Parser.Sub_Schedule_And_APIDs
On_Board_Scheduling_Parser.Sub_Schedule_ID_Rep_Vals (Parameter)
Declared as: in Sub_Schedule_ID_Rep
Formal [on_board_scheduling_parser.ads, 67] On_Board_Scheduling_Parser
On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem.Application_ID (Component)
Declared as: Mission_Parameters.APID
Declare [on_board_scheduling_parser.ads, 241] On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem
On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem.Scheduling_Event (Component)
Declared as: On_Board_Scheduling_Types.Scheduling_Event_Spec
Declare [on_board_scheduling_parser.ads, 239] On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem
On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem.Seq_Count (Component)
Declared as: PUS_Data_Types.Sequence_Count
Declare [on_board_scheduling_parser.ads, 242] On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem
On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem.Sub_Sched_ID (Component)
Declared as: Sub_Schedule_ID
Declare [on_board_scheduling_parser.ads, 238] On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem
On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem.Time_Tag (Component)
Declared as: On_Board_Scheduling_Types.CUC_Time
Declare [on_board_scheduling_parser.ads, 240] On_Board_Scheduling_Parser.Summary_Schedule_Info_Elem
On_Board_Scheduling_Parser.Summary_Schedule_Report.Number_Of_Elems (Component)
Declared as: List_Length := 0
Set [on_board_scheduling_parser.ads, 252] On_Board_Scheduling_Parser.Summary_Schedule_Report
Declare [on_board_scheduling_parser.ads, 252] On_Board_Scheduling_Parser.Summary_Schedule_Report
On_Board_Scheduling_Parser.Summary_Schedule_Report.Selection (Component)
Declared as: Summary_Schedule_Info
Declare [on_board_scheduling_parser.ads, 253] On_Board_Scheduling_Parser.Summary_Schedule_Report
On_Board_Scheduling_Parser.TC_Schedule_Selection_Elem.Application_ID (Component)
Declared as: Mission_Parameters.APID
Declare [on_board_scheduling_parser.ads, 127] On_Board_Scheduling_Parser.TC_Schedule_Selection_Elem
On_Board_Scheduling_Parser.TC_Schedule_Selection_Elem.Number_Of_TCs (Component)
Declared as: List_Length
Declare [on_board_scheduling_parser.ads, 129] On_Board_Scheduling_Parser.TC_Schedule_Selection_Elem
On_Board_Scheduling_Parser.TC_Schedule_Selection_Elem.Seq_Count (Component)
Declared as: PUS_Data_Types.Sequence_Count
Declare [on_board_scheduling_parser.ads, 128] On_Board_Scheduling_Parser.TC_Schedule_Selection_Elem
On_Board_Scheduling_Parser.TC_Schedule_Selection_Over_Time.Selection (Component)
Declared as: Scheduling_Control_Params
Declare [on_board_scheduling_parser.ads, 146] On_Board_Scheduling_Parser.TC_Schedule_Selection_Over_Time
On_Board_Scheduling_Parser.TC_Schedule_Selection_Over_Time.Time_Range (Component)
Declared as: On_Board_Scheduling_Types.Temporal_Range_Type
Declare [on_board_scheduling_parser.ads, 145] On_Board_Scheduling_Parser.TC_Schedule_Selection_Over_Time
On_Board_Scheduling_Parser.TC_Schedule_Selection_Over_Time.Time_Spec (Component)
Declared as: On_Board_Scheduling_Types.Time_Specification
Declare [on_board_scheduling_parser.ads, 147] On_Board_Scheduling_Parser.TC_Schedule_Selection_Over_Time
On_Board_Scheduling_Parser.TC_Schedule_Selection_Spec.Number_Of_Elems (Component)
Declared as: List_Length
Declare [on_board_scheduling_parser.ads, 139] On_Board_Scheduling_Parser.TC_Schedule_Selection_Spec
On_Board_Scheduling_Parser.TC_Schedule_Selection_Spec.Selection (Component)
Declared as: TC_Schedule_Selection
Declare [on_board_scheduling_parser.ads, 140] On_Board_Scheduling_Parser.TC_Schedule_Selection_Spec
On_Board_Scheduling_Parser.Unparse_Detailed_Schedule_Report.Appl_ID (Parameter)
Declared as: in Mission_Parameters.APID
Spec [on_board_scheduling_parser.ads, 286] On_Board_Scheduling_Parser.Unparse_Detailed_Schedule_Report
On_Board_Scheduling_Parser.Unparse_Detailed_Schedule_Report.Det_Sched_Rep (Parameter)
Declared as: in Detailed_Schedule_Report
Spec [on_board_scheduling_parser.ads, 287] On_Board_Scheduling_Parser.Unparse_Detailed_Schedule_Report
On_Board_Scheduling_Parser.Unparse_Summary_Schedule_Report.Appl_ID (Parameter)
Declared as: in Mission_Parameters.APID
Spec [on_board_scheduling_parser.ads, 307] On_Board_Scheduling_Parser.Unparse_Summary_Schedule_Report
On_Board_Scheduling_Parser.Unparse_Summary_Schedule_Report.Sum_Sched_Rep (Parameter)
Declared as: in Summary_Schedule_Report
Spec [on_board_scheduling_parser.ads, 308] On_Board_Scheduling_Parser.Unparse_Summary_Schedule_Report
On_Board_Scheduling_Types.Obt.Sch_Time (Parameter)
Declared as: in PUS_Data_Types.On_Board_Time
Spec [on_board_scheduling_types.ads, 91] On_Board_Scheduling_Types.Obt
On_Board_Scheduling_Types.Optional_On_Board_Time.Get_Time (Variant Component)
Declared as: PUS_Data_Types.On_Board_Time
Declare [on_board_scheduling_types.ads, 76] On_Board_Scheduling_Types.Optional_On_Board_Time
On_Board_Scheduling_Types.Optional_On_Board_Time.Time_Present (Discriminant Component)
Declared as: Boolean := False
Use [on_board_scheduling_types.ads, 74] On_Board_Scheduling_Types
Set [on_board_scheduling_types.ads, 72] On_Board_Scheduling_Types.Optional_On_Board_Time
Declare [on_board_scheduling_types.ads, 72] On_Board_Scheduling_Types.Optional_On_Board_Time
On_Board_Scheduling_Types.Time_Specification.End_Time (Variant Component)
Declared as: PUS_Data_Types.On_Board_Time
Declare [on_board_scheduling_types.ads, 123] On_Board_Scheduling_Types.Time_Specification
On_Board_Scheduling_Types.Time_Specification.Lower_Limit (Variant Component)
Declared as: PUS_Data_Types.On_Board_Time
Declare [on_board_scheduling_types.ads, 120] On_Board_Scheduling_Types.Time_Specification
On_Board_Scheduling_Types.Time_Specification.Start_Time (Variant Component)
Declared as: PUS_Data_Types.On_Board_Time
Declare [on_board_scheduling_types.ads, 125] On_Board_Scheduling_Types.Time_Specification
On_Board_Scheduling_Types.Time_Specification.Temporal_Range (Discriminant Component)
Declared as: Temporal_Range_Type := Temporal_Range_Type'first
Use [on_board_scheduling_types.ads, 118] On_Board_Scheduling_Types
Set [on_board_scheduling_types.ads, 115] On_Board_Scheduling_Types.Time_Specification
Declare [on_board_scheduling_types.ads, 115] On_Board_Scheduling_Types.Time_Specification
On_Board_Scheduling_Types.Time_Specification.Upper_Limit (Variant Component)
Declared as: PUS_Data_Types.On_Board_Time
Declare [on_board_scheduling_types.ads, 121] On_Board_Scheduling_Types.Time_Specification
On_Board_Scheduling_Types.TM_Destination (Constant)
Declared as: constant Mission_Parameters.APID := Mission_Parameters.Ground
Set [on_board_scheduling_types.ads, 54] On_Board_Scheduling_Types
Declare [on_board_scheduling_types.ads, 54] On_Board_Scheduling_Types
On_Off_Driver.Send.On_Off_Addr (Parameter)
Declared as: Device_Command_Distribution_Types.On_Off_Device_Addr
Spec [on_off_driver.ads, 71] On_Off_Driver.Send
Onboard_Monitoring_Types.<.V_1 (Parameter)
Declared as: Parameter_Value'class
Spec [onboard_monitoring_types.ads, 287] Onboard_Monitoring_Types.<
Onboard_Monitoring_Types.<.V_2 (Parameter)
Declared as: Parameter_Value'class
Spec [onboard_monitoring_types.ads, 287] Onboard_Monitoring_Types.<
Onboard_Monitoring_Types.>.V_1 (Parameter)
Declared as: Parameter_Value'class
Spec [onboard_monitoring_types.ads, 302] Onboard_Monitoring_Types.>
Onboard_Monitoring_Types.>.V_2 (Parameter)
Declared as: Parameter_Value'class
Spec [onboard_monitoring_types.ads, 302] Onboard_Monitoring_Types.>
Onboard_Monitoring_Types.Always_Apply_Check (Constant)
Declared as: constant Check_Selection_Parameter_Number := 0
Set [onboard_monitoring_types.ads, 165] Onboard_Monitoring_Types
Declare [onboard_monitoring_types.ads, 165] Onboard_Monitoring_Types
Onboard_Monitoring_Types.Always_Valid (Constant)
Declared as: constant Validity_Parameter_No := 0
Set [onboard_monitoring_types.ads, 148] Onboard_Monitoring_Types
Declare [onboard_monitoring_types.ads, 148] Onboard_Monitoring_Types
Onboard_Monitoring_Types.Check_Definition.Check_Selection_Parameter_No (Component)
Declared as: Check_Selection_Parameter_Number
Declare [onboard_monitoring_types.ads, 220] Onboard_Monitoring_Types.Check_Definition
Onboard_Monitoring_Types.Check_Definition.Check_Type (Discriminant Component)
Declared as: Check_Definition_Type := Limit
Use [onboard_monitoring_types.ads, 221] Onboard_Monitoring_Types
Set [onboard_monitoring_types.ads, 218] Onboard_Monitoring_Types.Check_Definition
Declare [onboard_monitoring_types.ads, 218] Onboard_Monitoring_Types.Check_Definition
Onboard_Monitoring_Types.Check_Definition.Limits (Variant Component)
Declared as: Limit_Specification
Declare [onboard_monitoring_types.ads, 223] Onboard_Monitoring_Types.Check_Definition
Onboard_Monitoring_Types.Check_Definition.Nominal_Value (Variant Component)
Declared as: Parameter_Check_Specification
Declare [onboard_monitoring_types.ads, 225] Onboard_Monitoring_Types.Check_Definition
Onboard_Monitoring_Types.Check_State.Actual_Value (Variant Component)
Declared as: Parameter_Value_Pointer
Declare [onboard_monitoring_types.ads, 191] Onboard_Monitoring_Types.Check_State
Onboard_Monitoring_Types.Check_State.Assigned_Checking_Status (Discriminant Component)
Declared as: Checking_Status := Unchecked
Use [onboard_monitoring_types.ads, 188] Onboard_Monitoring_Types
Set [onboard_monitoring_types.ads, 183] Onboard_Monitoring_Types.Check_State
Declare [onboard_monitoring_types.ads, 183] Onboard_Monitoring_Types.Check_State
Onboard_Monitoring_Types.Check_State.Current_Value_Repetitions (Component)
Declared as: Value_Number_Rep
Declare [onboard_monitoring_types.ads, 186] Onboard_Monitoring_Types.Check_State
Onboard_Monitoring_Types.Check_State.Last_Checking_Status (Component)
Declared as: Checking_Status
Declare [onboard_monitoring_types.ads, 187] Onboard_Monitoring_Types.Check_State
Onboard_Monitoring_Types.Check_State.Previous_Assigned_Checking_Status (Variant Component)
Declared as: Checking_Status
Declare [onboard_monitoring_types.ads, 190] Onboard_Monitoring_Types.Check_State
Onboard_Monitoring_Types.Check_State.Sample_Time (Variant Component)
Declared as: Transition_Time
Declare [onboard_monitoring_types.ads, 192] Onboard_Monitoring_Types.Check_State
Onboard_Monitoring_Types.Equal.V_1 (Parameter)
Declared as: Parameter_Value'class
Spec [onboard_monitoring_types.ads, 315] Onboard_Monitoring_Types.Equal
Onboard_Monitoring_Types.Equal.V_2 (Parameter)
Declared as: Parameter_Value'class
Spec [onboard_monitoring_types.ads, 315] Onboard_Monitoring_Types.Equal
Onboard_Monitoring_Types.Limit_Specification.High_Limit (Component)
Declared as: Parameter_Check_Specification
Declare [onboard_monitoring_types.ads, 211] Onboard_Monitoring_Types.Limit_Specification
Onboard_Monitoring_Types.Limit_Specification.Low_Limit (Component)
Declared as: Parameter_Check_Specification
Declare [onboard_monitoring_types.ads, 210] Onboard_Monitoring_Types.Limit_Specification
Onboard_Monitoring_Types.Monitoring_Violation_Report_Destination (Constant)
Declared as: constant Mission_Parameters.Destination_ID := Mission_Parameters.Ground
Set [onboard_monitoring_types.ads, 75] Onboard_Monitoring_Types
Declare [onboard_monitoring_types.ads, 75] Onboard_Monitoring_Types
Onboard_Monitoring_Types.Monitoring_Violation_Report_Subservice (Constant)
Declared as: constant Event_Reporting_Types.Reporting_Level := Event_Reporting_Types.High
Set [onboard_monitoring_types.ads, 70] Onboard_Monitoring_Types
Declare [onboard_monitoring_types.ads, 70] Onboard_Monitoring_Types
Onboard_Monitoring_Types.No_Report_Generation (Constant)
Declared as: constant Event_Reporting_Types.Report_ID := 0
Set [onboard_monitoring_types.ads, 67] Onboard_Monitoring_Types
Declare [onboard_monitoring_types.ads, 67] Onboard_Monitoring_Types
Onboard_Monitoring_Types.Nominal_Statuses (Constant)
Declared as: constant Status_Set := (Onboard_Monitoring_Types.Unchecked => True, Onboard_Monitoring_Types.Invalid => True, Onboard_Monitoring_Types.Unselected => True, Onboard_Monitoring_Types.Exp_Value => True, Onboard_Monitoring_Types.Unexpected_Value => False, Onboard_Monitoring_Types.Within_Limits => True, Onboard_Monitoring_Types.Below_Low_Limit => False, Onboard_Monitoring_Types.Above_High_Limit => False)
Set [onboard_monitoring_types.ads, 121] Onboard_Monitoring_Types
Declare [onboard_monitoring_types.ads, 121] Onboard_Monitoring_Types
Onboard_Monitoring_Types.Ordering_Relation_Exists.V_1 (Parameter)
Declared as: Parameter_Value'class
Spec [onboard_monitoring_types.ads, 272] Onboard_Monitoring_Types.Ordering_Relation_Exists
Onboard_Monitoring_Types.Ordering_Relation_Exists.V_2 (Parameter)
Declared as: Parameter_Value'class
Spec [onboard_monitoring_types.ads, 272] Onboard_Monitoring_Types.Ordering_Relation_Exists
Onboard_Monitoring_Types.Parameter_Check_Specification.Monitoring_Violation_RID (Component)
Declared as: Event_Reporting_Types.Report_ID
Declare [onboard_monitoring_types.ads, 205] Onboard_Monitoring_Types.Parameter_Check_Specification
Onboard_Monitoring_Types.Parameter_Check_Specification.Nominal_Value (Component)
Declared as: Parameter_Value_Pointer
Declare [onboard_monitoring_types.ads, 204] Onboard_Monitoring_Types.Parameter_Check_Specification
Onboard_Monitoring_Types.Parameter_Monitoring_Definition.Definition (Component)
Declared as: Check_Definition
Declare [onboard_monitoring_types.ads, 231] Onboard_Monitoring_Types.Parameter_Monitoring_Definition
Onboard_Monitoring_Types.Parameter_Monitoring_Definition.State (Component)
Declared as: Check_State
Declare [onboard_monitoring_types.ads, 232] Onboard_Monitoring_Types.Parameter_Monitoring_Definition
Onboard_Monitoring_Types.Transition_Event.Actual_Value (Component)
Declared as: Parameter_Value_Pointer
Declare [onboard_monitoring_types.ads, 249] Onboard_Monitoring_Types.Transition_Event
Onboard_Monitoring_Types.Transition_Event.ID (Component)
Declared as: Parameter_ID
Declare [onboard_monitoring_types.ads, 248] Onboard_Monitoring_Types.Transition_Event
Onboard_Monitoring_Types.Transition_Event.New_Status (Component)
Declared as: Checking_Status
Declare [onboard_monitoring_types.ads, 253] Onboard_Monitoring_Types.Transition_Event
Onboard_Monitoring_Types.Transition_Event.Nominal_Check_Specification (Component)
Declared as: Parameter_Check_Specification
Declare [onboard_monitoring_types.ads, 250] Onboard_Monitoring_Types.Transition_Event
Onboard_Monitoring_Types.Transition_Event.Previous_Status (Component)
Declared as: Checking_Status
Declare [onboard_monitoring_types.ads, 252] Onboard_Monitoring_Types.Transition_Event
Onboard_Monitoring_Types.Transition_Event.Sample_Time (Component)
Declared as: Transition_Time
Declare [onboard_monitoring_types.ads, 254] Onboard_Monitoring_Types.Transition_Event
Onboard_Storage.Dispatcher.Forward_Packet.Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [onboard_storage-dispatcher.ads, 61] Onboard_Storage.Dispatcher.Forward_Packet
Onboard_Storage.Forward_Packet.Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [onboard_storage.ads, 60] Onboard_Storage.Forward_Packet
Onboard_Storage.Interface_Manager.Delete_All_Packets.Store_ID (Parameter)
Declared as: in Onboard_Storage.Parameters.Stores.Local_Packet_Store_ID
Spec [onboard_storage-interface_manager.ads, 74] Onboard_Storage.Interface_Manager.Delete_All_Packets
Onboard_Storage.Interface_Manager.Delete_To_Packet.End_Packet (Parameter)
Declared as: in Packet_Store_Types.Sequence_Count
Spec [onboard_storage-interface_manager.ads, 89] Onboard_Storage.Interface_Manager.Delete_To_Packet
Onboard_Storage.Interface_Manager.Delete_To_Packet.Store_ID (Parameter)
Declared as: in Onboard_Storage.Parameters.Stores.Local_Packet_Store_ID
Spec [onboard_storage-interface_manager.ads, 86] Onboard_Storage.Interface_Manager.Delete_To_Packet
Onboard_Storage.Interface_Manager.Delete_To_Time.End_Time (Parameter)
Declared as: in Parameter_Representation.PUS_Time
Spec [onboard_storage-interface_manager.ads, 102] Onboard_Storage.Interface_Manager.Delete_To_Time
Onboard_Storage.Interface_Manager.Delete_To_Time.Store_ID (Parameter)
Declared as: in Onboard_Storage.Parameters.Stores.Local_Packet_Store_ID
Spec [onboard_storage-interface_manager.ads, 99] Onboard_Storage.Interface_Manager.Delete_To_Time
Onboard_Storage.Interface_Manager.Get_Packets_In_Period.N (Parameter)
Declared as: out Natural
Spec [onboard_storage-interface_manager.ads, 135] Onboard_Storage.Interface_Manager.Get_Packets_In_Period
Onboard_Storage.Interface_Manager.Get_Packets_In_Period.Ok (Parameter)
Declared as: out Boolean
Spec [onboard_storage-interface_manager.ads, 136] Onboard_Storage.Interface_Manager.Get_Packets_In_Period
Onboard_Storage.Interface_Manager.Get_Packets_In_Period.Packets (Parameter)
Declared as: in out Source_Data_Stream.Write_Stream
Spec [onboard_storage-interface_manager.ads, 134] Onboard_Storage.Interface_Manager.Get_Packets_In_Period
Onboard_Storage.Interface_Manager.Get_Packets_In_Period.Store_ID (Parameter)
Declared as: in Onboard_Storage.Parameters.Stores.Local_Packet_Store_ID
Spec [onboard_storage-interface_manager.ads, 130] Onboard_Storage.Interface_Manager.Get_Packets_In_Period
Onboard_Storage.Interface_Manager.Get_Packets_In_Period.Time_Span_Def (Parameter)
Declared as: in Packet_Store_Types.Time_Span_Spec
Spec [onboard_storage-interface_manager.ads, 133] Onboard_Storage.Interface_Manager.Get_Packets_In_Period
Onboard_Storage.Interface_Manager.Get_Packets_In_Range.N (Parameter)
Declared as: out Natural
Spec [onboard_storage-interface_manager.ads, 118] Onboard_Storage.Interface_Manager.Get_Packets_In_Range
Onboard_Storage.Interface_Manager.Get_Packets_In_Range.Ok (Parameter)
Declared as: out Boolean
Spec [onboard_storage-interface_manager.ads, 119] Onboard_Storage.Interface_Manager.Get_Packets_In_Range
Onboard_Storage.Interface_Manager.Get_Packets_In_Range.Packet_Set_Def (Parameter)
Declared as: in Packet_Store_Types.Packet_Set_Spec
Spec [onboard_storage-interface_manager.ads, 116] Onboard_Storage.Interface_Manager.Get_Packets_In_Range
Onboard_Storage.Interface_Manager.Get_Packets_In_Range.Packets (Parameter)
Declared as: in out Source_Data_Stream.Write_Stream
Spec [onboard_storage-interface_manager.ads, 117] Onboard_Storage.Interface_Manager.Get_Packets_In_Range
Onboard_Storage.Interface_Manager.Get_Packets_In_Range.Store_ID (Parameter)
Declared as: in Onboard_Storage.Parameters.Stores.Local_Packet_Store_ID
Spec [onboard_storage-interface_manager.ads, 113] Onboard_Storage.Interface_Manager.Get_Packets_In_Range
Onboard_Storage.Interface_Manager.Insert.Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [onboard_storage-interface_manager.ads, 65] Onboard_Storage.Interface_Manager.Insert
Onboard_Storage.Interface_Manager.Insert.Store_ID (Parameter)
Declared as: in Mission_Parameters.Packet_Store_ID
Spec [onboard_storage-interface_manager.ads, 64] Onboard_Storage.Interface_Manager.Insert
Onboard_Storage.Large_Data_Manager.Handle_PUS_Packet.TC_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [onboard_storage-large_data_manager.ads, 119] Onboard_Storage.Large_Data_Manager.Handle_PUS_Packet
Onboard_Storage.Large_Data_Manager.Optional_Deposit.PUS_Packet (Parameter)
Declared as: in PUS.Optional_PUS_Packet
Spec [onboard_storage-large_data_manager.ads, 134] Onboard_Storage.Large_Data_Manager.Optional_Deposit
Onboard_Storage.Parameters.Application_ID (Constant)
Declared as: constant Mission_Parameters.APID := Mission_Parameters.Onboard_Storage
Set [onboard_storage-parameters.ads, 55] Onboard_Storage.Parameters
Declare [onboard_storage-parameters.ads, 55] Onboard_Storage.Parameters
Use [onboard_storage-parameters.ads, 190] Onboard_Storage.Parameters.TC_Dispatching.TC_Buffer_Size
Use [high_priority_store.ads, 46] High_Priority_Store
Use [low_priority_store.ads, 46] Low_Priority_Store
Use [onboard_storage-storage_and_retrieval_manager.ads, 56] Onboard_Storage.Storage_And_Retrieval_Manager
Onboard_Storage.Parameters.Large_Data_Transfer.Active_Timer_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := Ada_Task_Configuration.LDT_Active_Timer_Priority
Set [onboard_storage-parameters.ads, 224] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 224] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Large_Data_Transfer.Interpreter_Stack_Size (Constant)
Declared as: constant := 15_000
Set [onboard_storage-parameters.ads, 230] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 230] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Large_Data_Transfer.Protected_State_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.LDT_Protected_State_Priority
Set [onboard_storage-parameters.ads, 210] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 210] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Large_Data_Transfer.Protected_Timer_Control_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.LDT_Protected_Timer_Control_Priority
Set [onboard_storage-parameters.ads, 219] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 219] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Large_Data_Transfer.SDU_Sender_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.SDU_Sender_Buffer_Priority
Set [onboard_storage-parameters.ads, 234] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 234] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Large_Data_Transfer.SDU_Sender_Buffer_Size (Constant)
Declared as: constant := 2
Set [onboard_storage-parameters.ads, 240] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 240] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Large_Data_Transfer.SDU_Sender_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := Ada_Task_Configuration.SDU_Sender_Interpreter_Priority
Set [onboard_storage-parameters.ads, 244] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 244] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Large_Data_Transfer.SDU_Sender_Interpreter_Stack_Size (Constant)
Declared as: constant := 15_000
Set [onboard_storage-parameters.ads, 248] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 248] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Large_Data_Transfer.Sequence_Number_List_Length (Constant)
Declared as: constant := 8
Set [onboard_storage-parameters.ads, 206] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 206] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Large_Data_Transfer.Timeout_Interval_In_Milliseconds (Constant)
Declared as: constant := 5_000
Set [onboard_storage-parameters.ads, 216] Onboard_Storage.Parameters.Large_Data_Transfer
Declare [onboard_storage-parameters.ads, 216] Onboard_Storage.Parameters.Large_Data_Transfer
Onboard_Storage.Parameters.Storage_And_Retrieval.Packet_Handler_Stack_Size (Constant)
Declared as: constant := 30_000
Set [onboard_storage-parameters.ads, 163] Onboard_Storage.Parameters.Storage_And_Retrieval
Declare [onboard_storage-parameters.ads, 163] Onboard_Storage.Parameters.Storage_And_Retrieval
Use [onboard_storage-storage_and_retrieval_manager.ads, 86] Onboard_Storage.Storage_And_Retrieval_Manager
Onboard_Storage.Parameters.Stores.High_Priority.Population (Constant)
Declared as: constant Store_Packet_Population_Spec := (Small_Buffers => 200, Medium_Buffers => 100, Large_Buffers => 0)
Set [onboard_storage-parameters.ads, 112] Onboard_Storage.Parameters.Stores.High_Priority
Declare [onboard_storage-parameters.ads, 112] Onboard_Storage.Parameters.Stores.High_Priority
Onboard_Storage.Parameters.Stores.High_Priority.Size (Constant)
Declared as: constant := 10
Set [onboard_storage-parameters.ads, 124] Onboard_Storage.Parameters.Stores.High_Priority
Declare [onboard_storage-parameters.ads, 124] Onboard_Storage.Parameters.Stores.High_Priority
Use [high_priority_store.ads, 48] High_Priority_Store
Onboard_Storage.Parameters.Stores.Low_Priority.Population (Constant)
Declared as: constant Store_Packet_Population_Spec := (Small_Buffers => 100, Medium_Buffers => 100, Large_Buffers => 100)
Set [onboard_storage-parameters.ads, 135] Onboard_Storage.Parameters.Stores.Low_Priority
Declare [onboard_storage-parameters.ads, 135] Onboard_Storage.Parameters.Stores.Low_Priority
Onboard_Storage.Parameters.Stores.Low_Priority.Size (Constant)
Declared as: constant := 10
Set [onboard_storage-parameters.ads, 148] Onboard_Storage.Parameters.Stores.Low_Priority
Declare [onboard_storage-parameters.ads, 148] Onboard_Storage.Parameters.Stores.Low_Priority
Use [low_priority_store.ads, 48] Low_Priority_Store
Onboard_Storage.Parameters.TC_Dispatching.TC_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.Onboard_Storage_TC_Buffer_Priority
Set [onboard_storage-parameters.ads, 184] Onboard_Storage.Parameters.TC_Dispatching
Declare [onboard_storage-parameters.ads, 184] Onboard_Storage.Parameters.TC_Dispatching
Onboard_Storage.Parameters.TC_Dispatching.TC_Buffer_Size (Constant)
Declared as: constant Natural := Application_Process_Parameters.The_Parameters(Application_ID).Packet_Queue_Size
Set [onboard_storage-parameters.ads, 187] Onboard_Storage.Parameters.TC_Dispatching
Declare [onboard_storage-parameters.ads, 187] Onboard_Storage.Parameters.TC_Dispatching
Onboard_Storage.Parameters.TC_Dispatching.TC_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := Onboard_Storage.Parameters.TC_Interpreters.Telecommand_Interpreter_Priority + 2
Set [onboard_storage-parameters.ads, 178] Onboard_Storage.Parameters.TC_Dispatching
Declare [onboard_storage-parameters.ads, 178] Onboard_Storage.Parameters.TC_Dispatching
Onboard_Storage.Parameters.TC_Dispatching.TC_Task_Stack_Size (Constant)
Declared as: constant := 8_000
Set [onboard_storage-parameters.ads, 182] Onboard_Storage.Parameters.TC_Dispatching
Declare [onboard_storage-parameters.ads, 182] Onboard_Storage.Parameters.TC_Dispatching
Onboard_Storage.Parameters.TC_Interpreters.Telecommand_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.Onboard_Storage_Packet_Buffer_Priority
Set [onboard_storage-parameters.ads, 70] Onboard_Storage.Parameters.TC_Interpreters
Declare [onboard_storage-parameters.ads, 70] Onboard_Storage.Parameters.TC_Interpreters
Use [onboard_storage-storage_and_retrieval_manager.ads, 77] Onboard_Storage.Storage_And_Retrieval_Manager
Onboard_Storage.Parameters.TC_Interpreters.Telecommand_Buffer_Size (Constant)
Declared as: constant := 2
Set [onboard_storage-parameters.ads, 74] Onboard_Storage.Parameters.TC_Interpreters
Declare [onboard_storage-parameters.ads, 74] Onboard_Storage.Parameters.TC_Interpreters
Use [onboard_storage-storage_and_retrieval_manager.ads, 80] Onboard_Storage.Storage_And_Retrieval_Manager
Onboard_Storage.Parameters.TC_Interpreters.Telecommand_Interpreter_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := Ada_Task_Configuration.Onboard_Storage_Packet_Handler_Priority
Set [onboard_storage-parameters.ads, 76] Onboard_Storage.Parameters.TC_Interpreters
Declare [onboard_storage-parameters.ads, 76] Onboard_Storage.Parameters.TC_Interpreters
Use [onboard_storage-parameters.ads, 181] Onboard_Storage.Parameters.TC_Dispatching.TC_Task_Priority
Use [onboard_storage-storage_and_retrieval_manager.ads, 83] Onboard_Storage.Storage_And_Retrieval_Manager
Onboard_Storage.TC_Interpreter.Handle_PUS_Packet.TC (Parameter)
Declared as: in PUS.PUS_Packet
Spec [onboard_storage-tc_interpreter.ads, 60] Onboard_Storage.TC_Interpreter.Handle_PUS_Packet