src/java.base/share/classes/java/util/Random.java
author ihse
Tue, 04 Dec 2018 11:08:07 +0100
branchihse-errorprone-branch
changeset 57056 85a97ef23187
parent 49954 deefa2120bc4
permissions -rw-r--r--
Modify source to make errorprone complain.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
23010
6dadb192ad81 8029235: Update copyright year to match last edit in jdk8 jdk repository for 2013
lana
parents: 20540
diff changeset
     2
 * Copyright (c) 1995, 2013, Oracle and/or its affiliates. All rights reserved.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5468
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5468
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5468
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5468
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 5468
diff changeset
    23
 * questions.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
package java.util;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
import java.io.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
import java.util.concurrent.atomic.AtomicLong;
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
    29
import java.util.function.DoubleConsumer;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
    30
import java.util.function.IntConsumer;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
    31
import java.util.function.LongConsumer;
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
    32
import java.util.stream.DoubleStream;
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
    33
import java.util.stream.IntStream;
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
    34
import java.util.stream.LongStream;
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
    35
import java.util.stream.StreamSupport;
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
    36
33674
566777f73c32 8140606: Update library code to use internal Unsafe
chegar
parents: 32649
diff changeset
    37
import jdk.internal.misc.Unsafe;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
57056
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
    39
import java.util.Set;
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
    40
