| 1 |
< |
/** |
| 2 |
< |
* @test 1.1 03/11/06 |
| 1 |
> |
/* |
| 2 |
> |
* Written by Doug Lea with assistance from members of JCP JSR-166 |
| 3 |
> |
* Expert Group and released to the public domain, as explained at |
| 4 |
> |
* http://creativecommons.org/licenses/publicdomain |
| 5 |
> |
*/ |
| 6 |
> |
|
| 7 |
> |
/* |
| 8 |
> |
* @test |
| 9 |
|
* @bug 4949279 |
| 10 |
|
* @summary Independent instantiations of Random() have distinct seeds. |
| 11 |
|
*/ |
| 14 |
|
|
| 15 |
|
public class DistinctSeeds { |
| 16 |
|
public static void main(String[] args) throws Exception { |
| 17 |
< |
// Strictly speaking, it is possible for these to be equal, |
| 18 |
< |
// but the likelihood should be *extremely* small. |
| 19 |
< |
if (new Random().nextLong() == new Random().nextLong()) |
| 20 |
< |
throw new RuntimeException("Random seeds not unique."); |
| 17 |
> |
// Strictly speaking, it is possible for these to randomly fail, |
| 18 |
> |
// but the probability should be *extremely* small (< 2**-63). |
| 19 |
> |
if (new Random().nextLong() == new Random().nextLong() || |
| 20 |
> |
new Random().nextLong() == new Random().nextLong()) |
| 21 |
> |
throw new RuntimeException("Random() seeds not unique."); |
| 22 |
|
} |
| 23 |
|
} |
