gm2-libs-pim/Random#

DEFINITION MODULE Random ;

FROM SYSTEM IMPORT BYTE ;
EXPORT QUALIFIED Randomize, RandomInit, RandomBytes, RandomCard, RandomInt, RandomReal, RandomLongReal ;

(*
   Randomize - initialize the random number generator with a seed
               based on the microseconds.
*)

Randomize
PROCEDURE Randomize ;

(*
   RandomInit - initialize the random number generator with value, seed.
*)

RandomInit
PROCEDURE RandomInit (seed: CARDINAL) ;

(*
   RandomBytes - fills in an array with random values.
*)

RandomBytes
PROCEDURE RandomBytes (VAR a: ARRAY OF BYTE) ;

(*
   RandomInt - return an INTEGER in the range 0..bound-1
*)

RandomInt
PROCEDURE RandomInt (bound: INTEGER) : INTEGER ;

(*
   RandomCard - return a CARDINAL in the range 0..bound-1
*)

RandomCard
PROCEDURE RandomCard (bound: CARDINAL) : CARDINAL ;

(*
   RandomReal - return a REAL number in the range 0.0..1.0
*)

RandomReal
PROCEDURE RandomReal () : REAL ;

(*
   RandomLongReal - return a LONGREAL number in the range 0.0..1.0
*)

RandomLongReal
PROCEDURE RandomLongReal () : LONGREAL ;

END Random.