Type Cross Reference [D]

Type Cross Reference

Non-Alpha

Data_Handling_System.Parameters.Memory_Management.Memory_ID    (Type Enumeration)
    Declare   [data_handling_system-parameters.ads, 199] Data_Handling_System.Parameters.Memory_Management
    Ref   [data_handling_system-parameters.ads, 203] Data_Handling_System.Parameters.Memory_Management.Memory_ID_Representation_Mapping
    Type   [memory_manager.ads, 81]  Memory_Manager.Write_Data.Memory_Def
    Type   [memory_manager.ads, 100] Memory_Manager.Read_Data.Memory_Def
    Type   [memory_manager.ads, 120] Memory_Manager.Calculate_ISO_Checksum.Memory_Def
    Ref   [data_handling_system-memory_manager.ads, 60] Data_Handling_System.Memory_Manager

Data_Handling_System.Parameters.Memory_Management.Memory_ID.Code    (Enumeration Literal)
    Declare   [data_handling_system-parameters.ads, 200] Data_Handling_System.Parameters.Memory_Management.Memory_ID
    Ref   [data_handling_system-parameters.ads, 206] Data_Handling_System.Parameters.Memory_Management.Memory_ID_Representation

Data_Handling_System.Parameters.Memory_Management.Memory_ID.Data    (Enumeration Literal)
    Declare   [data_handling_system-parameters.ads, 201] Data_Handling_System.Parameters.Memory_Management.Memory_ID
    Ref   [data_handling_system-parameters.ads, 215] Data_Handling_System.Parameters.Memory_Management.Memory_ID_Representation

Data_Handling_System.Parameters.Memory_Management.Memory_ID_Representation_Mapping    (Type)
  Declared as: array (Memory_ID) of External_Memory_Management_Types.Memory_ID
    Declare   [data_handling_system-parameters.ads, 203] Data_Handling_System.Parameters.Memory_Management
    Type   [data_handling_system-parameters.ads, 205] Data_Handling_System.Parameters.Memory_Management.Memory_ID_Representation
    Ref   [data_handling_system-memory_manager.ads, 63] Data_Handling_System.Memory_Manager

Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID    (Type Enumeration)
    Declare   [data_handling_system-parameters.ads, 148] Data_Handling_System.Parameters.Onboard_Scheduling
    Ref   [data_handling_system-parameters.ads, 155] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID_Representation_Mapping
    Ref   [data_handling_system-tc_scheduler.ads, 61] Data_Handling_System.TC_Scheduler

Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID.All_Sub_Schedules    (Enumeration Literal)
    Declare   [data_handling_system-parameters.ads, 149] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID
    Ref   [data_handling_system-parameters.ads, 159] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID_Representation
    Ref   [data_handling_system-tc_scheduler.ads, 64] Data_Handling_System.TC_Scheduler

Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID.Sub_Schedule_1    (Enumeration Literal)
    Declare   [data_handling_system-parameters.ads, 150] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID
    Ref   [data_handling_system-parameters.ads, 160] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID_Representation

Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID.Sub_Schedule_2    (Enumeration Literal)
    Declare   [data_handling_system-parameters.ads, 151] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID
    Ref   [data_handling_system-parameters.ads, 161] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID_Representation

Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID.Sub_Schedule_3    (Enumeration Literal)
    Declare   [data_handling_system-parameters.ads, 152] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID
    Ref   [data_handling_system-parameters.ads, 162] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID_Representation

Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID_Representation_Mapping    (Type)
  Declared as: array (Sub_Schedule_ID) of External_On_Board_Scheduling_Types.Sub_Schedule_ID
    Declare   [data_handling_system-parameters.ads, 154] Data_Handling_System.Parameters.Onboard_Scheduling
    Type   [data_handling_system-parameters.ads, 158] Data_Handling_System.Parameters.Onboard_Scheduling.Sub_Schedule_ID_Representation
    Ref   [data_handling_system-tc_scheduler.ads, 67] Data_Handling_System.TC_Scheduler

