Object Cross Reference

Gen_OBS_Schedule.All_Sub_Schedules    (Parameter)
  Declared as: in Sub_Schedule_ID
    Formal   [gen_obs_schedule.ads, 71] Gen_OBS_Schedule

Gen_OBS_Schedule.Delete_TC_Packets.Application_ID    (Parameter)
  Declared as: in Mission_Parameters.APID
    Spec   [gen_obs_schedule.ads, 208] Gen_OBS_Schedule.Delete_TC_Packets

Gen_OBS_Schedule.Delete_TC_Packets.Number_Of_TCs    (Parameter)
  Declared as: in Natural
    Spec   [gen_obs_schedule.ads, 210] Gen_OBS_Schedule.Delete_TC_Packets

Gen_OBS_Schedule.Delete_TC_Packets.Seq_Count    (Parameter)
  Declared as: in PUS_Data_Types.Sequence_Count
    Spec   [gen_obs_schedule.ads, 209] Gen_OBS_Schedule.Delete_TC_Packets

Gen_OBS_Schedule.Delete_TC_Packets_Over_Time.APIDs    (Parameter)
  Declared as: in On_Board_Scheduling_Types.APID_Set
    Spec   [gen_obs_schedule.ads, 228] Gen_OBS_Schedule.Delete_TC_Packets_Over_Time

Gen_OBS_Schedule.Delete_TC_Packets_Over_Time.Number_Of_APIDs    (Parameter)
  Declared as: in Natural
    Spec   [gen_obs_schedule.ads, 227] Gen_OBS_Schedule.Delete_TC_Packets_Over_Time

Gen_OBS_Schedule.Delete_TC_Packets_Over_Time.Sub_Sch_ID    (Parameter)
  Declared as: in Sub_Schedule_ID
    Spec   [gen_obs_schedule.ads, 226] Gen_OBS_Schedule.Delete_TC_Packets_Over_Time

Gen_OBS_Schedule.Delete_TC_Packets_Over_Time.Time_Criteria    (Parameter)
  Declared as: in On_Board_Scheduling_Types.Time_Specification
    Spec   [gen_obs_schedule.ads, 223] Gen_OBS_Schedule.Delete_TC_Packets_Over_Time

Gen_OBS_Schedule.Detailed_Schedule_Info_Elem.Scheduling_Event    (Component)
  Declared as: On_Board_Scheduling_Types.Scheduling_Event_Spec
    Declare   [gen_obs_schedule.ads, 90] Gen_OBS_Schedule.Detailed_Schedule_Info_Elem

Gen_OBS_Schedule.Detailed_Schedule_Info_Elem.Sub_Sched_ID    (Component)
  Declared as: Sub_Schedule_ID
    Declare   [gen_obs_schedule.ads, 89] Gen_OBS_Schedule.Detailed_Schedule_Info_Elem

Gen_OBS_Schedule.Detailed_Schedule_Info_Elem.TC_Packet    (Component)
  Declared as: PUS.PUS_Packet
    Declare   [gen_obs_schedule.ads, 92] Gen_OBS_Schedule.Detailed_Schedule_Info_Elem

Gen_OBS_Schedule.Detailed_Schedule_Info_Elem.Time_Tag    (Component)
  Declared as: On_Board_Scheduling_Types.CUC_Time
    Declare   [gen_obs_schedule.ads, 91] Gen_OBS_Schedule.Detailed_Schedule_Info_Elem

Gen_OBS_Schedule.Disable_Sub_Schedule.APIDs    (Parameter)
  Declared as: in On_Board_Scheduling_Types.APID_Set
    Spec   [gen_obs_schedule.ads, 167] Gen_OBS_Schedule.Disable_Sub_Schedule

Gen_OBS_Schedule.Disable_Sub_Schedule.Number_Of_APIDs    (Parameter)
  Declared as: in Natural
    Spec   [gen_obs_schedule.ads, 166] Gen_OBS_Schedule.Disable_Sub_Schedule

Gen_OBS_Schedule.Disable_Sub_Schedule.Sub_Sch_ID    (Parameter)
  Declared as: in Sub_Schedule_ID
    Spec   [gen_obs_schedule.ads, 165] Gen_OBS_Schedule.Disable_Sub_Schedule