import java.util.HashSet;
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
    41
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
 * An instance of this class is used to generate a stream of
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
 * pseudorandom numbers. The class uses a 48-bit seed, which is
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
 * modified using a linear congruential formula. (See Donald Knuth,
1818
7847313afae6 6792545: Typo in java.util.Collection JavaDoc
darcy
parents: 715
diff changeset
    46
 * <i>The Art of Computer Programming, Volume 2</i>, Section 3.2.1.)
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
 * <p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
 * If two instances of {@code Random} are created with the same
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
 * seed, and the same sequence of method calls is made for each, they
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
 * will generate and return identical sequences of numbers. In order to
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
 * guarantee this property, particular algorithms are specified for the
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
 * class {@code Random}. Java implementations must use all the algorithms
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
 * shown here for the class {@code Random}, for the sake of absolute
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
 * portability of Java code. However, subclasses of class {@code Random}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
 * are permitted to use other algorithms, so long as they adhere to the
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
 * general contracts for all the methods.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
 * <p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
 * The algorithms implemented by class {@code Random} use a
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
 * {@code protected} utility method that on each invocation can supply
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
 * up to 32 pseudorandomly generated bits.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
 * <p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
 * Many applications will find the method {@link Math#random} simpler to use.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
 *
4110
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    64
 * <p>Instances of {@code java.util.Random} are threadsafe.
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    65
 * However, the concurrent use of the same {@code java.util.Random}
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    66
 * instance across threads may encounter contention and consequent
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    67
 * poor performance. Consider instead using
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    68
 * {@link java.util.concurrent.ThreadLocalRandom} in multithreaded
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    69
 * designs.
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    70
 *
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    71
 * <p>Instances of {@code java.util.Random} are not cryptographically
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    72
 * secure.  Consider instead using {@link java.security.SecureRandom} to
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    73
 * get a cryptographically secure pseudo-random number generator for use
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    74
 * by security-sensitive applications.
ac033ba6ede4 6865582: jsr166y - jsr166 maintenance update
dl
parents: 1818
diff changeset
    75
 *
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
 * @author  Frank Yellin
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
 * @since   1.0
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
public
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
class Random implements java.io.Serializable {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
    /** use serialVersionUID from JDK 1.1 for interoperability */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
    static final long serialVersionUID = 3905348978240129619L;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
     * The internal state associated with this pseudorandom number generator.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
     * (The specs for the methods in this class describe the ongoing
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
     * computation of this value.)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
    private final AtomicLong seed;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
7518
0282db800fe1 7003745: Code style cleanups (sync from Dougs CVS)
dl
parents: 5506
diff changeset
    91
    private static final long multiplier = 0x5DEECE66DL;
0282db800fe1 7003745: Code style cleanups (sync from Dougs CVS)
dl
parents: 5506
diff changeset
    92
    private static final long addend = 0xBL;
0282db800fe1 7003745: Code style cleanups (sync from Dougs CVS)
dl
parents: 5506
diff changeset
    93
    private static final long mask = (1L << 48) - 1;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
20540
1376a380b9ba 8025136: SplittableRandom enchancements
psandoz
parents: 19609
diff changeset
    95
    private static final double DOUBLE_UNIT = 0x1.0p-53; // 1.0 / (1L << 53)
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
    96
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
    97
    // IllegalArgumentException messages
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
    98
    static final String BadBound = "bound must be positive";
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
    99
    static final String BadRange = "bound must be greater than origin";
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   100
    static final String BadSize  = "size must be non-negative";
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   101
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
     * Creates a new random number generator. This constructor sets
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
     * the seed of the random number generator to a value very likely
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
     * to be distinct from any other invocation of this constructor.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
     */
5468
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   107
    public Random() {
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   108
        this(seedUniquifier() ^ System.nanoTime());
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   109
    }
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   110
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   111
    private static long seedUniquifier() {
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   112
        // L'Ecuyer, "Tables of Linear Congruential Generators of
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   113
        // Different Sizes and Good Lattice Structure", 1999
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   114
        for (;;) {
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   115
            long current = seedUniquifier.get();
49954
deefa2120bc4 8201634: Random seedUniquifier uses incorrect LCG
martin
parents: 47216
diff changeset
   116
            long next = current * 1181783497276652981L;
5468
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   117
            if (seedUniquifier.compareAndSet(current, next))
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   118
                return next;
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   119
        }
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   120
    }
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   121
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   122
    private static final AtomicLong seedUniquifier
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   123
        = new AtomicLong(8682522807148012L);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   126
     * Creates a new random number generator using a single {@code long} seed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
     * The seed is the initial value of the internal state of the pseudorandom
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
     * number generator which is maintained by method {@link #next}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
     * <p>The invocation {@code new Random(seed)} is equivalent to:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
     * Random rnd = new Random();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
     * rnd.setSeed(seed);}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
     * @param seed the initial seed
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
     * @see   #setSeed(long)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
    public Random(long seed) {
10056
7464dc04ae22 7051516: ThreadLocalRandom seed is never initialized so all instances generate the same sequence
dl
parents: 7668
diff changeset
   139
        if (getClass() == Random.class)
7464dc04ae22 7051516: ThreadLocalRandom seed is never initialized so all instances generate the same sequence
dl
parents: 7668
diff changeset
   140
            this.seed = new AtomicLong(initialScramble(seed));
7464dc04ae22 7051516: ThreadLocalRandom seed is never initialized so all instances generate the same sequence
dl
parents: 7668
diff changeset
   141
        else {
7464dc04ae22 7051516: ThreadLocalRandom seed is never initialized so all instances generate the same sequence
dl
parents: 7668
diff changeset
   142
            // subclass might have overriden setSeed
7464dc04ae22 7051516: ThreadLocalRandom seed is never initialized so all instances generate the same sequence
dl
parents: 7668
diff changeset
   143
            this.seed = new AtomicLong();
7464dc04ae22 7051516: ThreadLocalRandom seed is never initialized so all instances generate the same sequence
dl
parents: 7668
diff changeset
   144
            setSeed(seed);
7464dc04ae22 7051516: ThreadLocalRandom seed is never initialized so all instances generate the same sequence
dl
parents: 7668
diff changeset
   145
        }
5468
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   146
    }
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   147
57056
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   148
  /**
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   149
   * test maintest.
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   150
   */
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   151
  private void maintest() {
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   152
    Set<Short> s = new HashSet<>();
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   153
    for (short i = 0; i < 100; i++) {
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   154
      s.add(i);
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   155
      s.remove(i - 1);
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   156
    }
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   157
    System.out.println(s.size());
85a97ef23187 Modify source to make errorprone complain.
ihse
parents: 49954
diff changeset
   158
  }
5468
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   159
    private static long initialScramble(long seed) {
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   160
        return (seed ^ multiplier) & mask;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   162
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   164
     * Sets the seed of this random number generator using a single
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
     * {@code long} seed. The general contract of {@code setSeed} is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   166
     * that it alters the state of this random number generator object
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
     * so as to be in exactly the same state as if it had just been
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
     * created with the argument {@code seed} as a seed. The method
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
     * {@code setSeed} is implemented by class {@code Random} by
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
     * atomically updating the seed to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
     *  <pre>{@code (seed ^ 0x5DEECE66DL) & ((1L << 48) - 1)}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
     * and clearing the {@code haveNextNextGaussian} flag used by {@link
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
     * #nextGaussian}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   175
     * <p>The implementation of {@code setSeed} by class {@code Random}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
     * happens to use only 48 bits of the given seed. In general, however,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
     * an overriding method may use all 64 bits of the {@code long}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
     * argument as a seed value.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
     * @param seed the initial seed
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
     */
32649
2ee9017c7597 8136583: Core libraries should use blessed modifier order
martin
parents: 25859
diff changeset
   182
    public synchronized void setSeed(long seed) {
5468
c9aa7dfb4f78 6937857: Concurrent calls to new Random() not random enough
martin
parents: 4110
diff changeset
   183
        this.seed.set(initialScramble(seed));
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   184
        haveNextNextGaussian = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   185
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
     * Generates the next pseudorandom number. Subclasses should
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
     * override this, as this is used by all other methods.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
     * <p>The general contract of {@code next} is that it returns an
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
     * {@code int} value and if the argument {@code bits} is between
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
     * {@code 1} and {@code 32} (inclusive), then that many low-order
90ce3da70b43 Initial load
duke
parents:
diff changeset
   194
     * bits of the returned value will be (approximately) independently
90ce3da70b43 Initial load
duke
parents:
diff changeset
   195
     * chosen bit values, each of which is (approximately) equally
90ce3da70b43 Initial load
duke
parents:
diff changeset
   196
     * likely to be {@code 0} or {@code 1}. The method {@code next} is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   197
     * implemented by class {@code Random} by atomically updating the seed to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
     *  <pre>{@code (seed * 0x5DEECE66DL + 0xBL) & ((1L << 48) - 1)}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
     * and returning
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
     *  <pre>{@code (int)(seed >>> (48 - bits))}.</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
     * This is a linear congruential pseudorandom number generator, as
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
     * defined by D. H. Lehmer and described by Donald E. Knuth in
43003
b1c1a42602d6 8164923: Error in the documentation for java.lang.Random
rriggs
parents: 33674
diff changeset
   204
     * <i>The Art of Computer Programming,</i> Volume 2:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
     * <i>Seminumerical Algorithms</i>, section 3.2.1.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
     * @param  bits random bits
90ce3da70b43 Initial load
duke
parents:
diff changeset
   208
     * @return the next pseudorandom value from this random number
90ce3da70b43 Initial load
duke
parents:
diff changeset
   209
     *         generator's sequence
90ce3da70b43 Initial load
duke
parents:
diff changeset
   210
     * @since  1.1
90ce3da70b43 Initial load
duke
parents:
diff changeset
   211
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   212
    protected int next(int bits) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   213
        long oldseed, nextseed;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   214
        AtomicLong seed = this.seed;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   215
        do {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   216
            oldseed = seed.get();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   217
            nextseed = (oldseed * multiplier + addend) & mask;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   218
        } while (!seed.compareAndSet(oldseed, nextseed));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   219
        return (int)(nextseed >>> (48 - bits));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   220
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   221
90ce3da70b43 Initial load
duke
parents:
diff changeset
   222
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   223
     * Generates random bytes and places them into a user-supplied
90ce3da70b43 Initial load
duke
parents:
diff changeset
   224
     * byte array.  The number of random bytes produced is equal to
90ce3da70b43 Initial load
duke
parents:
diff changeset
   225
     * the length of the byte array.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   226
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   227
     * <p>The method {@code nextBytes} is implemented by class {@code Random}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   228
     * as if by:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   229
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   230
     * public void nextBytes(byte[] bytes) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   231
     *   for (int i = 0; i < bytes.length; )
90ce3da70b43 Initial load
duke
parents:
diff changeset
   232
     *     for (int rnd = nextInt(), n = Math.min(bytes.length - i, 4);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   233
     *          n-- > 0; rnd >>= 8)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   234
     *       bytes[i++] = (byte)rnd;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   235
     * }}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   236
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   237
     * @param  bytes the byte array to fill with random bytes
90ce3da70b43 Initial load
duke
parents:
diff changeset
   238
     * @throws NullPointerException if the byte array is null
90ce3da70b43 Initial load
duke
parents:
diff changeset
   239
     * @since  1.1
90ce3da70b43 Initial load
duke
parents:
diff changeset
   240
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   241
    public void nextBytes(byte[] bytes) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   242
        for (int i = 0, len = bytes.length; i < len; )
90ce3da70b43 Initial load
duke
parents:
diff changeset
   243
            for (int rnd = nextInt(),
90ce3da70b43 Initial load
duke
parents:
diff changeset
   244
                     n = Math.min(len - i, Integer.SIZE/Byte.SIZE);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   245
                 n-- > 0; rnd >>= Byte.SIZE)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   246
                bytes[i++] = (byte)rnd;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   247
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   248
90ce3da70b43 Initial load
duke
parents:
diff changeset
   249
    /**
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   250
     * The form of nextLong used by LongStream Spliterators.  If
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   251
     * origin is greater than bound, acts as unbounded form of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   252
     * nextLong, else as bounded form.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   253
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   254
     * @param origin the least value, unless greater than bound
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   255
     * @param bound the upper bound (exclusive), must not equal origin
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   256
     * @return a pseudorandom value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   257
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   258
    final long internalNextLong(long origin, long bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   259
        long r = nextLong();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   260
        if (origin < bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   261
            long n = bound - origin, m = n - 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   262
            if ((n & m) == 0L)  // power of two
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   263
                r = (r & m) + origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   264
            else if (n > 0L) {  // reject over-represented candidates
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   265
                for (long u = r >>> 1;            // ensure nonnegative
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   266
                     u + m - (r = u % n) < 0L;    // rejection check
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   267
                     u = nextLong() >>> 1) // retry
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   268
                    ;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   269
                r += origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   270
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   271
            else {              // range not representable as long
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   272
                while (r < origin || r >= bound)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   273
                    r = nextLong();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   274
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   275
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   276
        return r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   277
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   278
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   279
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   280
     * The form of nextInt used by IntStream Spliterators.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   281
     * For the unbounded case: uses nextInt().
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   282
     * For the bounded case with representable range: uses nextInt(int bound)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   283
     * For the bounded case with unrepresentable range: uses nextInt()
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   284
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   285
     * @param origin the least value, unless greater than bound
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   286
     * @param bound the upper bound (exclusive), must not equal origin
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   287
     * @return a pseudorandom value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   288
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   289
    final int internalNextInt(int origin, int bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   290
        if (origin < bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   291
            int n = bound - origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   292
            if (n > 0) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   293
                return nextInt(n) + origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   294
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   295
            else {  // range not representable as int
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   296
                int r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   297
                do {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   298
                    r = nextInt();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   299
                } while (r < origin || r >= bound);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   300
                return r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   301
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   302
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   303
        else {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   304
            return nextInt();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   305
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   306
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   307
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   308
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   309
     * The form of nextDouble used by DoubleStream Spliterators.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   310
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   311
     * @param origin the least value, unless greater than bound
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   312
     * @param bound the upper bound (exclusive), must not equal origin
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   313
     * @return a pseudorandom value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   314
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   315
    final double internalNextDouble(double origin, double bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   316
        double r = nextDouble();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   317
        if (origin < bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   318
            r = r * (bound - origin) + origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   319
            if (r >= bound) // correct for rounding
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   320
                r = Double.longBitsToDouble(Double.doubleToLongBits(bound) - 1);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   321
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   322
        return r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   323
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   324
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   325
    /**
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   326
     * Returns the next pseudorandom, uniformly distributed {@code int}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   327
     * value from this random number generator's sequence. The general
90ce3da70b43 Initial load
duke
parents:
diff changeset
   328
     * contract of {@code nextInt} is that one {@code int} value is
19074
84a8d23e8f32 8020539: Clean up doclint problems in java.util package, part 2
bpb
parents: 18156
diff changeset
   329
     * pseudorandomly generated and returned. All 2<sup>32</sup> possible
84a8d23e8f32 8020539: Clean up doclint problems in java.util package, part 2
bpb
parents: 18156
diff changeset
   330
     * {@code int} values are produced with (approximately) equal probability.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   331
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   332
     * <p>The method {@code nextInt} is implemented by class {@code Random}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   333
     * as if by:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   334
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   335
     * public int nextInt() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   336
     *   return next(32);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   337
     * }}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   338
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   339
     * @return the next pseudorandom, uniformly distributed {@code int}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   340
     *         value from this random number generator's sequence
90ce3da70b43 Initial load
duke
parents:
diff changeset
   341
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   342
    public int nextInt() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   343
        return next(32);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   344
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   345
90ce3da70b43 Initial load
duke
parents:
diff changeset
   346
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   347
     * Returns a pseudorandom, uniformly distributed {@code int} value
90ce3da70b43 Initial load
duke
parents:
diff changeset
   348
     * between 0 (inclusive) and the specified value (exclusive), drawn from
90ce3da70b43 Initial load
duke
parents:
diff changeset
   349
     * this random number generator's sequence.  The general contract of
90ce3da70b43 Initial load
duke
parents:
diff changeset
   350
     * {@code nextInt} is that one {@code int} value in the specified range
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   351
     * is pseudorandomly generated and returned.  All {@code bound} possible
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   352
     * {@code int} values are produced with (approximately) equal
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   353
     * probability.  The method {@code nextInt(int bound)} is implemented by
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   354
     * class {@code Random} as if by:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   355
     *  <pre> {@code
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   356
     * public int nextInt(int bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   357
     *   if (bound <= 0)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   358
     *     throw new IllegalArgumentException("bound must be positive");
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   359
     *
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   360
     *   if ((bound & -bound) == bound)  // i.e., bound is a power of 2
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   361
     *     return (int)((bound * (long)next(31)) >> 31);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   362
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   363
     *   int bits, val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   364
     *   do {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   365
     *       bits = next(31);
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   366
     *       val = bits % bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   367
     *   } while (bits - val + (bound-1) < 0);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   368
     *   return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   369
     * }}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   370
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   371
     * <p>The hedge "approximately" is used in the foregoing description only
90ce3da70b43 Initial load
duke
parents:
diff changeset
   372
     * because the next method is only approximately an unbiased source of
90ce3da70b43 Initial load
duke
parents:
diff changeset
   373
     * independently chosen bits.  If it were a perfect source of randomly
90ce3da70b43 Initial load
duke
parents:
diff changeset
   374
     * chosen bits, then the algorithm shown would choose {@code int}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   375
     * values from the stated range with perfect uniformity.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   376
     * <p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   377
     * The algorithm is slightly tricky.  It rejects values that would result
90ce3da70b43 Initial load
duke
parents:
diff changeset
   378
     * in an uneven distribution (due to the fact that 2^31 is not divisible
90ce3da70b43 Initial load
duke
parents:
diff changeset
   379
     * by n). The probability of a value being rejected depends on n.  The
90ce3da70b43 Initial load
duke
parents:
diff changeset
   380
     * worst case is n=2^30+1, for which the probability of a reject is 1/2,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   381
     * and the expected number of iterations before the loop terminates is 2.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   382
     * <p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   383
     * The algorithm treats the case where n is a power of two specially: it
90ce3da70b43 Initial load
duke
parents:
diff changeset
   384
     * returns the correct number of high-order bits from the underlying
90ce3da70b43 Initial load
duke
parents:
diff changeset
   385
     * pseudo-random number generator.  In the absence of special treatment,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   386
     * the correct number of <i>low-order</i> bits would be returned.  Linear
90ce3da70b43 Initial load
duke
parents:
diff changeset
   387
     * congruential pseudo-random number generators such as the one
90ce3da70b43 Initial load
duke
parents:
diff changeset
   388
     * implemented by this class are known to have short periods in the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   389
     * sequence of values of their low-order bits.  Thus, this special case
90ce3da70b43 Initial load
duke
parents:
diff changeset
   390
     * greatly increases the length of the sequence of values returned by
90ce3da70b43 Initial load
duke
parents:
diff changeset
   391
     * successive calls to this method if n is a small power of two.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   392
     *
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   393
     * @param bound the upper bound (exclusive).  Must be positive.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   394
     * @return the next pseudorandom, uniformly distributed {@code int}
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   395
     *         value between zero (inclusive) and {@code bound} (exclusive)
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   396
     *         from this random number generator's sequence
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   397
     * @throws IllegalArgumentException if bound is not positive
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   398
     * @since 1.2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   399
     */
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   400
    public int nextInt(int bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   401
        if (bound <= 0)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   402
            throw new IllegalArgumentException(BadBound);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   403
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   404
        int r = next(31);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   405
        int m = bound - 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   406
        if ((bound & m) == 0)  // i.e., bound is a power of 2
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   407
            r = (int)((bound * (long)r) >> 31);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   408
        else {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   409
            for (int u = r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   410
                 u - (r = u % bound) + m < 0;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   411
                 u = next(31))
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   412
                ;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   413
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   414
        return r;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   415
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   416
90ce3da70b43 Initial load
duke
parents:
diff changeset
   417
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   418
     * Returns the next pseudorandom, uniformly distributed {@code long}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   419
     * value from this random number generator's sequence. The general
90ce3da70b43 Initial load
duke
parents:
diff changeset
   420
     * contract of {@code nextLong} is that one {@code long} value is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   421
     * pseudorandomly generated and returned.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   422
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   423
     * <p>The method {@code nextLong} is implemented by class {@code Random}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   424
     * as if by:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   425
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   426
     * public long nextLong() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   427
     *   return ((long)next(32) << 32) + next(32);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   428
     * }}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   429
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   430
     * Because class {@code Random} uses a seed with only 48 bits,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   431
     * this algorithm will not return all possible {@code long} values.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   432
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   433
     * @return the next pseudorandom, uniformly distributed {@code long}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   434
     *         value from this random number generator's sequence
90ce3da70b43 Initial load
duke
parents:
diff changeset
   435
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   436
    public long nextLong() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   437
        // it's okay that the bottom word remains signed.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   438
        return ((long)(next(32)) << 32) + next(32);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   439
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   440
90ce3da70b43 Initial load
duke
parents:
diff changeset
   441
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   442
     * Returns the next pseudorandom, uniformly distributed
90ce3da70b43 Initial load
duke
parents:
diff changeset
   443
     * {@code boolean} value from this random number generator's
90ce3da70b43 Initial load
duke
parents:
diff changeset
   444
     * sequence. The general contract of {@code nextBoolean} is that one
90ce3da70b43 Initial load
duke
parents:
diff changeset
   445
     * {@code boolean} value is pseudorandomly generated and returned.  The
90ce3da70b43 Initial load
duke
parents:
diff changeset
   446
     * values {@code true} and {@code false} are produced with
90ce3da70b43 Initial load
duke
parents:
diff changeset
   447
     * (approximately) equal probability.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   448
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   449
     * <p>The method {@code nextBoolean} is implemented by class {@code Random}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   450
     * as if by:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   451
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   452
     * public boolean nextBoolean() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   453
     *   return next(1) != 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   454
     * }}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   455
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   456
     * @return the next pseudorandom, uniformly distributed
90ce3da70b43 Initial load
duke
parents:
diff changeset
   457
     *         {@code boolean} value from this random number generator's
90ce3da70b43 Initial load
duke
parents:
diff changeset
   458
     *         sequence
90ce3da70b43 Initial load
duke
parents:
diff changeset
   459
     * @since 1.2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   460
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   461
    public boolean nextBoolean() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   462
        return next(1) != 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   463
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   464
90ce3da70b43 Initial load
duke
parents:
diff changeset
   465
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   466
     * Returns the next pseudorandom, uniformly distributed {@code float}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   467
     * value between {@code 0.0} and {@code 1.0} from this random
90ce3da70b43 Initial load
duke
parents:
diff changeset
   468
     * number generator's sequence.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   469
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   470
     * <p>The general contract of {@code nextFloat} is that one
90ce3da70b43 Initial load
duke
parents:
diff changeset
   471
     * {@code float} value, chosen (approximately) uniformly from the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   472
     * range {@code 0.0f} (inclusive) to {@code 1.0f} (exclusive), is
19074
84a8d23e8f32 8020539: Clean up doclint problems in java.util package, part 2
bpb
parents: 18156
diff changeset
   473
     * pseudorandomly generated and returned. All 2<sup>24</sup> possible
84a8d23e8f32 8020539: Clean up doclint problems in java.util package, part 2
bpb
parents: 18156
diff changeset
   474
     * {@code float} values of the form <i>m&nbsp;x&nbsp;</i>2<sup>-24</sup>,
84a8d23e8f32 8020539: Clean up doclint problems in java.util package, part 2
bpb
parents: 18156
diff changeset
   475
     * where <i>m</i> is a positive integer less than 2<sup>24</sup>, are
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   476
     * produced with (approximately) equal probability.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   477
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   478
     * <p>The method {@code nextFloat} is implemented by class {@code Random}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   479
     * as if by:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   480
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   481
     * public float nextFloat() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   482
     *   return next(24) / ((float)(1 << 24));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   483
     * }}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   484
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   485
     * <p>The hedge "approximately" is used in the foregoing description only
