PRAGMA inside_op
(operation_name => --|*|--)
PRAGMA apse
(APSE => aonix,
options => --| |--)
PRAGMA init_bloc
(init_op => initialize)
PRAGMA line_feed
(option => 1)
PRAGMA line_feed
(option => 2)
Random_Value return Result_Subtype;
Initialize;
Random_Value return Result_Subtype;
FORMAL_PARAMETERS
TYPES
Result_Subtype;
CONSTANTS
NONE
OPERATION_SETS
NONE
OPERATIONS
NONE
Initialize;
package Ada95_Random is new discrete_random
(Result_Subtype => Result_Subtype);
G : Ada95_Random.Generator;
(da) random_generic.G IS USED BY NONE
(da) random_generic.G IS USED BY
(ob) random_generic [R]
(op) random_generic.Initialize [R]
(op) random_generic.Random_Value [R]
(da) random_generic.G IS USED BY NONE
(da) random_generic.G IS USED BY NONE
Uses Ada95 random generator; hides generator parameters.
begin
return Ada95_Random.Random(Gen => G);
Time dependent initialization
begin
Ada95_Random.Reset(Gen => G);