Gen_OBS_Schedule.Enable_Sub_Schedule.APIDs    (Parameter)
  Declared as: in On_Board_Scheduling_Types.APID_Set
    Spec   [gen_obs_schedule.ads, 152] Gen_OBS_Schedule.Enable_Sub_Schedule

Gen_OBS_Schedule.Enable_Sub_Schedule.Number_Of_APIDs    (Parameter)
  Declared as: in Natural
    Spec   [gen_obs_schedule.ads, 151] Gen_OBS_Schedule.Enable_Sub_Schedule

Gen_OBS_Schedule.Enable_Sub_Schedule.Sub_Sch_ID    (Parameter)
  Declared as: in Sub_Schedule_ID
    Spec   [gen_obs_schedule.ads, 150] Gen_OBS_Schedule.Enable_Sub_Schedule

Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Application_ID    (Parameter)
  Declared as: in Mission_Parameters.APID
    Spec   [gen_obs_schedule.ads, 241] Gen_OBS_Schedule.Get_Detailed_Schedule_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Det_Sch_Info    (Parameter)
  Declared as: out Detailed_Schedule_Info
    Spec   [gen_obs_schedule.ads, 244] Gen_OBS_Schedule.Get_Detailed_Schedule_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Det_Sch_Info    (Parameter)
  Declared as: out Detailed_Schedule_Info
    Spec   [gen_obs_schedule.ads, 315] Gen_OBS_Schedule.Get_Detailed_Schedule_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Info_Length    (Parameter)
  Declared as: out Natural
    Spec   [gen_obs_schedule.ads, 245] Gen_OBS_Schedule.Get_Detailed_Schedule_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Info_Length    (Parameter)
  Declared as: out Natural
    Spec   [gen_obs_schedule.ads, 316] Gen_OBS_Schedule.Get_Detailed_Schedule_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Number_Of_TCs    (Parameter)
  Declared as: in Natural
    Spec   [gen_obs_schedule.ads, 243] Gen_OBS_Schedule.Get_Detailed_Schedule_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Seq_Count    (Parameter)
  Declared as: in PUS_Data_Types.Sequence_Count
    Spec   [gen_obs_schedule.ads, 242] Gen_OBS_Schedule.Get_Detailed_Schedule_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Status    (Parameter)
  Declared as: out Verification_Types.Verification_Status
    Spec   [gen_obs_schedule.ads, 246] Gen_OBS_Schedule.Get_Detailed_Schedule_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Info.Status    (Parameter)
  Declared as: out Verification_Types.Verification_Status
    Spec   [gen_obs_schedule.ads, 317] Gen_OBS_Schedule.Get_Detailed_Schedule_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info.APIDs    (Parameter)
  Declared as: in On_Board_Scheduling_Types.APID_Set
    Spec   [gen_obs_schedule.ads, 264] Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info.Det_Sch_Info    (Parameter)
  Declared as: out Detailed_Schedule_Info
    Spec   [gen_obs_schedule.ads, 265] Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info.Info_Length    (Parameter)
  Declared as: out Natural
    Spec   [gen_obs_schedule.ads, 266] Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info.Number_Of_APIDs    (Parameter)
  Declared as: in Natural
    Spec   [gen_obs_schedule.ads, 263] Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info.Status    (Parameter)
  Declared as: out Verification_Types.Verification_Status
    Spec   [gen_obs_schedule.ads, 267] Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info.Sub_Sch_ID    (Parameter)
  Declared as: in Sub_Schedule_ID
    Spec   [gen_obs_schedule.ads, 262] Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info.Time_Criteria    (Parameter)
  Declared as: in On_Board_Scheduling_Types.Time_Specification
    Spec   [gen_obs_schedule.ads, 259] Gen_OBS_Schedule.Get_Detailed_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Info.Application_ID    (Parameter)
  Declared as: in Mission_Parameters.APID
    Spec   [gen_obs_schedule.ads, 279] Gen_OBS_Schedule.Get_Summary_Schedule_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Info.Info_Length    (Parameter)
  Declared as: out Natural
    Spec   [gen_obs_schedule.ads, 283] Gen_OBS_Schedule.Get_Summary_Schedule_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Info.Info_Length    (Parameter)
  Declared as: out Natural
    Spec   [gen_obs_schedule.ads, 328] Gen_OBS_Schedule.Get_Summary_Schedule_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Info.Number_Of_TCs    (Parameter)
  Declared as: in Natural
    Spec   [gen_obs_schedule.ads, 281] Gen_OBS_Schedule.Get_Summary_Schedule_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Info.Seq_Count    (Parameter)
  Declared as: in PUS_Data_Types.Sequence_Count
    Spec   [gen_obs_schedule.ads, 280] Gen_OBS_Schedule.Get_Summary_Schedule_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Info.Status    (Parameter)
  Declared as: out Verification_Types.Verification_Status
    Spec   [gen_obs_schedule.ads, 284] Gen_OBS_Schedule.Get_Summary_Schedule_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Info.Status    (Parameter)
  Declared as: out Verification_Types.Verification_Status
    Spec   [gen_obs_schedule.ads, 329] Gen_OBS_Schedule.Get_Summary_Schedule_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Info.Sum_Sch_Info    (Parameter)
  Declared as: out Summary_Schedule_Info
    Spec   [gen_obs_schedule.ads, 282] Gen_OBS_Schedule.Get_Summary_Schedule_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Info.Sum_Sch_Info    (Parameter)
  Declared as: out Summary_Schedule_Info
    Spec   [gen_obs_schedule.ads, 327] Gen_OBS_Schedule.Get_Summary_Schedule_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info.APIDs    (Parameter)
  Declared as: in On_Board_Scheduling_Types.APID_Set
    Spec   [gen_obs_schedule.ads, 302] Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info.Info_Length    (Parameter)
  Declared as: out Natural
    Spec   [gen_obs_schedule.ads, 304] Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info.Number_Of_APIDs    (Parameter)
  Declared as: in Natural
    Spec   [gen_obs_schedule.ads, 301] Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info.Status    (Parameter)
  Declared as: out Verification_Types.Verification_Status
    Spec   [gen_obs_schedule.ads, 305] Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info.Sub_Sch_ID    (Parameter)
  Declared as: in Sub_Schedule_ID
    Spec   [gen_obs_schedule.ads, 300] Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info.Sum_Sch_Info    (Parameter)
  Declared as: out Summary_Schedule_Info
    Spec   [gen_obs_schedule.ads, 303] Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info

Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info.Time_Criteria    (Parameter)
  Declared as: in On_Board_Scheduling_Types.Time_Specification
    Spec   [gen_obs_schedule.ads, 297] Gen_OBS_Schedule.Get_Summary_Schedule_Over_Time_Info

