newrandom/AbstractSplittableRng.java
author briangoetz
Thu, 23 May 2019 16:45:56 -0400
branchbriangoetz-test-branch
changeset 57369 6d87e9f7a1ec
permissions -rwxr-xr-x
Initial comment in newrandom/
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
57369
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     1
/*
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     2
 * Copyright (c) 2016, 2019, Oracle and/or its affiliates. All rights reserved.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     3
 * ORACLE PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     4
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     5
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     6
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     7
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     8
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
     9
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    10
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    11
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    12
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    13
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    14
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    15
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    16
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    17
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    18
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    19
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    20
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    21
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    22
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    23
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    24
 */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    25
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    26
// package java.util;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    27
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    28
import java.util.function.Consumer;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    29
import java.util.function.IntConsumer;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    30
import java.util.function.LongConsumer;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    31
import java.util.function.DoubleConsumer;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    32
import java.util.Spliterator;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    33
import java.util.stream.StreamSupport;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    34
import java.util.stream.Stream;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    35
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    36
/**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    37
 * This class provides much of the implementation of the {@code SplittableRng}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    38
 * interface, to minimize the effort required to implement this interface.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    39
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    40
 * To implement a pseudorandom number generator, the programmer needs
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    41
 * only to extend this class and provide implementations for the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    42
 * methods {@code nextInt()}, {@code nextLong()}, {@code period()},
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    43
 * and {@code split(SplittableRng)}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    44
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    45
 * (If the pseudorandom number generator also has the ability to jump,
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    46
 * then the programmer may wish to consider instead extending
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    47
 * the class {@code AbstractSplittableJumpableRng} or (if it can also leap)
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    48
 * {@code AbstractSplittableLeapableRng}.  But if the pseudorandom number
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    49
 * generator furthermore has the ability to jump an arbitrary specified
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    50
 * distance, then the programmer may wish to consider instead extending
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    51
 * the class {@code * AbstractSplittableArbitrarilyJumpableRng}.)
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    52
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    53
 * The programmer should generally provide at least three constructors:
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    54
 * one that takes no arguments, one that accepts a {@code long}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    55
 * seed value, and one that accepts an array of seed {@code byte} values.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    56
 * This class provides a public {@code initialSeed()} method that may
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    57
 * be useful in initializing some static state from which to derive
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    58
 * defaults seeds for use by the no-argument constructor.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    59
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    60
 * For the stream methods (such as {@code ints()} and {@code splits()}),
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    61
 * this class provides {@code Spliterator}-based implementations that
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    62
 * allow parallel execution when appropriate.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    63
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    64
 * The documentation for each non-abstract method in this class
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    65
 * describes its implementation in detail. Each of these methods may
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    66
 * be overridden if the pseudorandom number generator being
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    67
 * implemented admits a more efficient implementation.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    68
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    69
 * @author  Guy Steele
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    70
 * @author  Doug Lea
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    71
 * @since   1.9
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    72
 */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    73