90ce3da70b43 Initial load
duke
parents:
diff changeset
   486
     * because the next method is only approximately an unbiased source of
90ce3da70b43 Initial load
duke
parents:
diff changeset
   487
     * independently chosen bits. If it were a perfect source of randomly
90ce3da70b43 Initial load
duke
parents:
diff changeset
   488
     * chosen bits, then the algorithm shown would choose {@code float}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   489
     * values from the stated range with perfect uniformity.<p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   490
     * [In early versions of Java, the result was incorrectly calculated as:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   491
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   492
     *   return next(30) / ((float)(1 << 30));}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   493
     * This might seem to be equivalent, if not better, but in fact it
90ce3da70b43 Initial load
duke
parents:
diff changeset
   494
     * introduced a slight nonuniformity because of the bias in the rounding
90ce3da70b43 Initial load
duke
parents:
diff changeset
   495
     * of floating-point numbers: it was slightly more likely that the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   496
     * low-order bit of the significand would be 0 than that it would be 1.]
90ce3da70b43 Initial load
duke
parents:
diff changeset
   497
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   498
     * @return the next pseudorandom, uniformly distributed {@code float}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   499
     *         value between {@code 0.0} and {@code 1.0} from this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   500
     *         random number generator's sequence
90ce3da70b43 Initial load
duke
parents:
diff changeset
   501
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   502
    public float nextFloat() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   503
        return next(24) / ((float)(1 << 24));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   504
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   505
90ce3da70b43 Initial load
duke
parents:
diff changeset
   506
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   507
     * Returns the next pseudorandom, uniformly distributed
