Skip to content

Commit

Permalink
8280950: RandomGenerator:NextDouble() default behavior non conformant…
Browse files Browse the repository at this point in the history
… after JDK-8280550 fix

Backport-of: 0e70d4504c267174738485c7da82a2ac0ef09770
  • Loading branch information
GoeLin committed Jun 8, 2022
1 parent d16d4f1 commit 9a4f12d
Show file tree
Hide file tree
Showing 2 changed files with 42 additions and 3 deletions.
@@ -1,5 +1,5 @@
/*
* Copyright (c) 2020, 2021, Oracle and/or its affiliates. All rights reserved.
* Copyright (c) 2020, 2022, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
Expand Down Expand Up @@ -645,7 +645,7 @@ public static double boundedNextDouble(RandomGenerator rng, double origin, doubl
if (origin < bound) {
r = r * (bound - origin) + origin;
if (r >= bound) // may need to correct a rounding problem
r = Math.nextAfter(r, origin);
r = Math.nextAfter(bound, origin);
}
return r;
}
Expand Down
41 changes: 40 additions & 1 deletion test/jdk/java/util/Random/RandomNextDoubleBoundary.java
Expand Up @@ -24,13 +24,19 @@
/*
* @test
* @summary Verify nextDouble stays within range
* @bug 8280550
* @bug 8280550 8280950
*/

import java.util.SplittableRandom;
import java.util.random.RandomGenerator;

public class RandomNextDoubleBoundary {
public static void main(String... args) {
negativeBounds();
positiveBounds();
}

private static void negativeBounds() {
// Both bounds are negative
double lowerBound = -1.0000000000000002;
double upperBound = -1.0;
Expand All @@ -49,4 +55,37 @@ public static void main(String... args) {
throw new RuntimeException("Less than lower bound");
}
}

private static void positiveBounds() {
double[][] originAndBounds = {{10, 100},
{12345, 123456},
{5432167.234, 54321678.1238}};
for (double[] originAndBound : originAndBounds) {
nextDoublesWithRange(originAndBound[0], originAndBound[1]);
}
}

public static void nextDoublesWithRange(double origin, double bound) {
RandomGenerator rg = new RandomGenerator() {
@Override
public double nextDouble() {
return Double.MAX_VALUE;
}

@Override
public long nextLong() {
return 0;
}
};
double value = rg.nextDouble(origin, bound);

assertTrue(value >= origin);
assertTrue(value < bound);
}

public static void assertTrue(boolean condition) {
if (!condition) {
throw new AssertionError();
}
}
}

1 comment on commit 9a4f12d

@openjdk-notifier
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please sign in to comment.