Gen_OBS_Schedule.Insert_TC_Packet.Scheduling_Event    (Parameter)
  Declared as: in On_Board_Scheduling_Types.Scheduling_Event_Spec
    Spec   [gen_obs_schedule.ads, 192] Gen_OBS_Schedule.Insert_TC_Packet

Gen_OBS_Schedule.Insert_TC_Packet.Sub_Sch_ID    (Parameter)
  Declared as: in Sub_Schedule_ID
    Spec   [gen_obs_schedule.ads, 191] Gen_OBS_Schedule.Insert_TC_Packet

Gen_OBS_Schedule.Insert_TC_Packet.TC_Packet    (Parameter)
  Declared as: in PUS.PUS_Packet
    Spec   [gen_obs_schedule.ads, 196] Gen_OBS_Schedule.Insert_TC_Packet

Gen_OBS_Schedule.Insert_TC_Packet.Time_Tag    (Parameter)
  Declared as: in On_Board_Scheduling_Types.CUC_Time
    Spec   [gen_obs_schedule.ads, 195] Gen_OBS_Schedule.Insert_TC_Packet

Gen_OBS_Schedule.Max_Number_Of_Telecommands_Due    (Parameter)
  Declared as: in Positive
    Formal   [gen_obs_schedule.ads, 68] Gen_OBS_Schedule
    Use   [gen_obs_schedule.ads, 112] Gen_OBS_Schedule.TC_List_Range