90ce3da70b43 Initial load
duke
parents:
diff changeset
   508
     * {@code double} value between {@code 0.0} and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   509
     * {@code 1.0} from this random number generator's sequence.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   510
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   511
     * <p>The general contract of {@code nextDouble} is that one
90ce3da70b43 Initial load
duke
parents:
diff changeset
   512
     * {@code double} value, chosen (approximately) uniformly from the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   513
     * range {@code 0.0d} (inclusive) to {@code 1.0d} (exclusive), is
90ce3da70b43 Initial load
duke
parents:
diff changeset
   514
     * pseudorandomly generated and returned.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   515
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   516
     * <p>The method {@code nextDouble} is implemented by class {@code Random}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   517
     * as if by:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   518
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   519
     * public double nextDouble() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   520
     *   return (((long)next(26) << 27) + next(27))
90ce3da70b43 Initial load
duke
parents:
diff changeset
   521
     *     / (double)(1L << 53);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   522
     * }}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   523
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   524
     * <p>The hedge "approximately" is used in the foregoing description only
90ce3da70b43 Initial load
duke
parents:
diff changeset
   525
     * because the {@code next} method is only approximately an unbiased
90ce3da70b43 Initial load
duke
parents:
diff changeset
   526
     * source of independently chosen bits. If it were a perfect source of
90ce3da70b43 Initial load
duke
parents:
diff changeset
   527
     * randomly chosen bits, then the algorithm shown would choose
90ce3da70b43 Initial load
duke
parents:
diff changeset
   528
     * {@code double} values from the stated range with perfect uniformity.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   529
     * <p>[In early versions of Java, the result was incorrectly calculated as:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   530
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   531
     *   return (((long)next(27) << 27) + next(27))
90ce3da70b43 Initial load
duke
parents:
diff changeset
   532
     *     / (double)(1L << 54);}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   533
     * This might seem to be equivalent, if not better, but in fact it
90ce3da70b43 Initial load
duke
parents:
diff changeset
   534
     * introduced a large nonuniformity because of the bias in the rounding
90ce3da70b43 Initial load
duke
parents:
diff changeset
   535
     * of floating-point numbers: it was three times as likely that the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   536
     * low-order bit of the significand would be 0 than that it would be 1!
90ce3da70b43 Initial load
duke
parents:
diff changeset
   537
     * This nonuniformity probably doesn't matter much in practice, but we
90ce3da70b43 Initial load
duke
parents:
diff changeset
   538
     * strive for perfection.]
90ce3da70b43 Initial load
duke
parents:
diff changeset
   539
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   540
     * @return the next pseudorandom, uniformly distributed {@code double}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   541
     *         value between {@code 0.0} and {@code 1.0} from this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   542
     *         random number generator's sequence
90ce3da70b43 Initial load
duke
parents:
diff changeset
   543
     * @see Math#random