public abstract class AbstractSplittableRng extends AbstractSpliteratorRng implements SplittableRng {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    74
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    75
    /*
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    76
     * Implementation Overview.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    77
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    78
     * This class provides most of the "user API" methods needed to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    79
     * satisfy the interface java.util.JumpableRng.  Most of these methods
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    80
     * are in turn inherited from AbstractRng and the non-public class
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    81
     * AbstractSpliteratorRng; this file implements two versions of the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    82
     * splits method and defines the spliterators necessary to support
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    83
     * them.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    84
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    85
     * The abstract split() method from interface SplittableRng is redeclared
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    86
     * here so as to narrow the return type to AbstractSplittableRng.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    87
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    88
     * File organization: First the non-public methods needed by the class
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    89
     * AbstractSpliteratorRng, then the main public methods, followed by some
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    90
     * custom spliterator classes.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    91
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    92
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    93
    Spliterator.OfInt makeIntsSpliterator(long index, long fence, int origin, int bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    94
	return new RandomIntsSpliterator(this, index, fence, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    95
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    96
    
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    97
    Spliterator.OfLong makeLongsSpliterator(long index, long fence, long origin, long bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    98
	return new RandomLongsSpliterator(this, index, fence, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    99
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   100
    
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   101
    Spliterator.OfDouble makeDoublesSpliterator(long index, long fence, double origin, double bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   102
	return new RandomDoublesSpliterator(this, index, fence, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   103
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   104
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   105
    Spliterator<SplittableRng> makeSplitsSpliterator(long index, long fence, SplittableRng source) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   106
	return new RandomSplitsSpliterator(source, index, fence, this);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   107
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   108
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   109
    /* ---------------- public methods ---------------- */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   110
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   111
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   112
     * Implements the @code{split()} method as {@code this.split(this) }.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   113
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   114
     * @return the new {@code AbstractSplittableRng} instance
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   115
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   116
    public SplittableRng split() { return this.split(this); }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   117
    
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   118
    // Stream methods for splittings
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   119
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   120
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   121
     * Returns an effectively unlimited stream of new pseudorandom
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   122
     * number generators, each of which implements the {@code SplittableRng}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   123
     * interface.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   124
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   125
     * This pseudorandom number generator provides the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   126
     * entropy used to seed the new ones.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   127
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   128
     * @implNote This method is implemented to be equivalent to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   129
     * {@code splits(Long.MAX_VALUE)}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   130
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   131
     * @return a stream of {@code SplittableRng} objects
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   132
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   133
    public Stream<SplittableRng> splits() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   134
        return this.splits(Long.MAX_VALUE, this);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   135
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   136
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   137
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   138
     * Returns a stream producing the given {@code streamSize} number of
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   139
     * new pseudorandom number generators, each of which implements the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   140
     * {@code SplittableRng} interface.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   141
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   142
     * This pseudorandom number generator provides the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   143
     * entropy used to seed the new ones.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   144
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   145
     * @param streamSize the number of values to generate
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   146
     * @return a stream of {@code SplittableRng} objects
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   147
     * @throws IllegalArgumentException if {@code streamSize} is
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   148
     *         less than zero
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   149
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   150
    public Stream<SplittableRng> splits(long streamSize) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   151
	return this.splits(streamSize, this);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   152
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   153
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   154
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   155
     * Returns an effectively unlimited stream of new pseudorandom
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   156
     * number generators, each of which implements the {@code SplittableRng}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   157
     * interface.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   158
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   159
     * @implNote This method is implemented to be equivalent to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   160
     * {@code splits(Long.MAX_VALUE)}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   161
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   162
     * @param source a {@code SplittableRng} instance to be used instead
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   163
     *               of this one as a source of pseudorandom bits used to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   164
     *               initialize the state of the new ones.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   165
     * @return a stream of {@code SplittableRng} objects
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   166
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   167
    public Stream<SplittableRng> splits(SplittableRng source) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   168
        return this.splits(Long.MAX_VALUE, source);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   169
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   170
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   171
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   172
     * Returns a stream producing the given {@code streamSize} number of
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   173
     * new pseudorandom number generators, each of which implements the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   174
     * {@code SplittableRng} interface.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   175
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   176
     * @param streamSize the number of values to generate
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   177
     * @param source a {@code SplittableRng} instance to be used instead
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   178
     *               of this one as a source of pseudorandom bits used to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   179
     *               initialize the state of the new ones.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   180
     * @return a stream of {@code SplittableRng} objects
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   181
     * @throws IllegalArgumentException if {@code streamSize} is
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   182
     *         less than zero
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   183
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   184
    public Stream<SplittableRng> splits(long streamSize, SplittableRng source) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   185
	RngSupport.checkStreamSize(streamSize);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   186
        return StreamSupport.stream(makeSplitsSpliterator(0L, streamSize, source), false);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   187
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   188
        
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   189
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   190
     * Spliterator for int streams.  We multiplex the four int
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   191
     * versions into one class by treating a bound less than origin as
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   192
     * unbounded, and also by treating "infinite" as equivalent to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   193
     * Long.MAX_VALUE. For splits, it uses the standard divide-by-two
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   194
     * approach. The long and double versions of this class are
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   195
     * identical except for types.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   196
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   197
    static class RandomIntsSpliterator extends RngSupport.RandomSpliterator implements Spliterator.OfInt {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   198
	final SplittableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   199
        final int origin;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   200
        final int bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   201
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   202
        RandomIntsSpliterator(SplittableRng generatingRng, long index, long fence, int origin, int bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   203
	    super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   204
	    this.generatingRng = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   205
            this.origin = origin; this.bound = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   206
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   207
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   208
        public Spliterator.OfInt trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   209
            long i = index, m = (i + fence) >>> 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   210
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   211
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   212
	    return new RandomIntsSpliterator(generatingRng.split(), i, m, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   213
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   214
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   215
        public boolean tryAdvance(IntConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   216
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   217
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   218
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   219
                consumer.accept(RngSupport.boundedNextInt(generatingRng, origin, bound));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   220
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   221
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   222
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   223
            else return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   224
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   225
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   226
        public void forEachRemaining(IntConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   227
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   228
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   229
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   230
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   231
                Rng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   232
                int o = origin, b = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   233
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   234
                    consumer.accept(RngSupport.boundedNextInt(r, o, b));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   235
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   236
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   237
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   238
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   239
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   240
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   241
     * Spliterator for long streams.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   242
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   243
    static class RandomLongsSpliterator extends RngSupport.RandomSpliterator implements Spliterator.OfLong {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   244
	final SplittableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   245
        final long origin;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   246
        final long bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   247
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   248
        RandomLongsSpliterator(SplittableRng generatingRng, long index, long fence, long origin, long bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   249
	    super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   250
	    this.generatingRng = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   251
            this.origin = origin; this.bound = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   252
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   253
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   254
        public Spliterator.OfLong trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   255
            long i = index, m = (i + fence) >>> 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   256
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   257
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   258
	    return new RandomLongsSpliterator(generatingRng.split(), i, m, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   259
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   260
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   261
        public boolean tryAdvance(LongConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   262
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   263
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   264
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   265
                consumer.accept(RngSupport.boundedNextLong(generatingRng, origin, bound));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   266
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   267
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   268
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   269
            else return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   270
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   271
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   272
        public void forEachRemaining(LongConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   273
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   274
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   275
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   276
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   277
                Rng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   278
                long o = origin, b = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   279
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   280
                    consumer.accept(RngSupport.boundedNextLong(r, o, b));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   281
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   282
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   283
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   284
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   285
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   286
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   287
     * Spliterator for double streams.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   288
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   289
    static class RandomDoublesSpliterator extends RngSupport.RandomSpliterator implements Spliterator.OfDouble {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   290
	final SplittableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   291
        final double origin;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   292
        final double bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   293
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   294
        RandomDoublesSpliterator(SplittableRng generatingRng, long index, long fence, double origin, double bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   295
	    super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   296
	    this.generatingRng = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   297
            this.origin = origin; this.bound = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   298
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   299
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   300
        public Spliterator.OfDouble trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   301
            long i = index, m = (i + fence) >>> 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   302
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   303
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   304
	    return new RandomDoublesSpliterator(generatingRng.split(), i, m, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   305
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   306
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   307
        public boolean tryAdvance(DoubleConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   308
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   309
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   310
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   311
                consumer.accept(RngSupport.boundedNextDouble(generatingRng, origin, bound));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   312
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   313
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   314
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   315
            else return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   316
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   317
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   318
        public void forEachRemaining(DoubleConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   319
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   320
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   321
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   322
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   323
                Rng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   324
                double o = origin, b = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   325
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   326
                    consumer.accept(RngSupport.boundedNextDouble(r, o, b));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   327
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   328
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   329
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   330
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   331
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   332
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   333
     * Spliterator for stream of generators of type SplittableRng.  We multiplex the two
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   334
     * versions into one class by treating "infinite" as equivalent to Long.MAX_VALUE.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   335
     * For splits, it uses the standard divide-by-two approach.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   336
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   337
    static class RandomSplitsSpliterator extends RngSupport.RandomSpliterator implements Spliterator<SplittableRng> {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   338
	final SplittableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   339
	final SplittableRng constructingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   340
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   341
        RandomSplitsSpliterator(SplittableRng generatingRng, long index, long fence, SplittableRng constructingRng) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   342
	    super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   343
	    this.generatingRng = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   344
	    this.constructingRng = constructingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   345
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   346
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   347
        public Spliterator<SplittableRng> trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   348
            long i = index, m = (i + fence) >>> 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   349
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   350
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   351
	    return new RandomSplitsSpliterator(generatingRng.split(), i, m, constructingRng);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   352
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   353
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   354
        public boolean tryAdvance(Consumer<? super SplittableRng> consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   355
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   356
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   357
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   358
                consumer.accept(constructingRng.split(generatingRng));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   359
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   360
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   361
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   362
            else return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   363
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   364
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   365
        public void forEachRemaining(Consumer<? super SplittableRng> consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   366
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   367
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   368
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   369
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   370
		SplittableRng c = constructingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   371
                SplittableRng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   372
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   373
                    consumer.accept(c.split(r));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   374
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   375
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   376
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   377
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   378
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   379
}