Gen_OBS_Schedule.Protected_Object_Priority    (Parameter)
  Declared as: in Task_Priority_Control.Passive_Task_Priority
    Formal   [gen_obs_schedule.ads, 74] Gen_OBS_Schedule

Gen_OBS_Schedule.Schedule_Size    (Parameter)
  Declared as: in Natural
    Formal   [gen_obs_schedule.ads, 62] Gen_OBS_Schedule

Gen_OBS_Schedule.Summary_Schedule_Info_Elem.Application_ID    (Component)
  Declared as: Mission_Parameters.APID
    Declare   [gen_obs_schedule.ads, 103] Gen_OBS_Schedule.Summary_Schedule_Info_Elem

Gen_OBS_Schedule.Summary_Schedule_Info_Elem.Scheduling_Event    (Component)
  Declared as: On_Board_Scheduling_Types.Scheduling_Event_Spec
    Declare   [gen_obs_schedule.ads, 101] Gen_OBS_Schedule.Summary_Schedule_Info_Elem

Gen_OBS_Schedule.Summary_Schedule_Info_Elem.Seq_Count    (Component)
  Declared as: PUS_Data_Types.Sequence_Count
    Declare   [gen_obs_schedule.ads, 104] Gen_OBS_Schedule.Summary_Schedule_Info_Elem

Gen_OBS_Schedule.Summary_Schedule_Info_Elem.Sub_Sched_ID    (Component)
  Declared as: Sub_Schedule_ID
    Declare   [gen_obs_schedule.ads, 100] Gen_OBS_Schedule.Summary_Schedule_Info_Elem

Gen_OBS_Schedule.Summary_Schedule_Info_Elem.Time_Tag    (Component)
  Declared as: On_Board_Scheduling_Types.CUC_Time
    Declare   [gen_obs_schedule.ads, 102] Gen_OBS_Schedule.Summary_Schedule_Info_Elem

Gen_OBS_Scheduler.Forward_TC.Packet    (Parameter)
  Declared as: in PUS.PUS_Packet
    Formal   [gen_obs_scheduler.ads, 63] Gen_OBS_Scheduler.Forward_TC

Gen_OBS_Scheduler.My_Application_ID    (Parameter)
  Declared as: in Mission_Parameters.APID
    Formal   [gen_obs_scheduler.ads, 53] Gen_OBS_Scheduler

Gen_OBS_Scheduler.Scheduler_Task_Priority    (Parameter)
  Declared as: in Task_Priority_Control.Active_Task_Priority
    Formal   [gen_obs_scheduler.ads, 80] Gen_OBS_Scheduler

Gen_OBS_Scheduler.Scheduler_Task_Stack_Size    (Parameter)
  Declared as: in Natural
    Formal   [gen_obs_scheduler.ads, 82] Gen_OBS_Scheduler

Gen_OBS_Scheduler.Scheduling_Period    (Parameter)
  Declared as: in Integer
    Formal   [gen_obs_scheduler.ads, 77] Gen_OBS_Scheduler

Generic_TC_Translator.Handle_PUS_Packet.TC    (Parameter)
  Declared as: in PUS.PUS_Packet
    Spec   [generic_tc_translator.ads, 129] Generic_TC_Translator.Handle_PUS_Packet

Generic_TC_Translator.My_APID    (Parameter)
  Declared as: in Mission_Parameters.APID
    Formal   [generic_tc_translator.ads, 71] Generic_TC_Translator

Generic_TC_Translator.Parser.My_APID    (Parameter)
  Declared as: in Mission_Parameters.APID
    Formal   [generic_tc_translator-parser.ads, 47] Generic_TC_Translator.Parser

Generic_TC_Translator.Parser.Service_Request.Function_ID    (Component)
  Declared as: Function_Management_Types.Function_ID
    Declare   [generic_tc_translator-parser.ads, 76] Generic_TC_Translator.Parser.Service_Request

