Exception Cross Reference

Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ

Satellite_Clock.CUC_Time_Too_Large    (Exception)
    Declare   [satellite_clock.ads, 63] Satellite_Clock

Satellite_Clock.Time_Not_CUC_Representable    (Exception)
    Declare   [satellite_clock.ads, 59] Satellite_Clock

Source_Data_Manager.No_Buffers_Available    (Exception)
    Declare   [source_data_manager.ads, 85] Source_Data_Manager
    Rename   [source_data_stream.ads, 95] Source_Data_Stream.No_Streams_Available

Source_Data_Manager.Not_Allocated    (Exception)
    Declare   [source_data_manager.ads, 81] Source_Data_Manager
    Rename   [source_data_stream.ads, 90] Source_Data_Stream.Not_Allocated

Source_Data_Stream.No_Streams_Available    (Exception)
    Declare   [source_data_stream.ads, 94] Source_Data_Stream
    Rename   [pus_state.ads, 79]     PUS_State.No_Streams_Available
    Rename   [external_pus_state.ads, 74] External_PUS_State.No_Streams_Available

Source_Data_Stream.Not_Allocated    (Exception)
    Declare   [source_data_stream.ads, 90] Source_Data_Stream

Source_Data_Stream.Read_Stream_Exhausted    (Exception)
    Declare   [source_data_stream.ads, 86] Source_Data_Stream

Source_Data_Stream.Write_Stream_Exhausted    (Exception)
    Declare   [source_data_stream.ads, 82] Source_Data_Stream
Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