Device_Command_Distribution_Types.List_Length    (Type)
  Declared as: new Natural
    Declare   [device_command_distribution_types.ads, 61] Device_Command_Distribution_Types
    Type   [device_command_parser.ads, 72] Device_Command_Parser.List_Length

Device_Command_Distribution_Types.On_Off_Device_Addr    (Type)
  Declared as: new Natural
    Declare   [device_command_distribution_types.ads, 65] Device_Command_Distribution_Types
    Type   [on_off_driver.ads, 73]   On_Off_Driver.Send.On_Off_Addr
    Type   [device_command_parser.ads, 81] Device_Command_Parser.On_Off_Command

Device_Command_Distribution_Types.Register_Data    (Type)
  Declared as: new Natural
    Declare   [device_command_distribution_types.ads, 70] Device_Command_Distribution_Types
    Type   [register_driver.ads, 74] Register_Driver.Send.Register_Contents
    Type   [device_command_parser.ads, 92] Device_Command_Parser.Register_Load_Command.Register_Data

Device_Command_Distribution_Types.Register_Device_Addr    (Type)
  Declared as: new Natural
    Declare   [device_command_distribution_types.ads, 66] Device_Command_Distribution_Types
    Type   [register_driver.ads, 72] Register_Driver.Send.Register_Addr
    Type   [device_command_parser.ads, 90] Device_Command_Parser.Register_Load_Command.Register_Address

Device_Command_Parser.Command_Index    (Type)
  Declared as: List_Length range 1 .. List_Length(External_Device_Command_Distribution_Types.Max_No_Of_Commands)
    Declare   [device_command_parser.ads, 73] Device_Command_Parser
    Ref   [device_command_parser.ads, 82] Device_Command_Parser.On_Off_Command_List
    Ref   [device_command_parser.ads, 95] Device_Command_Parser.Register_Load_Command_List

Device_Command_Parser.Device_Commands    (Abstract Type)
    Declare   [device_command_parser.ads, 131] Device_Command_Parser
    Type   [device_command_parser.ads, 141] Device_Command_Parser.Interpret_TC.Cmd
    Derive   [device_command_parser.ads, 147] Device_Command_Parser.On_Off_Commands
    Derive   [device_command_parser.ads, 172] Device_Command_Parser.Register_Load_Commands
    Type   [device_command_parser.ads, 211] Device_Command_Parser.Parse_Source_Data
    Ref   [device_command_parser.ads, 219] Device_Command_Parser.The_Parser
    Type   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser.Internal_TC_Source_Data_Pointer

Device_Command_Parser.Internal_TC_Representation    (Tagged Type)
  Declared as: The_Parser.Internal_TC_Representation
    Declare   [device_command_parser.ads, 222] Device_Command_Parser
    Type   [device_command_parser.ads, 240] Device_Command_Parser.Parse_TC

Device_Command_Parser.Internal_TC_Representation_Failed    (Tagged Type)
  Declared as: The_Parser.Internal_TC_Representation_Failed
    Declare   [device_command_parser.ads, 225] Device_Command_Parser

Device_Command_Parser.Internal_TC_Representation_Passed    (Tagged Type)
  Declared as: The_Parser.Internal_TC_Representation_Passed
    Declare   [device_command_parser.ads, 228] Device_Command_Parser

Device_Command_Parser.Interpretation_Result    (Type Enumeration)
    Declare   [device_command_parser.ads, 196] Device_Command_Parser

Device_Command_Parser.Interpretation_Result.Failed    (Enumeration Literal)
    Declare   [device_command_parser.ads, 197] Device_Command_Parser.Interpretation_Result

Device_Command_Parser.Interpretation_Result.Passed    (Enumeration Literal)
    Declare   [device_command_parser.ads, 198] Device_Command_Parser.Interpretation_Result

