Object Cross Reference
Universal_Parameter_Representation.*.Left (Parameter)
Declared as: Universal_Parameter_Type
Spec [universal_parameter_representation.ads, 76] Universal_Parameter_Representation.*
Universal_Parameter_Representation.*.Left (Parameter)
Declared as: Void_Parameter_Type
Spec [universal_parameter_representation.ads, 130] Universal_Parameter_Representation.*
Universal_Parameter_Representation.*.Right (Parameter)
Declared as: Natural
Spec [universal_parameter_representation.ads, 77] Universal_Parameter_Representation.*
Universal_Parameter_Representation.*.Right (Parameter)
Declared as: Natural
Spec [universal_parameter_representation.ads, 131] Universal_Parameter_Representation.*
Universal_Parameter_Representation.-.Left (Parameter)
Declared as: Universal_Parameter_Type
Spec [universal_parameter_representation.ads, 64] Universal_Parameter_Representation.-
Universal_Parameter_Representation.-.Left (Parameter)
Declared as: Void_Parameter_Type
Spec [universal_parameter_representation.ads, 127] Universal_Parameter_Representation.-
Universal_Parameter_Representation.-.Right (Parameter)
Declared as: Universal_Parameter_Type
Spec [universal_parameter_representation.ads, 64] Universal_Parameter_Representation.-
Universal_Parameter_Representation.-.Right (Parameter)
Declared as: Void_Parameter_Type
Spec [universal_parameter_representation.ads, 127] Universal_Parameter_Representation.-
Universal_Parameter_Representation.>.Left (Parameter)
Declared as: Universal_Parameter_Type
Spec [universal_parameter_representation.ads, 99] Universal_Parameter_Representation.>
Universal_Parameter_Representation.>.Left (Parameter)
Declared as: Universal_Parameter_Type
Spec [universal_parameter_representation.ads, 102] Universal_Parameter_Representation.>
Universal_Parameter_Representation.>.Left (Parameter)
Declared as: Void_Parameter_Type
Spec [universal_parameter_representation.ads, 137] Universal_Parameter_Representation.>
Universal_Parameter_Representation.>.Left (Parameter)
Declared as: Void_Parameter_Type
Spec [universal_parameter_representation.ads, 140] Universal_Parameter_Representation.>
Universal_Parameter_Representation.>.Right (Parameter)
Declared as: Universal_Parameter_Type
Spec [universal_parameter_representation.ads, 99] Universal_Parameter_Representation.>
Universal_Parameter_Representation.>.Right (Parameter)
Declared as: Natural
Spec [universal_parameter_representation.ads, 103] Universal_Parameter_Representation.>
Universal_Parameter_Representation.>.Right (Parameter)
Declared as: Void_Parameter_Type
Spec [universal_parameter_representation.ads, 137] Universal_Parameter_Representation.>
Universal_Parameter_Representation.>.Right (Parameter)
Declared as: Natural
Spec [universal_parameter_representation.ads, 141] Universal_Parameter_Representation.>
Universal_Parameter_Representation.abs.Left (Parameter)
Declared as: Void_Parameter_Type
Spec [universal_parameter_representation.ads, 134] Universal_Parameter_Representation.abs
Universal_Parameter_Representation.abs.Value (Parameter)
Declared as: Universal_Parameter_Type
Spec [universal_parameter_representation.ads, 88] Universal_Parameter_Representation.abs
Universal_Parameter_Representation.Integer.*.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-integer.ads, 88] Universal_Parameter_Representation.Integer.*
Universal_Parameter_Representation.Integer.*.Right (Parameter)
Declared as: Natural
Spec [universal_parameter_representation-integer.ads, 89] Universal_Parameter_Representation.Integer.*
Universal_Parameter_Representation.Integer.-.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-integer.ads, 76] Universal_Parameter_Representation.Integer.-
Universal_Parameter_Representation.Integer.-.Right (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-integer.ads, 76] Universal_Parameter_Representation.Integer.-
Universal_Parameter_Representation.Integer.>.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-integer.ads, 111] Universal_Parameter_Representation.Integer.>
Universal_Parameter_Representation.Integer.>.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-integer.ads, 114] Universal_Parameter_Representation.Integer.>
Universal_Parameter_Representation.Integer.>.Right (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-integer.ads, 111] Universal_Parameter_Representation.Integer.>
Universal_Parameter_Representation.Integer.>.Right (Parameter)
Declared as: Natural
Spec [universal_parameter_representation-integer.ads, 115] Universal_Parameter_Representation.Integer.>
Universal_Parameter_Representation.Integer.abs.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-integer.ads, 100] Universal_Parameter_Representation.Integer.abs
Universal_Parameter_Representation.Integer.Make_Universal_Parameter.Parameter (Parameter)
Declared as: Universal_Representation
Spec [universal_parameter_representation-integer.ads, 65] Universal_Parameter_Representation.Integer.Make_Universal_Parameter
Universal_Parameter_Representation.Integer.Universal_Parameter.Value (Component)
Declared as: Universal_Representation
Declare [universal_parameter_representation-integer.ads, 122] Universal_Parameter_Representation.Integer.Universal_Parameter
Universal_Parameter_Representation.Real.*.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-real.ads, 87] Universal_Parameter_Representation.Real.*
Universal_Parameter_Representation.Real.*.Right (Parameter)
Declared as: Natural
Spec [universal_parameter_representation-real.ads, 88] Universal_Parameter_Representation.Real.*
Universal_Parameter_Representation.Real.-.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-real.ads, 74] Universal_Parameter_Representation.Real.-
Universal_Parameter_Representation.Real.-.Right (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-real.ads, 74] Universal_Parameter_Representation.Real.-
Universal_Parameter_Representation.Real.>.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-real.ads, 110] Universal_Parameter_Representation.Real.>
Universal_Parameter_Representation.Real.>.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-real.ads, 113] Universal_Parameter_Representation.Real.>
Universal_Parameter_Representation.Real.>.Right (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-real.ads, 110] Universal_Parameter_Representation.Real.>
Universal_Parameter_Representation.Real.>.Right (Parameter)
Declared as: Natural
Spec [universal_parameter_representation-real.ads, 114] Universal_Parameter_Representation.Real.>
Universal_Parameter_Representation.Real.abs.Left (Parameter)
Declared as: Universal_Parameter
Spec [universal_parameter_representation-real.ads, 99] Universal_Parameter_Representation.Real.abs
Universal_Parameter_Representation.Real.Make_Universal_Parameter.Parameter (Parameter)
Declared as: Universal_Representation
Spec [universal_parameter_representation-real.ads, 63] Universal_Parameter_Representation.Real.Make_Universal_Parameter
Universal_Parameter_Representation.Real.Universal_Parameter.Value (Component)
Declared as: Universal_Representation
Declare [universal_parameter_representation-real.ads, 121] Universal_Parameter_Representation.Real.Universal_Parameter
Up_Down_Link_Bus.Channel_To_Interrupt_Mapping (Constant)
Declared as: => Ada.Interrupts.Interrupt_ID(Kernel.Peripherals.UART_B_Ready))
Instantiation [up_down_link_bus.ads, 43] Up_Down_Link_Bus
Use [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Handler
Up_Down_Link_Bus.UART_Error_Counters.Buffer_Overflow (Component)
Declared as: Error_Counter := 0
Instantiation [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Error_Counters
Up_Down_Link_Bus.UART_Error_Counters.Framing_Error (Component)
Declared as: Error_Counter := 0
Instantiation [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Error_Counters
Up_Down_Link_Bus.UART_Error_Counters.Overrun_Error (Component)
Declared as: Error_Counter := 0
Instantiation [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Error_Counters
Up_Down_Link_Bus.UART_Error_Counters.Parity_Error (Component)
Declared as: Error_Counter := 0
Instantiation [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Error_Counters
Up_Down_Link_Bus.UART_Errors (Object)
Declared as: UART_Error_Counters
Instantiation [up_down_link_bus.ads, 43] Up_Down_Link_Bus
Up_Down_Link_Parameters.Application_ID (Constant)
Declared as: constant Mission_Parameters.APID := Mission_Parameters.Ground
Set [up_down_link_parameters.ads, 69] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 69] Up_Down_Link_Parameters
Use [up_down_link_bus.ads, 49] Up_Down_Link_Bus
Up_Down_Link_Parameters.Circular_Buffer_Low_Level_Byte_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.Up_Down_Link_Circular_Buffer_Low_Level_Byte_Buffer_Priority
Set [up_down_link_parameters.ads, 103] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 103] Up_Down_Link_Parameters
Up_Down_Link_Parameters.Circular_Buffer_Low_Level_Byte_Buffer_Size (Constant)
Declared as: constant Natural := 2048
Set [up_down_link_parameters.ads, 101] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 101] Up_Down_Link_Parameters
Up_Down_Link_Parameters.Convert_From_Ground_External_To_PUS_Packet.Packet (Parameter)
Declared as: in Basic_Types.Byte_Array
Spec [up_down_link_parameters.ads, 146] Up_Down_Link_Parameters.Convert_From_Ground_External_To_PUS_Packet
Up_Down_Link_Parameters.Convert_From_Ground_External_To_PUS_Packet.Type_Of_Packet (Parameter)
Declared as: in External_PUS_Data_Types.External_Packet_Type
Spec [up_down_link_parameters.ads, 147] Up_Down_Link_Parameters.Convert_From_Ground_External_To_PUS_Packet
Up_Down_Link_Parameters.Convert_From_PUS_To_Ground_External_Packet.PUS_Packet (Parameter)
Declared as: in PUS.PUS_Packet
Spec [up_down_link_parameters.ads, 156] Up_Down_Link_Parameters.Convert_From_PUS_To_Ground_External_Packet
Up_Down_Link_Parameters.Dispatcher_Event_Buffer_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.Up_Down_Link_Dispatcher_Event_Buffer_Priority
Set [up_down_link_parameters.ads, 115] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 115] Up_Down_Link_Parameters
Up_Down_Link_Parameters.Dispatcher_Event_Buffer_Size (Constant)
Declared as: constant Natural := Application_Process_Parameters.The_Parameters(Mission_Parameters.Ground).Packet_Queue_Size
Set [up_down_link_parameters.ads, 107] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 107] Up_Down_Link_Parameters
Up_Down_Link_Parameters.Dispatcher_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := Ada_Task_Configuration.Up_Down_Link_Dispatcher_Task_Priority
Set [up_down_link_parameters.ads, 111] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 111] Up_Down_Link_Parameters
Up_Down_Link_Parameters.Dispatcher_Task_Stack_Size (Constant)
Declared as: constant Natural := 8_000
Set [up_down_link_parameters.ads, 114] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 114] Up_Down_Link_Parameters
Up_Down_Link_Parameters.Ground_Sync_Word (Constant)
Declared as: constant Basic_Types.Byte_Array (1 .. 2) := (16#DE#, 16#AD#)
Set [up_down_link_parameters.ads, 131] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 131] Up_Down_Link_Parameters
Up_Down_Link_Parameters.Receiver_Event_Buffer_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.Up_Down_Link_Receiver_Event_Buffer_Task_Priority
Set [up_down_link_parameters.ads, 119] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 119] Up_Down_Link_Parameters
Up_Down_Link_Parameters.TC_Low_Level_Receiver_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := Ada_Task_Configuration.Up_Down_Link_TC_Low_Level_Receiver_Task_Priority
Set [up_down_link_parameters.ads, 134] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 134] Up_Down_Link_Parameters
Up_Down_Link_Parameters.The_Receiver_Buffer_Size (Constant)
Declared as: constant Natural := 20
Set [up_down_link_parameters.ads, 128] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 128] Up_Down_Link_Parameters
Up_Down_Link_Parameters.The_Receiver_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := Ada_Task_Configuration.Up_Down_Link_The_Receiver_Task_Priority
Set [up_down_link_parameters.ads, 123] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 123] Up_Down_Link_Parameters
Up_Down_Link_Parameters.The_Receiver_Task_Stack_Size (Constant)
Declared as: constant Natural := 8_000
Set [up_down_link_parameters.ads, 126] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 126] Up_Down_Link_Parameters
Up_Down_Link_Parameters.UART_Baud_Rate (Constant)
Declared as: constant Kernel.Peripherals.UART_Baudrate := 115_200
Set [up_down_link_parameters.ads, 76] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 76] Up_Down_Link_Parameters
Up_Down_Link_Parameters.UART_Channel (Constant)
Declared as: constant Kernel.Peripherals.UART_Channel := Kernel.Peripherals.B
Set [up_down_link_parameters.ads, 73] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 73] Up_Down_Link_Parameters
Up_Down_Link_Parameters.UART_Interrupt_Handler_Priority (Constant)
Declared as: constant Task_Priority_Control.Interrupt_Task_Priority := Ada_Task_Configuration.UART_Interrupt_Handler_Priority
Set [up_down_link_parameters.ads, 87] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 87] Up_Down_Link_Parameters
Use [up_down_link_bus.ads, 51] Up_Down_Link_Bus
Use [up_down_link_bus.ads, 43] Up_Down_Link_Bus.UART_Handler
Up_Down_Link_Parameters.UART_Parity (Constant)
Declared as: constant Kernel.Peripherals.UART_Parity := Kernel.Peripherals.None
Set [up_down_link_parameters.ads, 78] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 78] Up_Down_Link_Parameters
Up_Down_Link_Parameters.UART_Protected_Priority (Constant)
Declared as: constant Task_Priority_Control.Passive_Task_Priority := Ada_Task_Configuration.UART_Protected_Priority
Set [up_down_link_parameters.ads, 83] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 83] Up_Down_Link_Parameters
Use [up_down_link_bus.ads, 47] Up_Down_Link_Bus
Up_Down_Link_Parameters.UART_Receive_Buffer_Size (Constant)
Declared as: constant Natural := Mission_Parameters.Tcpkt_Max_Length
Set [up_down_link_parameters.ads, 96] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 96] Up_Down_Link_Parameters
Use [up_down_link_bus.ads, 57] Up_Down_Link_Bus
Up_Down_Link_Parameters.UART_Receiver_Task_Priority (Constant)
Declared as: constant Task_Priority_Control.Active_Task_Priority := Ada_Task_Configuration.UART_Receiver_Task_Priority
Set [up_down_link_parameters.ads, 91] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 91] Up_Down_Link_Parameters
Use [up_down_link_bus.ads, 53] Up_Down_Link_Bus
Up_Down_Link_Parameters.UART_Receiver_Task_Stack_Size (Constant)
Declared as: constant Natural := 8_000
Set [up_down_link_parameters.ads, 94] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 94] Up_Down_Link_Parameters
Use [up_down_link_bus.ads, 55] Up_Down_Link_Bus
Up_Down_Link_Parameters.UART_Stop_Bits (Constant)
Declared as: constant Kernel.Peripherals.UART_Stop_Bits := Kernel.Peripherals.One
Set [up_down_link_parameters.ads, 80] Up_Down_Link_Parameters
Declare [up_down_link_parameters.ads, 80] Up_Down_Link_Parameters