ADA CODE CROSS REFS

<wi> discrete_random

is used by :

<wi> discrete_random IS USED BY
        (da) random_generic.G

uses :

<wi> discrete_random USES NONE

(ty) FORMAL_PARAMETERS.Result_Subtype

is used by :

(ty) FORMAL_PARAMETERS.Result_Subtype IS USED BY
        (da) random_generic.G
        (op) random_generic.Random_Value

uses :

(ty) FORMAL_PARAMETERS.Result_Subtype USES NONE

(ob) random_generic

is used by :

(ob) random_generic IS USED BY NONE

uses :

(ob) random_generic USES
        (da) random_generic.G

(da) random_generic.G

is used by :

(da) random_generic.G IS USED BY
        (ob) random_generic
        (op) random_generic.Initialize
        (op) random_generic.Random_Value

uses :

(da) random_generic.G USES
        <wi> discrete_random
        (ty) FORMAL_PARAMETERS.Result_Subtype

(op) random_generic.Initialize

is used by :

(op) random_generic.Initialize IS USED BY NONE

uses :

(op) random_generic.Initialize USES
        (da) random_generic.G

(op) random_generic.Random_Value

is used by :

(op) random_generic.Random_Value IS USED BY NONE

uses :

(op) random_generic.Random_Value USES
        (ty) FORMAL_PARAMETERS.Result_Subtype
        (da) random_generic.G