version 1.38, 2014/12/19 19:28:55 |
version 1.39, 2015/09/05 22:07:10 |
|
|
u = (Awkfloat) (random() % RAND_MAX) / RAND_MAX; |
u = (Awkfloat) (random() % RAND_MAX) / RAND_MAX; |
break; |
break; |
case FSRAND: |
case FSRAND: |
if (!isrec(x)) { |
if (isrec(x)) { /* no argument provided */ |
|
u = time(NULL); |
|
tmp = u; |
|
srandom((unsigned int) u); |
|
} else { |
u = getfval(x); |
u = getfval(x); |
tmp = u; |
tmp = u; |
srandom_deterministic((unsigned int) u); |
srandom_deterministic((unsigned int) u); |
u = srand_seed; |
|
srand_seed = tmp; |
|
} |
} |
|
u = srand_seed; |
|
srand_seed = tmp; |
break; |
break; |
case FTOUPPER: |
case FTOUPPER: |
case FTOLOWER: |
case FTOLOWER: |