1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
(* RandomNumber.def provide a set of random number procedures for pervasive types.
Copyright (C) 2012-2025 Free Software Foundation, Inc.
Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
This file is part of GNU Modula-2.
GNU Modula-2 is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.
GNU Modula-2 is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
Under Section 7 of GPL version 3, you are granted additional
permissions described in the GCC Runtime Library Exception, version
3.1, as published by the Free Software Foundation.
You should have received a copy of the GNU General Public License and
a copy of the GCC Runtime Library Exception along with this program;
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
<http://www.gnu.org/licenses/>. *)
DEFINITION MODULE RandomNumber ;
(*
Title : Random
Author : Gaius Mulley
System : GNU Modula-2
Date : Wed Nov 26 15:38:01 2012
Revision : $Version$
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.
|