Generic_TC_Translator.Parser.Service_Request.Number_Of_Parameters    (Discriminant Component)
  Declared as: Function_Management_Types.List_Length
    Declare   [generic_tc_translator-parser.ads, 74] Generic_TC_Translator.Parser.Service_Request
    Use   [generic_tc_translator-parser.ads, 81] Generic_TC_Translator.Parser.Service_Request.Parameters

Generic_TC_Translator.Parser.Service_Request.Parameters    (Variant Component)
  Declared as: Function_Management_Types.Parameter_List (1 .. Number_Of_Parameters)
    Declare   [generic_tc_translator-parser.ads, 79] Generic_TC_Translator.Parser.Service_Request

Generic_TC_Translator.Parser.Service_Request.Subservice    (Discriminant Component)
  Declared as: Function_Management_Types.Subservice
    Use   [generic_tc_translator-parser.ads, 77] Generic_TC_Translator.Parser
    Declare   [generic_tc_translator-parser.ads, 73] Generic_TC_Translator.Parser.Service_Request

Generic_TC_Translator.Parser.Transform_Telecommand.TC    (Parameter)
  Declared as: PUS.PUS_Packet
    Spec   [generic_tc_translator-parser.ads, 97] Generic_TC_Translator.Parser.Transform_Telecommand

Generic_TC_Translator.Perform_Function.Fct_ID    (Parameter)
  Declared as: Function_Management_Types.Function_ID
    Formal   [generic_tc_translator.ads, 86] Generic_TC_Translator.Perform_Function

Generic_TC_Translator.Perform_Function.Params    (Parameter)
  Declared as: Function_Management_Types.Parameter_List
    Formal   [generic_tc_translator.ads, 87] Generic_TC_Translator.Perform_Function

Generic_TC_Translator.Perform_Function.TC    (Parameter)
  Declared as: PUS.PUS_Packet
    Formal   [generic_tc_translator.ads, 85] Generic_TC_Translator.Perform_Function

Generic_TC_Translator.Telecommand_Buffer_Priority    (Parameter)
  Declared as: in Task_Priority_Control.Passive_Task_Priority
    Formal   [generic_tc_translator.ads, 92] Generic_TC_Translator

Generic_TC_Translator.Telecommand_Buffer_Size    (Parameter)
  Declared as: in Positive
    Formal   [generic_tc_translator.ads, 99] Generic_TC_Translator

Generic_TC_Translator.Telecommand_Interpreter_Priority    (Parameter)
  Declared as: in Task_Priority_Control.Active_Task_Priority
    Formal   [generic_tc_translator.ads, 103] Generic_TC_Translator

Generic_TC_Translator.Telecommand_Interpreter_Stack_Size    (Parameter)
  Declared as: in Natural
    Formal   [generic_tc_translator.ads, 106] Generic_TC_Translator

Globals.Circular_Buffer_Low_Level_Byte_Buffer_Size    (Constant)
  Declared as: constant Natural := 2_000
    Set   [globals.ads, 53]          Globals
    Declare   [globals.ads, 53]      Globals

Globals.Main_Task_Priority    (Constant)
  Declared as: constant System.Priority := System.Priority'first
    Set   [globals.ads, 54]          Globals
    Declare   [globals.ads, 54]      Globals

Globals.Queue_Size    (Constant)
  Declared as: constant := 10
    Set   [globals.ads, 51]          Globals
    Declare   [globals.ads, 51]      Globals

Globals.Stack_Size    (Constant)
  Declared as: constant := 28_000
    Set   [globals.ads, 50]          Globals
    Declare   [globals.ads, 50]      Globals
    Use   [sporadic_task.ads, 89]    Sporadic_Task.Sporadic_Task
    Use   [event_action-service-pus_handler.ads, 89] Event_Action.Service.PUS_Handler.The_Interpreter.Sporadic_Task

Ground_IF.Forward_Packet.Packet    (Parameter)
  Declared as: in PUS.PUS_Packet
    Spec   [ground_if.ads, 72]       Ground_IF.Forward_Packet

Ground_IF.Receive.Data    (Parameter)
  Declared as: in Basic_Types.Byte_Array
    Spec   [ground_if.ads, 81]       Ground_IF.Receive