Device_Command_Parser.List_Length    (Type)
  Declared as: Device_Command_Distribution_Types.List_Length
    Declare   [device_command_parser.ads, 72] Device_Command_Parser
    Type   [device_command_parser.ads, 74] Device_Command_Parser.Command_Index
    Convert   [device_command_parser.ads, 76] Device_Command_Parser.Command_Index
    Type   [device_command_parser.ads, 146] Device_Command_Parser.On_Off_Commands.Number_Of_Commands
    Type   [device_command_parser.ads, 171] Device_Command_Parser.Register_Load_Commands.Number_Of_Commands

Device_Command_Parser.On_Off_Command    (Type)
  Declared as: Device_Command_Distribution_Types.On_Off_Device_Addr
    Declare   [device_command_parser.ads, 80] Device_Command_Parser
    Type   [device_command_parser.ads, 82] Device_Command_Parser.On_Off_Command_List

Device_Command_Parser.On_Off_Command_List    (Type)
  Declared as: array (Command_Index range <>) of On_Off_Command
    Declare   [device_command_parser.ads, 82] Device_Command_Parser
    Type   [device_command_parser.ads, 150] Device_Command_Parser.On_Off_Commands.The_On_Off_Commands

Device_Command_Parser.On_Off_Commands    (Abstract Type)
  Declared as: new Device_Commands
    Declare   [device_command_parser.ads, 146] Device_Command_Parser
    Type   [device_command_parser.ads, 167] Device_Command_Parser.Interpret_TC.Cmd

Device_Command_Parser.Register_Load_Command    (Type Record)
    Declare   [device_command_parser.ads, 87] Device_Command_Parser
    Type   [device_command_parser.ads, 95] Device_Command_Parser.Register_Load_Command_List

Device_Command_Parser.Register_Load_Command_List    (Type)
  Declared as: array (Command_Index range <>) of Register_Load_Command
    Declare   [device_command_parser.ads, 95] Device_Command_Parser
    Type   [device_command_parser.ads, 176] Device_Command_Parser.Register_Load_Commands.The_Register_Load_Commands

Device_Command_Parser.Register_Load_Commands    (Abstract Type)
  Declared as: new Device_Commands
    Declare   [device_command_parser.ads, 171] Device_Command_Parser
    Type   [device_command_parser.ads, 193] Device_Command_Parser.Interpret_TC.Cmd

Device_Command_Parser.TC_Subservice    (Type Enumeration)
    Declare   [device_command_parser.ads, 100] Device_Command_Parser

Device_Command_Parser.TC_Subservice.Distribute_On_Off_Commands    (Enumeration Literal)
    Declare   [device_command_parser.ads, 101] Device_Command_Parser.TC_Subservice

Device_Command_Parser.TC_Subservice.Distribute_Register_Load_Commands    (Enumeration Literal)
    Declare   [device_command_parser.ads, 102] Device_Command_Parser.TC_Subservice

Device_Command_Parser.The_Parser.Internal_TC_Representation    (Tagged Type)
    Instantiation   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser
    Derive   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser.Internal_TC_Representation_Failed
    Derive   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser.Internal_TC_Representation_Passed
    Type   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser.Parse_TC
    Type   [device_command_parser.ads, 223] Device_Command_Parser.Internal_TC_Representation

Device_Command_Parser.The_Parser.Internal_TC_Representation_Failed    (Tagged Type)
  Declared as: new Internal_TC_Representation
    Instantiation   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser
    Type   [device_command_parser.ads, 226] Device_Command_Parser.Internal_TC_Representation_Failed

Device_Command_Parser.The_Parser.Internal_TC_Representation_Passed    (Tagged Type)
  Declared as: new Internal_TC_Representation
    Instantiation   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser
    Type   [device_command_parser.ads, 229] Device_Command_Parser.Internal_TC_Representation_Passed

Device_Command_Parser.The_Parser.Internal_TC_Source_Data_Pointer    (Type Access)
  Declared as: access all Internal_TC_Source_Data'class
    Instantiation   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser
    Type   [device_command_parser.ads, 217] Device_Command_Parser.The_Parser.Internal_TC_Representation_Passed.Src_Data
Non-Alpha