* Set the seed value for the random number generator.
*
*/
-void seed_random (int value)
+void seed_random(int value)
{
-
- if (value == 0) { /* ask interface for seed value */
- A = os_random_seed ();
- interval = 0;
- } else if (value < 1000) { /* special seed value */
- counter = 0;
- interval = value;
- } else { /* standard seed value */
- A = value;
- interval = 0;
- }
-
-}/* seed_random */
+ if (value == 0) { /* ask interface for seed value */
+ A = os_random_seed();
+ interval = 0;
+ } else if (value < 1000) { /* special seed value */
+ counter = 0;
+ interval = value;
+ } else { /* standard seed value */
+ A = value;
+ interval = 0;
+ }
+} /* seed_random */
/*
* zargs[0] = range (positive) or seed value (negative)
*
*/
-void z_random ()
+void z_random()
{
- if ((short) zargs[0] <= 0) { /* set random seed */
-
- seed_random (- (short) zargs[0]);
- store (0);
+ if ((short)zargs[0] <= 0) { /* set random seed */
+ seed_random(-(short)zargs[0]);
+ store(0);
- } else { /* generate random number */
+ } else { /* generate random number */
+ zword result;
- zword result;
-
- if (interval != 0) { /* ...in special mode */
- result = counter++;
- if (counter == interval) counter = 0;
- } else { /* ...in standard mode */
- A = 0x015a4e35L * A + 1;
- result = (A >> 16) & 0x7fff;
+ if (interval != 0) { /* ...in special mode */
+ result = counter++;
+ if (counter == interval)
+ counter = 0;
+ } else { /* ...in standard mode */
+ A = 0x015a4e35L * A + 1;
+ result = (A >> 16) & 0x7fff;
+ }
+ store((zword) (result % zargs[0] + 1));
}
-
- store ((zword) (result % zargs[0] + 1));
- }
-
-}/* z_random */
+} /* z_random */