Data Dictionary

Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ

Verification_Types   (Package)[xref]
   [verification_types.ads, 43]

Verification_Types.Contains_Code   (Function)[xref]
   [verification_types.ads, 130]

Verification_Types.Contains_Code.Status   (Parameter)[xref]
   [verification_types.ads, 131]

Verification_Types.Get_Code   (Function)[xref]
   [verification_types.ads, 140]

Verification_Types.Get_Code.Status   (Parameter)[xref]
   [verification_types.ads, 141]

Verification_Types.Is_Failure   (Function)[xref]
   [verification_types.ads, 120]

Verification_Types.Is_Failure.Status   (Parameter)[xref]
   [verification_types.ads, 121]

Verification_Types.Is_Success   (Function)[xref]
   [verification_types.ads, 109]

Verification_Types.Is_Success.Status   (Parameter)[xref]
   [verification_types.ads, 110]

Verification_Types.Make_Verification_Status   (Function)[xref]
   [verification_types.ads, 86]

Verification_Types.Make_Verification_Status   (Function)[xref]
   [verification_types.ads, 97]

Verification_Types.Make_Verification_Status.Code   (Parameter)[xref]
   [verification_types.ads, 99]

Verification_Types.Make_Verification_Status.The_Result   (Parameter)[xref]
   [verification_types.ads, 87]

Verification_Types.Make_Verification_Status.The_Result   (Parameter)[xref]
   [verification_types.ads, 98]

Verification_Types.Result   (Type Enumeration)[xref]
   [verification_types.ads, 53]

Verification_Types.Result.Failure   (Enumeration Literal)
   [verification_types.ads, 55]

Verification_Types.Result.Success   (Enumeration Literal)
   [verification_types.ads, 54]

Verification_Types.Verification_Code   (Type)[xref]
   [verification_types.ads, 57]

Verification_Types.Verification_Parameters   (Type Enumeration)[xref]
   [verification_types.ads, 62]

Verification_Types.Verification_Parameters.Not_Supported   (Enumeration Literal)
   [verification_types.ads, 63]

Verification_Types.Verification_Status   (Type Record)[xref]
   [verification_types.ads, 68]

Verification_Types.Verification_Status.Code   (Variant Component)[xref]
   [verification_types.ads, 73]

Verification_Types.Verification_Status.Contains_Code   (Discriminant Component)[xref]
   [verification_types.ads, 68]

Verification_Types.Verification_Status.The_Result   (Component)[xref]
   [verification_types.ads, 70]

Verification_Types.Verification_Step_Number   (Type)[xref]
   [verification_types.ads, 58]
Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