90ce3da70b43 Initial load
duke
parents:
diff changeset
   544
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   545
    public double nextDouble() {
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   546
        return (((long)(next(26)) << 27) + next(27)) * DOUBLE_UNIT;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   547
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   548
90ce3da70b43 Initial load
duke
parents:
diff changeset
   549
    private double nextNextGaussian;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   550
    private boolean haveNextNextGaussian = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   551
90ce3da70b43 Initial load
duke
parents:
diff changeset
   552
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   553
     * Returns the next pseudorandom, Gaussian ("normally") distributed
90ce3da70b43 Initial load
duke
parents:
diff changeset
   554
     * {@code double} value with mean {@code 0.0} and standard
90ce3da70b43 Initial load
duke
parents:
diff changeset
   555
     * deviation {@code 1.0} from this random number generator's sequence.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   556
     * <p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   557
     * The general contract of {@code nextGaussian} is that one
90ce3da70b43 Initial load
duke
parents:
diff changeset
   558
     * {@code double} value, chosen from (approximately) the usual
90ce3da70b43 Initial load
duke
parents:
diff changeset
   559
     * normal distribution with mean {@code 0.0} and standard deviation
90ce3da70b43 Initial load
duke
parents:
diff changeset
   560
     * {@code 1.0}, is pseudorandomly generated and returned.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   561
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   562
     * <p>The method {@code nextGaussian} is implemented by class
90ce3da70b43 Initial load
duke
parents:
diff changeset
   563
     * {@code Random} as if by a threadsafe version of the following:
90ce3da70b43 Initial load
duke
parents:
diff changeset
   564
     *  <pre> {@code
90ce3da70b43 Initial load
duke
parents:
diff changeset
   565
     * private double nextNextGaussian;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   566
     * private boolean haveNextNextGaussian = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   567
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   568
     * public double nextGaussian() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   569
     *   if (haveNextNextGaussian) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   570
     *     haveNextNextGaussian = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   571
     *     return nextNextGaussian;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   572
     *   } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   573
     *     double v1, v2, s;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   574
     *     do {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   575
     *       v1 = 2 * nextDouble() - 1;   // between -1.0 and 1.0
90ce3da70b43 Initial load
duke
parents:
diff changeset
   576
     *       v2 = 2 * nextDouble() - 1;   // between -1.0 and 1.0
90ce3da70b43 Initial load
duke
parents:
diff changeset
   577
     *       s = v1 * v1 + v2 * v2;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   578
     *     } while (s >= 1 || s == 0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   579
     *     double multiplier = StrictMath.sqrt(-2 * StrictMath.log(s)/s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   580
     *     nextNextGaussian = v2 * multiplier;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   581
     *     haveNextNextGaussian = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   582
     *     return v1 * multiplier;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   583
     *   }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   584
     * }}</pre>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   585
     * This uses the <i>polar method</i> of G. E. P. Box, M. E. Muller, and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   586
     * G. Marsaglia, as described by Donald E. Knuth in <i>The Art of
43003
b1c1a42602d6 8164923: Error in the documentation for java.lang.Random
rriggs
parents: 33674
diff changeset
   587
     * Computer Programming</i>, Volume 2: <i>Seminumerical Algorithms</i>,
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   588
     * section 3.4.1, subsection C, algorithm P. Note that it generates two
90ce3da70b43 Initial load
duke
parents:
diff changeset
   589
     * independent values at the cost of only one call to {@code StrictMath.log}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   590
     * and one call to {@code StrictMath.sqrt}.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   591
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   592
     * @return the next pseudorandom, Gaussian ("normally") distributed
90ce3da70b43 Initial load
duke
parents:
diff changeset
   593
     *         {@code double} value with mean {@code 0.0} and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   594
     *         standard deviation {@code 1.0} from this random number
90ce3da70b43 Initial load
duke
parents:
diff changeset
   595
     *         generator's sequence
90ce3da70b43 Initial load
duke
parents:
diff changeset
   596
     */
