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