Object Cross Reference

Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ

Verification_Types.Contains_Code.Status    (Parameter)
  Declared as: Verification_Status
    Spec   [verification_types.ads, 131] Verification_Types.Contains_Code

Verification_Types.Get_Code.Status    (Parameter)
  Declared as: Verification_Status
    Spec   [verification_types.ads, 141] Verification_Types.Get_Code

Verification_Types.Is_Failure.Status    (Parameter)
  Declared as: Verification_Status
    Spec   [verification_types.ads, 121] Verification_Types.Is_Failure

Verification_Types.Is_Success.Status    (Parameter)
  Declared as: Verification_Status
    Spec   [verification_types.ads, 110] Verification_Types.Is_Success

Verification_Types.Make_Verification_Status.Code    (Parameter)
  Declared as: Verification_Code
    Spec   [verification_types.ads, 99] Verification_Types.Make_Verification_Status

Verification_Types.Make_Verification_Status.The_Result    (Parameter)
  Declared as: Result
    Spec   [verification_types.ads, 87] Verification_Types.Make_Verification_Status

Verification_Types.Make_Verification_Status.The_Result    (Parameter)
  Declared as: Result
    Spec   [verification_types.ads, 98] Verification_Types.Make_Verification_Status

Verification_Types.Verification_Status.Code    (Variant Component)
  Declared as: Verification_Code
    Declare   [verification_types.ads, 73] Verification_Types.Verification_Status

Verification_Types.Verification_Status.Contains_Code    (Discriminant Component)
  Declared as: Boolean := False
    Use   [verification_types.ads, 71] Verification_Types
    Set   [verification_types.ads, 68] Verification_Types.Verification_Status
    Declare   [verification_types.ads, 68] Verification_Types.Verification_Status

Verification_Types.Verification_Status.The_Result    (Component)
  Declared as: Result
    Declare   [verification_types.ads, 70] Verification_Types.Verification_Status
Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