DEFINITION MODULE RandomNumber ; (* Description: provides primitives for obtaining random numbers on pervasive data types. *) FROM SYSTEM IMPORT BYTE ; EXPORT QUALIFIED Randomize, RandomInit, RandomBytes, RandomCard, RandomShortCard, RandomLongCard, RandomInt, RandomShortInt, RandomLongInt, RandomReal, RandomLongReal, RandomShortReal ; (* Randomize - initialize the random number generator with a seed based on the microseconds. *) PROCEDURE Randomize ; (* RandomInit - initialize the random number generator with value, seed. *) PROCEDURE RandomInit (seed: CARDINAL) ; (* RandomBytes - fills in an array with random values. *) PROCEDURE RandomBytes (VAR a: ARRAY OF BYTE) ; (* RandomInt - return an INTEGER in the range [low .. high]. *) PROCEDURE RandomInt (low, high: INTEGER) : INTEGER ; (* RandomShortInt - return an SHORTINT in the range [low..high]. *) PROCEDURE RandomShortInt (low, high: SHORTINT) : SHORTINT ; (* RandomLongInt - return an LONGINT in the range [low..high]. *) PROCEDURE RandomLongInt (low, high: LONGINT) : LONGINT ; (* RandomShortCard - return a SHORTCARD in the range [low..high]. *) PROCEDURE RandomShortCard (low, high: CARDINAL) : CARDINAL ; (* RandomCard - return a CARDINAL in the range [low..high]. *) PROCEDURE RandomCard (low, high: CARDINAL) : CARDINAL ; (* RandomLongCard - return an LONGCARD in the range [low..high]. *) PROCEDURE RandomLongCard (low, high: LONGCARD) : LONGCARD ; (* RandomReal - return a REAL number in the range 0.0..1.0 *) PROCEDURE RandomReal () : REAL ; (* RandomShortReal - return a SHORTREAL number in the range 0.0..1.0 *) PROCEDURE RandomShortReal () : SHORTREAL ; (* RandomLongReal - return a LONGREAL number in the range 0.0..1.0 *) PROCEDURE RandomLongReal () : LONGREAL ; END RandomNumber.