32649
2ee9017c7597 8136583: Core libraries should use blessed modifier order
martin
parents: 25859
diff changeset
   597
    public synchronized double nextGaussian() {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   598
        // See Knuth, ACP, Section 3.4.1 Algorithm C.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   599
        if (haveNextNextGaussian) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   600
            haveNextNextGaussian = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   601
            return nextNextGaussian;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   602
        } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   603
            double v1, v2, s;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   604
            do {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   605
                v1 = 2 * nextDouble() - 1; // between -1 and 1
90ce3da70b43 Initial load
duke
parents:
diff changeset
   606
                v2 = 2 * nextDouble() - 1; // between -1 and 1
90ce3da70b43 Initial load
duke
parents:
diff changeset
   607
                s = v1 * v1 + v2 * v2;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   608
            } while (s >= 1 || s == 0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   609
            double multiplier = StrictMath.sqrt(-2 * StrictMath.log(s)/s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   610
            nextNextGaussian = v2 * multiplier;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   611
            haveNextNextGaussian = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   612
            return v1 * multiplier;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   613
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   614
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   615
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   616
    // stream methods, coded in a way intended to better isolate for
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   617
    // maintenance purposes the small differences across forms.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   618
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   619
    /**
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   620
     * Returns a stream producing the given {@code streamSize} number of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   621
     * pseudorandom {@code int} values.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   622
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   623
     * <p>A pseudorandom {@code int} value is generated as if it's the result of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   624
     * calling the method {@link #nextInt()}.
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   625
     *
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   626
     * @param streamSize the number of values to generate
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   627
     * @return a stream of pseudorandom {@code int} values
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   628
     * @throws IllegalArgumentException if {@code streamSize} is
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   629
     *         less than zero
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   630
     * @since 1.8
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   631
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   632
    public IntStream ints(long streamSize) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   633
        if (streamSize < 0L)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   634
            throw new IllegalArgumentException(BadSize);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   635
        return StreamSupport.intStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   636
                (new RandomIntsSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   637
                         (this, 0L, streamSize, Integer.MAX_VALUE, 0),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   638
                 false);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   639
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   640
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   641
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   642
     * Returns an effectively unlimited stream of pseudorandom {@code int}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   643
     * values.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   644
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   645
     * <p>A pseudorandom {@code int} value is generated as if it's the result of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   646
     * calling the method {@link #nextInt()}.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   647
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   648
     * @implNote This method is implemented to be equivalent to {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   649
     * ints(Long.MAX_VALUE)}.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   650
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   651
     * @return a stream of pseudorandom {@code int} values
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   652
     * @since 1.8
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   653
     */
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   654
    public IntStream ints() {
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   655
        return StreamSupport.intStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   656
                (new RandomIntsSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   657
                         (this, 0L, Long.MAX_VALUE, Integer.MAX_VALUE, 0),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   658
                 false);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   659
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   660
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   661
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   662
     * Returns a stream producing the given {@code streamSize} number
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   663
     * of pseudorandom {@code int} values, each conforming to the given
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   664
     * origin (inclusive) and bound (exclusive).
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   665
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   666
     * <p>A pseudorandom {@code int} value is generated as if it's the result of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   667
     * calling the following method with the origin and bound:
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   668
     * <pre> {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   669
     * int nextInt(int origin, int bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   670
     *   int n = bound - origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   671
     *   if (n > 0) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   672
     *     return nextInt(n) + origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   673
     *   }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   674
     *   else {  // range not representable as int
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   675
     *     int r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   676
     *     do {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   677
     *       r = nextInt();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   678
     *     } while (r < origin || r >= bound);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   679
     *     return r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   680
     *   }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   681
     * }}</pre>
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   682
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   683
     * @param streamSize the number of values to generate
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   684
     * @param randomNumberOrigin the origin (inclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   685
     * @param randomNumberBound the bound (exclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   686
     * @return a stream of pseudorandom {@code int} values,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   687
     *         each with the given origin (inclusive) and bound (exclusive)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   688
     * @throws IllegalArgumentException if {@code streamSize} is
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   689
     *         less than zero, or {@code randomNumberOrigin}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   690
     *         is greater than or equal to {@code randomNumberBound}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   691
     * @since 1.8
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   692
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   693
    public IntStream ints(long streamSize, int randomNumberOrigin,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   694
                          int randomNumberBound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   695
        if (streamSize < 0L)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   696
            throw new IllegalArgumentException(BadSize);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   697
        if (randomNumberOrigin >= randomNumberBound)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   698
            throw new IllegalArgumentException(BadRange);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   699
        return StreamSupport.intStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   700
                (new RandomIntsSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   701
                         (this, 0L, streamSize, randomNumberOrigin, randomNumberBound),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   702
                 false);
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   703
    }
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   704
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   705
    /**
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   706
     * Returns an effectively unlimited stream of pseudorandom {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   707
     * int} values, each conforming to the given origin (inclusive) and bound
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   708
     * (exclusive).
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   709
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   710
     * <p>A pseudorandom {@code int} value is generated as if it's the result of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   711
     * calling the following method with the origin and bound:
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   712
     * <pre> {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   713
     * int nextInt(int origin, int bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   714
     *   int n = bound - origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   715
     *   if (n > 0) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   716
     *     return nextInt(n) + origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   717
     *   }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   718
     *   else {  // range not representable as int
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   719
     *     int r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   720
     *     do {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   721
     *       r = nextInt();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   722
     *     } while (r < origin || r >= bound);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   723
     *     return r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   724
     *   }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   725
     * }}</pre>
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   726
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   727
     * @implNote This method is implemented to be equivalent to {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   728
     * ints(Long.MAX_VALUE, randomNumberOrigin, randomNumberBound)}.
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   729
     *
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   730
     * @param randomNumberOrigin the origin (inclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   731
     * @param randomNumberBound the bound (exclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   732
     * @return a stream of pseudorandom {@code int} values,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   733
     *         each with the given origin (inclusive) and bound (exclusive)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   734
     * @throws IllegalArgumentException if {@code randomNumberOrigin}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   735
     *         is greater than or equal to {@code randomNumberBound}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   736
     * @since 1.8
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   737
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   738
    public IntStream ints(int randomNumberOrigin, int randomNumberBound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   739
        if (randomNumberOrigin >= randomNumberBound)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   740
            throw new IllegalArgumentException(BadRange);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   741
        return StreamSupport.intStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   742
                (new RandomIntsSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   743
                         (this, 0L, Long.MAX_VALUE, randomNumberOrigin, randomNumberBound),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   744
                 false);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   745
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   746
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   747
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   748
     * Returns a stream producing the given {@code streamSize} number of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   749
     * pseudorandom {@code long} values.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   750
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   751
     * <p>A pseudorandom {@code long} value is generated as if it's the result
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   752
     * of calling the method {@link #nextLong()}.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   753
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   754
     * @param streamSize the number of values to generate
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   755
     * @return a stream of pseudorandom {@code long} values
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   756
     * @throws IllegalArgumentException if {@code streamSize} is
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   757
     *         less than zero
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   758
     * @since 1.8
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   759
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   760
    public LongStream longs(long streamSize) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   761
        if (streamSize < 0L)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   762
            throw new IllegalArgumentException(BadSize);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   763
        return StreamSupport.longStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   764
                (new RandomLongsSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   765
                         (this, 0L, streamSize, Long.MAX_VALUE, 0L),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   766
                 false);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   767
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   768
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   769
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   770
     * Returns an effectively unlimited stream of pseudorandom {@code long}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   771
     * values.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   772
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   773
     * <p>A pseudorandom {@code long} value is generated as if it's the result
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   774
     * of calling the method {@link #nextLong()}.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   775
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   776
     * @implNote This method is implemented to be equivalent to {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   777
     * longs(Long.MAX_VALUE)}.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   778
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   779
     * @return a stream of pseudorandom {@code long} values
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   780
     * @since 1.8
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   781
     */
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   782
    public LongStream longs() {
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   783
        return StreamSupport.longStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   784
                (new RandomLongsSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   785
                         (this, 0L, Long.MAX_VALUE, Long.MAX_VALUE, 0L),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   786
                 false);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   787
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   788
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   789
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   790
     * Returns a stream producing the given {@code streamSize} number of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   791
     * pseudorandom {@code long}, each conforming to the given origin
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   792
     * (inclusive) and bound (exclusive).
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   793
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   794
     * <p>A pseudorandom {@code long} value is generated as if it's the result
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   795
     * of calling the following method with the origin and bound:
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   796
     * <pre> {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   797
     * long nextLong(long origin, long bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   798
     *   long r = nextLong();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   799
     *   long n = bound - origin, m = n - 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   800
     *   if ((n & m) == 0L)  // power of two
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   801
     *     r = (r & m) + origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   802
     *   else if (n > 0L) {  // reject over-represented candidates
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   803
     *     for (long u = r >>> 1;            // ensure nonnegative
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   804
     *          u + m - (r = u % n) < 0L;    // rejection check
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   805
     *          u = nextLong() >>> 1) // retry
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   806
     *         ;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   807
     *     r += origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   808
     *   }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   809
     *   else {              // range not representable as long
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   810
     *     while (r < origin || r >= bound)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   811
     *       r = nextLong();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   812
     *   }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   813
     *   return r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   814
     * }}</pre>
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   815
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   816
     * @param streamSize the number of values to generate
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   817
     * @param randomNumberOrigin the origin (inclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   818
     * @param randomNumberBound the bound (exclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   819
     * @return a stream of pseudorandom {@code long} values,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   820
     *         each with the given origin (inclusive) and bound (exclusive)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   821
     * @throws IllegalArgumentException if {@code streamSize} is
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   822
     *         less than zero, or {@code randomNumberOrigin}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   823
     *         is greater than or equal to {@code randomNumberBound}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   824
     * @since 1.8
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   825
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   826
    public LongStream longs(long streamSize, long randomNumberOrigin,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   827
                            long randomNumberBound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   828
        if (streamSize < 0L)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   829
            throw new IllegalArgumentException(BadSize);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   830
        if (randomNumberOrigin >= randomNumberBound)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   831
            throw new IllegalArgumentException(BadRange);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   832
        return StreamSupport.longStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   833
                (new RandomLongsSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   834
                         (this, 0L, streamSize, randomNumberOrigin, randomNumberBound),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   835
                 false);
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   836
    }
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   837
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   838
    /**
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   839
     * Returns an effectively unlimited stream of pseudorandom {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   840
     * long} values, each conforming to the given origin (inclusive) and bound
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   841
     * (exclusive).
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   842
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   843
     * <p>A pseudorandom {@code long} value is generated as if it's the result
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   844
     * of calling the following method with the origin and bound:
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   845
     * <pre> {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   846
     * long nextLong(long origin, long bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   847
     *   long r = nextLong();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   848
     *   long n = bound - origin, m = n - 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   849
     *   if ((n & m) == 0L)  // power of two
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   850
     *     r = (r & m) + origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   851
     *   else if (n > 0L) {  // reject over-represented candidates
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   852
     *     for (long u = r >>> 1;            // ensure nonnegative
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   853
     *          u + m - (r = u % n) < 0L;    // rejection check
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   854
     *          u = nextLong() >>> 1) // retry
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   855
     *         ;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   856
     *     r += origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   857
     *   }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   858
     *   else {              // range not representable as long
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   859
     *     while (r < origin || r >= bound)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   860
     *       r = nextLong();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   861
     *   }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   862
     *   return r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   863
     * }}</pre>
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   864
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   865
     * @implNote This method is implemented to be equivalent to {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   866
     * longs(Long.MAX_VALUE, randomNumberOrigin, randomNumberBound)}.
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   867
     *
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   868
     * @param randomNumberOrigin the origin (inclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   869
     * @param randomNumberBound the bound (exclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   870
     * @return a stream of pseudorandom {@code long} values,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   871
     *         each with the given origin (inclusive) and bound (exclusive)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   872
     * @throws IllegalArgumentException if {@code randomNumberOrigin}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   873
     *         is greater than or equal to {@code randomNumberBound}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   874
     * @since 1.8
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   875
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   876
    public LongStream longs(long randomNumberOrigin, long randomNumberBound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   877
        if (randomNumberOrigin >= randomNumberBound)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   878
            throw new IllegalArgumentException(BadRange);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   879
        return StreamSupport.longStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   880
                (new RandomLongsSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   881
                         (this, 0L, Long.MAX_VALUE, randomNumberOrigin, randomNumberBound),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   882
                 false);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   883
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   884
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   885
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   886
     * Returns a stream producing the given {@code streamSize} number of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   887
     * pseudorandom {@code double} values, each between zero
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   888
     * (inclusive) and one (exclusive).
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   889
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   890
     * <p>A pseudorandom {@code double} value is generated as if it's the result
23938
c6b1b5882a0f 8040809: '}' left in the spec for j.u.Random.doubles(..)
michaelm
parents: 23010
diff changeset
   891
     * of calling the method {@link #nextDouble()}.
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   892
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   893
     * @param streamSize the number of values to generate
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   894
     * @return a stream of {@code double} values
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   895
     * @throws IllegalArgumentException if {@code streamSize} is
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   896
     *         less than zero
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   897
     * @since 1.8
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   898
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   899
    public DoubleStream doubles(long streamSize) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   900
        if (streamSize < 0L)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   901
            throw new IllegalArgumentException(BadSize);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   902
        return StreamSupport.doubleStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   903
                (new RandomDoublesSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   904
                         (this, 0L, streamSize, Double.MAX_VALUE, 0.0),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   905
                 false);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   906
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   907
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   908
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   909
     * Returns an effectively unlimited stream of pseudorandom {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   910
     * double} values, each between zero (inclusive) and one
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   911
     * (exclusive).
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   912
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   913
     * <p>A pseudorandom {@code double} value is generated as if it's the result
23938
c6b1b5882a0f 8040809: '}' left in the spec for j.u.Random.doubles(..)
michaelm
parents: 23010
diff changeset
   914
     * of calling the method {@link #nextDouble()}.
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   915
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   916
     * @implNote This method is implemented to be equivalent to {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   917
     * doubles(Long.MAX_VALUE)}.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   918
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   919
     * @return a stream of pseudorandom {@code double} values
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   920
     * @since 1.8
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   921
     */
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
   922
    public DoubleStream doubles() {
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   923
        return StreamSupport.doubleStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   924
                (new RandomDoublesSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   925
                         (this, 0L, Long.MAX_VALUE, Double.MAX_VALUE, 0.0),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   926
                 false);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   927
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   928
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   929
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   930
     * Returns a stream producing the given {@code streamSize} number of
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   931
     * pseudorandom {@code double} values, each conforming to the given origin
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   932
     * (inclusive) and bound (exclusive).
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   933
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   934
     * <p>A pseudorandom {@code double} value is generated as if it's the result
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   935
     * of calling the following method with the origin and bound:
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   936
     * <pre> {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   937
     * double nextDouble(double origin, double bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   938
     *   double r = nextDouble();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   939
     *   r = r * (bound - origin) + origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   940
     *   if (r >= bound) // correct for rounding
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   941
     *     r = Math.nextDown(bound);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   942
     *   return r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   943
     * }}</pre>
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   944
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   945
     * @param streamSize the number of values to generate
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   946
     * @param randomNumberOrigin the origin (inclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   947
     * @param randomNumberBound the bound (exclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   948
     * @return a stream of pseudorandom {@code double} values,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   949
     *         each with the given origin (inclusive) and bound (exclusive)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   950
     * @throws IllegalArgumentException if {@code streamSize} is
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   951
     *         less than zero
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   952
     * @throws IllegalArgumentException if {@code randomNumberOrigin}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   953
     *         is greater than or equal to {@code randomNumberBound}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   954
     * @since 1.8
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   955
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   956
    public DoubleStream doubles(long streamSize, double randomNumberOrigin,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   957
                                double randomNumberBound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   958
        if (streamSize < 0L)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   959
            throw new IllegalArgumentException(BadSize);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   960
        if (!(randomNumberOrigin < randomNumberBound))
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   961
            throw new IllegalArgumentException(BadRange);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   962
        return StreamSupport.doubleStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   963
                (new RandomDoublesSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   964
                         (this, 0L, streamSize, randomNumberOrigin, randomNumberBound),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   965
                 false);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   966
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   967
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   968
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   969
     * Returns an effectively unlimited stream of pseudorandom {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   970
     * double} values, each conforming to the given origin (inclusive) and bound
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   971
     * (exclusive).
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   972
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   973
     * <p>A pseudorandom {@code double} value is generated as if it's the result
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   974
     * of calling the following method with the origin and bound:
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   975
     * <pre> {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   976
     * double nextDouble(double origin, double bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   977
     *   double r = nextDouble();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   978
     *   r = r * (bound - origin) + origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   979
     *   if (r >= bound) // correct for rounding
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   980
     *     r = Math.nextDown(bound);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   981
     *   return r;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   982
     * }}</pre>
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   983
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   984
     * @implNote This method is implemented to be equivalent to {@code
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   985
     * doubles(Long.MAX_VALUE, randomNumberOrigin, randomNumberBound)}.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   986
     *
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   987
     * @param randomNumberOrigin the origin (inclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   988
     * @param randomNumberBound the bound (exclusive) of each random value
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   989
     * @return a stream of pseudorandom {@code double} values,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   990
     *         each with the given origin (inclusive) and bound (exclusive)
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   991
     * @throws IllegalArgumentException if {@code randomNumberOrigin}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   992
     *         is greater than or equal to {@code randomNumberBound}
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   993
     * @since 1.8
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   994
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   995
    public DoubleStream doubles(double randomNumberOrigin, double randomNumberBound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   996
        if (!(randomNumberOrigin < randomNumberBound))
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   997
            throw new IllegalArgumentException(BadRange);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   998
        return StreamSupport.doubleStream
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
   999
                (new RandomDoublesSpliterator
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1000
                         (this, 0L, Long.MAX_VALUE, randomNumberOrigin, randomNumberBound),
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1001
                 false);
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
  1002
    }
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
  1003
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
  1004
    /**
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1005
     * Spliterator for int streams.  We multiplex the four int
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1006
     * versions into one class by treating a bound less than origin as
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1007
     * unbounded, and also by treating "infinite" as equivalent to
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1008
     * Long.MAX_VALUE. For splits, it uses the standard divide-by-two
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1009
     * approach. The long and double versions of this class are
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1010
     * identical except for types.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1011
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1012
    static final class RandomIntsSpliterator implements Spliterator.OfInt {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1013
        final Random rng;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1014
        long index;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1015
        final long fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1016
        final int origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1017
        final int bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1018
        RandomIntsSpliterator(Random rng, long index, long fence,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1019
                              int origin, int bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1020
            this.rng = rng; this.index = index; this.fence = fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1021
            this.origin = origin; this.bound = bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1022
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1023
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1024
        public RandomIntsSpliterator trySplit() {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1025
            long i = index, m = (i + fence) >>> 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1026
            return (m <= i) ? null :
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1027
                   new RandomIntsSpliterator(rng, i, index = m, origin, bound);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1028
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1029
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1030
        public long estimateSize() {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1031
            return fence - index;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1032
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1033
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1034
        public int characteristics() {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1035
            return (Spliterator.SIZED | Spliterator.SUBSIZED |
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1036
                    Spliterator.NONNULL | Spliterator.IMMUTABLE);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1037
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1038
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1039
        public boolean tryAdvance(IntConsumer consumer) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1040
            if (consumer == null) throw new NullPointerException();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1041
            long i = index, f = fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1042
            if (i < f) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1043
                consumer.accept(rng.internalNextInt(origin, bound));
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1044
                index = i + 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1045
                return true;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1046
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1047
            return false;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1048
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1049
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1050
        public void forEachRemaining(IntConsumer consumer) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1051
            if (consumer == null) throw new NullPointerException();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1052
            long i = index, f = fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1053
            if (i < f) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1054
                index = f;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1055
                Random r = rng;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1056
                int o = origin, b = bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1057
                do {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1058
                    consumer.accept(r.internalNextInt(o, b));
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1059
                } while (++i < f);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1060
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1061
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1062
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1063
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1064
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1065
     * Spliterator for long streams.
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
  1066
     */
19609
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1067
    static final class RandomLongsSpliterator implements Spliterator.OfLong {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1068
        final Random rng;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1069
        long index;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1070
        final long fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1071
        final long origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1072
        final long bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1073
        RandomLongsSpliterator(Random rng, long index, long fence,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1074
                               long origin, long bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1075
            this.rng = rng; this.index = index; this.fence = fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1076
            this.origin = origin; this.bound = bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1077
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1078
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1079
        public RandomLongsSpliterator trySplit() {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1080
            long i = index, m = (i + fence) >>> 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1081
            return (m <= i) ? null :
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1082
                   new RandomLongsSpliterator(rng, i, index = m, origin, bound);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1083
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1084
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1085
        public long estimateSize() {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1086
            return fence - index;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1087
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1088
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1089
        public int characteristics() {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1090
            return (Spliterator.SIZED | Spliterator.SUBSIZED |
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1091
                    Spliterator.NONNULL | Spliterator.IMMUTABLE);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1092
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1093
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1094
        public boolean tryAdvance(LongConsumer consumer) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1095
            if (consumer == null) throw new NullPointerException();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1096
            long i = index, f = fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1097
            if (i < f) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1098
                consumer.accept(rng.internalNextLong(origin, bound));
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1099
                index = i + 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1100
                return true;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1101
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1102
            return false;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1103
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1104
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1105
        public void forEachRemaining(LongConsumer consumer) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1106
            if (consumer == null) throw new NullPointerException();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1107
            long i = index, f = fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1108
            if (i < f) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1109
                index = f;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1110
                Random r = rng;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1111
                long o = origin, b = bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1112
                do {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1113
                    consumer.accept(r.internalNextLong(o, b));
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1114
                } while (++i < f);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1115
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1116
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1117
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1118
    }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1119
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1120
    /**
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1121
     * Spliterator for double streams.
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1122
     */
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1123
    static final class RandomDoublesSpliterator implements Spliterator.OfDouble {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1124
        final Random rng;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1125
        long index;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1126
        final long fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1127
        final double origin;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1128
        final double bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1129
        RandomDoublesSpliterator(Random rng, long index, long fence,
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1130
                                 double origin, double bound) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1131
            this.rng = rng; this.index = index; this.fence = fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1132
            this.origin = origin; this.bound = bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1133
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1134
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1135
        public RandomDoublesSpliterator trySplit() {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1136
            long i = index, m = (i + fence) >>> 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1137
            return (m <= i) ? null :
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1138
                   new RandomDoublesSpliterator(rng, i, index = m, origin, bound);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1139
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1140
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1141
        public long estimateSize() {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1142
            return fence - index;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1143
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1144
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1145
        public int characteristics() {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1146
            return (Spliterator.SIZED | Spliterator.SUBSIZED |
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1147
                    Spliterator.NONNULL | Spliterator.IMMUTABLE);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1148
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1149
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1150
        public boolean tryAdvance(DoubleConsumer consumer) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1151
            if (consumer == null) throw new NullPointerException();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1152
            long i = index, f = fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1153
            if (i < f) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1154
                consumer.accept(rng.internalNextDouble(origin, bound));
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1155
                index = i + 1;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1156
                return true;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1157
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1158
            return false;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1159
        }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1160
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1161
        public void forEachRemaining(DoubleConsumer consumer) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1162
            if (consumer == null) throw new NullPointerException();
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1163
            long i = index, f = fence;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1164
            if (i < f) {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1165
                index = f;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1166
                Random r = rng;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1167
                double o = origin, b = bound;
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1168
                do {
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1169
                    consumer.accept(r.internalNextDouble(o, b));
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1170
                } while (++i < f);
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1171
            }
108f52a7438f 8023155: Ensure functional consistency across Random, ThreadLocalRandom, SplittableRandom
psandoz
parents: 19074
diff changeset
  1172
        }
17421
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
  1173
    }
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
  1174
f3fbcfe6e2cf 8012645: Stream methods on BitSet, Random, ThreadLocalRandom, ZipFile
mduigou
parents: 14342
diff changeset
  1175
    /**
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1176
     * Serializable fields for Random.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1177
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1178
     * @serialField    seed long
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1179
     *              seed for random computations
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1180
     * @serialField    nextNextGaussian double
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1181
     *              next Gaussian to be returned
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1182
     * @serialField      haveNextNextGaussian boolean
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1183
     *              nextNextGaussian is valid
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1184
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1185
    private static final ObjectStreamField[] serialPersistentFields = {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1186
        new ObjectStreamField("seed", Long.TYPE),
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1187
        new ObjectStreamField("nextNextGaussian", Double.TYPE),
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1188
        new ObjectStreamField("haveNextNextGaussian", Boolean.TYPE)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1189
    };
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1190
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1191
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1192
     * Reconstitute the {@code Random} instance from a stream (that is,
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1193
     * deserialize it).
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1194
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1195
    private void readObject(java.io.ObjectInputStream s)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1196
        throws java.io.IOException, ClassNotFoundException {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1197
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1198
        ObjectInputStream.GetField fields = s.readFields();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1199
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1200
        // The seed is read in as {@code long} for
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1201
        // historical reasons, but it is converted to an AtomicLong.
51
6fe31bc95bbc 6600143: Remove another 450 unnecessary casts
martin
parents: 2
diff changeset
  1202
        long seedVal = fields.get("seed", -1L);
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1203
        if (seedVal < 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1204
          throw new java.io.StreamCorruptedException(
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1205
                              "Random: invalid seed");
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1206
        resetSeed(seedVal);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1207
        nextNextGaussian = fields.get("nextNextGaussian", 0.0);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1208
        haveNextNextGaussian = fields.get("haveNextNextGaussian", false);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1209
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1210
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1211
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1212
     * Save the {@code Random} instance to a stream.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1213
     */
32649
2ee9017c7597 8136583: Core libraries should use blessed modifier order
martin
parents: 25859
diff changeset
  1214
    private synchronized void writeObject(ObjectOutputStream s)
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1215
        throws IOException {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1216
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1217
        // set the values of the Serializable fields
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1218
        ObjectOutputStream.PutField fields = s.putFields();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1219
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1220
        // The seed is serialized as a long for historical reasons.
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1221
        fields.put("seed", seed.get());
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1222
        fields.put("nextNextGaussian", nextNextGaussian);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1223
        fields.put("haveNextNextGaussian", haveNextNextGaussian);
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1224
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1225
        // save them
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1226
        s.writeFields();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1227
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1228
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1229
    // Support for resetting seed while deserializing
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1230
    private static final Unsafe unsafe = Unsafe.getUnsafe();
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1231
    private static final long seedOffset;
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1232
    static {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1233
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1234
            seedOffset = unsafe.objectFieldOffset
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1235
                (Random.class.getDeclaredField("seed"));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1236
        } catch (Exception ex) { throw new Error(ex); }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1237
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1238
    private void resetSeed(long seedVal) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1239
        unsafe.putObjectVolatile(this, seedOffset, new AtomicLong(seedVal));
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1240
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
  1241
}