newrandom/AbstractArbitrarilyJumpableRng.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.Spliterator;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    29
import java.util.function.Consumer;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    30
import java.util.function.IntConsumer;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    31
import java.util.function.LongConsumer;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    32
import java.util.function.DoubleConsumer;
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
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    38
 * {@code ArbitrarilyJumpableRng} interface, to minimize the effort
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    39
 * required to implement that interface.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    40
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    41
 * To implement a pseudorandom number generator, the programmer needs
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    42
 * only to extend this class and provide implementations for the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    43
 * methods {@code nextInt()}, {@code nextLong()}, {@code copy()},
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    44
 * {@code jump(distance)}, {@code jumpPowerOfTwo(distance)},
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    45
 * {@code defaultJumpDistance()}, and {@code defaultLeapDistance()}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    46
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    47
 * (If the pseudorandom number generator also has the ability to split,
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    48
 * then the programmer may wish to consider instead extending
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    49
 * {@code AbstractSplittableArbitrarilyJumpableRng}.)
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    50
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    51
 * The programmer should generally provide at least three constructors:
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    52
 * one that takes no arguments, one that accepts a {@code long}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    53
 * seed value, and one that accepts an array of seed {@code byte} values.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    54
 * This class provides a public {@code initialSeed()} method that may
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    55
 * be useful in initializing some static state from which to derive
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    56
 * defaults seeds for use by the no-argument constructor.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    57
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    58
 * For the stream methods (such as {@code ints()} and {@code splits()}),
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    59
 * this class provides {@code Spliterator}-based implementations that
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    60
 * allow parallel execution when appropriate.  In this respect
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    61
 * {@code ArbitrarilyJumpableRng} differs from {@code JumpableRng},
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    62
 * which provides very simple implementations that produce
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    63
 * sequential streams only.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    64
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    65
 * <p>An implementation of the {@code AbstractArbitrarilyJumpableRng} class
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    66
 * must provide concrete definitions for the methods {@code nextInt()},
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    67
 * {@code nextLong}, {@code period()}, {@code copy()}, {@code jump(double)},
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    68
 * {@code defaultJumpDistance()}, and {@code defaultLeapDistance()}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    69
 * Default implementations are provided for all other methods.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    70
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    71
 * The documentation for each non-abstract method in this class
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    72
 * describes its implementation in detail. Each of these methods may
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    73
 * be overridden if the pseudorandom number generator being
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    74
 * implemented admits a more efficient implementation.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    75
 *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    76
 * @author  Guy Steele
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    77
 * @since   1.9
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    78
 */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    79
public abstract class AbstractArbitrarilyJumpableRng
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    80
    extends AbstractSpliteratorRng implements ArbitrarilyJumpableRng {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    81
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    82
    /*
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    83
     * Implementation Overview.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    84
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    85
     * This class provides most of the "user API" methods needed to satisfy
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    86
     * the interface java.util.ArbitrarilyJumpableRng.  Most of these methods
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    87
     * are in turn inherited from AbstractRng and the non-public class
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    88
     * AbstractSpliteratorRng; this file implements four versions of the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    89
     * jumps method and defines the spliterators necessary to support them.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    90
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    91
     * File organization: First the non-public methods needed by the class
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    92
     * AbstractSpliteratorRng, then the main public methods, followed by some
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    93
     * custom spliterator classes needed for stream methods.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    94
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    95
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    96
    // IllegalArgumentException messages
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    97
    static final String BadLogDistance  = "logDistance must be non-negative";
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    98
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
    99
    // Methods required by class AbstractSpliteratorRng
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   100
    Spliterator.OfInt makeIntsSpliterator(long index, long fence, int origin, int bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   101
	return new RandomIntsSpliterator(this, index, fence, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   102
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   103
    Spliterator.OfLong makeLongsSpliterator(long index, long fence, long origin, long bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   104
	return new RandomLongsSpliterator(this, index, fence, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   105
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   106
    Spliterator.OfDouble makeDoublesSpliterator(long index, long fence, double origin, double bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   107
	return new RandomDoublesSpliterator(this, index, fence, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   108
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   109
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   110
    // Similar methods used by this class
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   111
    Spliterator<Rng> makeJumpsSpliterator(long index, long fence, double distance) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   112
	return new RandomJumpsSpliterator(this, index, fence, distance);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   113
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   114
    Spliterator<JumpableRng> makeLeapsSpliterator(long index, long fence, double distance) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   115
	return new RandomLeapsSpliterator(this, index, fence, distance);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   116
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   117
    Spliterator<ArbitrarilyJumpableRng> makeArbitraryJumpsSpliterator(long index, long fence, double distance) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   118
	return new RandomArbitraryJumpsSpliterator(this, index, fence, distance);
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
    /* ---------------- public methods ---------------- */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   122
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   123
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   124
     * Returns a new generator whose internal state is an exact copy
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   125
     * of this generator (therefore their future behavior should be
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   126
     * identical if subjected to the same series of operations).
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   127
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   128
     * @return a new object that is a copy of this generator
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   129
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   130
    public abstract AbstractArbitrarilyJumpableRng copy();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   131
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   132
    // Stream methods for jumping
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   133
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   134
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   135
     * Returns an effectively unlimited stream of new pseudorandom
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   136
     * number generators, each of which implements the {@code Rng}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   137
     * interface, produced by jumping copies of this generator
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   138
     * by different integer multiples of the default jump distance.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   139
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   140
     * @implNote This method is implemented to be equivalent to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   141
     * {@code jumps(Long.MAX_VALUE)}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   142
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   143
     * @return a stream of objects that implement the {@code Rng} interface
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   144
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   145
    public Stream<Rng> jumps() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   146
        return StreamSupport.stream
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   147
            (makeJumpsSpliterator(0L, Long.MAX_VALUE, defaultJumpDistance()),
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   148
             false);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   149
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   150
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   151
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   152
     * Returns a stream producing the given {@code streamSize} number of
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   153
     * new pseudorandom number generators, each of which implements the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   154
     * {@code Rng} interface, produced by jumping copies of this generator
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   155
     * by different integer multiples of the default jump distance.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   156
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   157
     * @param streamSize the number of generators to generate
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   158
     * @return a stream of objects that implement the {@code Rng} interface
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   159
     * @throws IllegalArgumentException if {@code streamSize} is
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   160
     *         less than zero
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   161
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   162
    public Stream<Rng> jumps(long streamSize) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   163
        return StreamSupport.stream
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   164
            (makeJumpsSpliterator(0L, streamSize, defaultJumpDistance()),
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   165
             false);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   166
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   167
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   168
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   169
     * Returns an effectively unlimited stream of new pseudorandom
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   170
     * number generators, each of which implements the {@code Rng}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   171
     * interface, produced by jumping copies of this generator
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   172
     * by different integer multiples of the specified jump distance.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   173
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   174
     * @implNote This method is implemented to be equivalent to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   175
     * {@code jumps(Long.MAX_VALUE)}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   176
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   177
     * @param distance a distance to jump forward within the state cycle
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   178
     * @return a stream of objects that implement the {@code Rng} interface
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   179
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   180
    public Stream<ArbitrarilyJumpableRng> jumps(double distance) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   181
        return StreamSupport.stream
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   182
            (makeArbitraryJumpsSpliterator(0L, Long.MAX_VALUE, distance),
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   183
             false);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   184
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   185
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   186
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   187
     * Returns a stream producing the given {@code streamSize} number of
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   188
     * new pseudorandom number generators, each of which implements the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   189
     * {@code Rng} interface, produced by jumping copies of this generator
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   190
     * by different integer multiples of the specified jump distance.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   191
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   192
     * @param streamSize the number of generators to generate
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   193
     * @param distance a distance to jump forward within the state cycle
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   194
     * @return a stream of objects that implement the {@code Rng} interface
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   195
     * @throws IllegalArgumentException if {@code streamSize} is
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   196
     *         less than zero
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   197
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   198
    public Stream<ArbitrarilyJumpableRng> jumps(long streamSize, double distance) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   199
	RngSupport.checkStreamSize(streamSize);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   200
        return StreamSupport.stream
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   201
            (makeArbitraryJumpsSpliterator(0L, streamSize, distance),
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   202
             false);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   203
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   204
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   205
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   206
     * Alter the state of this pseudorandom number generator so as to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   207
     * jump forward a very large, fixed distance (typically 2<sup>128</sup>
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   208
     * or more) within its state cycle.  The distance used is that
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   209
     * returned by method {@code defaultLeapDistance()}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   210
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   211
    public void leap() { jump(defaultLeapDistance()); }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   212
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   213
    // Stream methods for leaping
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   214
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   215
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   216
     * Returns an effectively unlimited stream of new pseudorandom
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   217
     * number generators, each of which implements the {@code Rng}
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   218
     * interface, produced by jumping copies of this generator
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   219
     * by different integer multiples of the default leap distance.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   220
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   221
     * @implNote This method is implemented to be equivalent to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   222
     * {@code leaps(Long.MAX_VALUE)}.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   223
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   224
     * @return a stream of objects that implement the {@code Rng} interface
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   225
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   226
    public Stream<JumpableRng> leaps() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   227
        return StreamSupport.stream
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   228
            (makeLeapsSpliterator(0L, Long.MAX_VALUE, defaultLeapDistance()),
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   229
             false);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   230
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   231
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   232
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   233
     * Returns a stream producing the given {@code streamSize} number of
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   234
     * new pseudorandom number generators, each of which implements the
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   235
     * {@code Rng} interface, produced by jumping copies of this generator
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   236
     * by different integer multiples of the default leap distance.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   237
     *
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   238
     * @param streamSize the number of generators to generate
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   239
     * @return a stream of objects that implement the {@code Rng} interface
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   240
     * @throws IllegalArgumentException if {@code streamSize} is
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   241
     *         less than zero
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   242
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   243
    public Stream<JumpableRng> leaps(long streamSize) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   244
        return StreamSupport.stream
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   245
            (makeLeapsSpliterator(0L, streamSize, defaultLeapDistance()),
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   246
             false);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   247
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   248
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   249
    
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   250
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   251
     * Spliterator for int streams.  We multiplex the four int
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   252
     * versions into one class by treating a bound less than origin as
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   253
     * unbounded, and also by treating "infinite" as equivalent to
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   254
     * Long.MAX_VALUE. For splits, we choose to override the method
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   255
     * {@code trySplit()} to try to optimize execution speed: instead of
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   256
     * dividing a range in half, it breaks off the largest possible chunk
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   257
     * whose size is a power of two such that the remaining chunk is not
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   258
     * empty.  In this way, the necessary jump distances will tend to be
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   259
     * powers of two.  The long and double versions of this class are
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   260
     * identical except for types.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   261
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   262
    static class RandomIntsSpliterator extends RngSupport.RandomSpliterator implements Spliterator.OfInt {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   263
	final ArbitrarilyJumpableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   264
        final int origin;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   265
        final int bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   266
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   267
        RandomIntsSpliterator(ArbitrarilyJumpableRng generatingRng, long index, long fence, int origin, int bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   268
	    super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   269
	    this.origin = origin; this.bound = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   270
	    this.generatingRng = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   271
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   272
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   273
        public Spliterator.OfInt trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   274
            long i = index, delta = Long.highestOneBit((fence - i) - 1), m = i + delta;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   275
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   276
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   277
	    ArbitrarilyJumpableRng r = (ArbitrarilyJumpableRng) generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   278
	    return new RandomIntsSpliterator(r.copyAndJump((double)delta), i, m, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   279
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   280
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   281
        public boolean tryAdvance(IntConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   282
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   283
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   284
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   285
                consumer.accept(RngSupport.boundedNextInt(generatingRng, origin, bound));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   286
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   287
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   288
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   289
            else return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   290
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   291
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   292
        public void forEachRemaining(IntConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   293
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   294
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   295
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   296
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   297
                ArbitrarilyJumpableRng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   298
                int o = origin, b = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   299
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   300
                    consumer.accept(RngSupport.boundedNextInt(r, o, b));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   301
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   302
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   303
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   304
    }
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
     * Spliterator for long streams.  
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   308
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   309
    static class RandomLongsSpliterator extends RngSupport.RandomSpliterator implements Spliterator.OfLong {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   310
	final ArbitrarilyJumpableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   311
        final long origin;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   312
        final long bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   313
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   314
        RandomLongsSpliterator(ArbitrarilyJumpableRng generatingRng, long index, long fence, long origin, long bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   315
	    super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   316
	    this.generatingRng = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   317
	    this.origin = origin; this.bound = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   318
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   319
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   320
        public Spliterator.OfLong trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   321
            long i = index, delta = Long.highestOneBit((fence - i) - 1), m = i + delta;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   322
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   323
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   324
	    ArbitrarilyJumpableRng r = (ArbitrarilyJumpableRng) generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   325
	    return new RandomLongsSpliterator(r.copyAndJump((double)delta), i, m, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   326
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   327
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   328
        public boolean tryAdvance(LongConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   329
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   330
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   331
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   332
                consumer.accept(RngSupport.boundedNextLong(generatingRng, origin, bound));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   333
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   334
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   335
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   336
            else return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   337
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   338
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   339
        public void forEachRemaining(LongConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   340
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   341
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   342
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   343
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   344
                ArbitrarilyJumpableRng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   345
                long o = origin, b = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   346
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   347
                    consumer.accept(RngSupport.boundedNextLong(r, o, b));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   348
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   349
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   350
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   351
    }
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
     * Spliterator for double streams.  
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   355
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   356
    static class RandomDoublesSpliterator extends RngSupport.RandomSpliterator implements Spliterator.OfDouble {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   357
	final ArbitrarilyJumpableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   358
        final double origin;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   359
        final double bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   360
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   361
        RandomDoublesSpliterator(ArbitrarilyJumpableRng generatingRng, long index, long fence, double origin, double bound) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   362
	    super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   363
	    this.generatingRng = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   364
	    this.origin = origin; this.bound = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   365
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   366
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   367
        public Spliterator.OfDouble trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   368
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   369
            long i = index, delta = Long.highestOneBit((fence - i) - 1), m = i + delta;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   370
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   371
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   372
	    ArbitrarilyJumpableRng r = (ArbitrarilyJumpableRng) generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   373
	    return new RandomDoublesSpliterator(r.copyAndJump((double)delta), i, m, origin, bound);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   374
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   375
	
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   376
        public boolean tryAdvance(DoubleConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   377
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   378
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   379
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   380
                consumer.accept(RngSupport.boundedNextDouble(generatingRng, origin, bound));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   381
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   382
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   383
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   384
            else return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   385
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   386
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   387
        public void forEachRemaining(DoubleConsumer consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   388
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   389
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   390
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   391
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   392
                ArbitrarilyJumpableRng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   393
                double o = origin, b = bound;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   394
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   395
                    consumer.accept(RngSupport.boundedNextDouble(r, o, b));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   396
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   397
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   398
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   399
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   400
    
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   401
    // Spliterators for producing new generators by jumping or leaping.  The
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   402
    // complete implementation of each of these spliterators is right here.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   403
    // In the same manner as for the preceding spliterators, the method trySplit() is
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   404
    // coded to optimize execution speed: instead of dividing a range
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   405
    // in half, it breaks off the largest possible chunk whose
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   406
    // size is a power of two such that the remaining chunk is not
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   407
    // empty.  In this way, the necessary jump distances will tend to be
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   408
    // powers of two.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   409
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   410
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   411
     * Spliterator for stream of generators of type Rng produced by jumps.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   412
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   413
    static class RandomJumpsSpliterator extends RngSupport.RandomSpliterator implements Spliterator<Rng> {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   414
	ArbitrarilyJumpableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   415
	final double distance;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   416
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   417
        RandomJumpsSpliterator(ArbitrarilyJumpableRng generatingRng, long index, long fence, double distance) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   418
            super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   419
            this.generatingRng = generatingRng; this.distance = distance;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   420
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   421
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   422
        public Spliterator<Rng> trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   423
	    long i = index, delta = Long.highestOneBit((fence - i) - 1), m = i + delta;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   424
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   425
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   426
	    ArbitrarilyJumpableRng r = (ArbitrarilyJumpableRng) generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   427
	    // Because delta is a power of two, (distance * (double)delta) can always be computed exactly.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   428
	    return new RandomJumpsSpliterator(r.copyAndJump(distance * (double)delta), i, m, distance);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   429
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   430
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   431
        public boolean tryAdvance(Consumer<? super Rng> consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   432
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   433
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   434
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   435
		consumer.accept(generatingRng.copyAndJump(distance));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   436
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   437
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   438
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   439
            return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   440
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   441
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   442
        public void forEachRemaining(Consumer<? super Rng> consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   443
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   444
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   445
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   446
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   447
		ArbitrarilyJumpableRng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   448
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   449
                    consumer.accept(r.copyAndJump(distance));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   450
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   451
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   452
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   453
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   454
    
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   455
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   456
     * Spliterator for stream of generators of type Rng produced by leaps.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   457
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   458
    static class RandomLeapsSpliterator extends RngSupport.RandomSpliterator implements Spliterator<JumpableRng> {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   459
	ArbitrarilyJumpableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   460
	final double distance;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   461
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   462
        RandomLeapsSpliterator(ArbitrarilyJumpableRng generatingRng, long index, long fence, double distance) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   463
            super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   464
            this.generatingRng = generatingRng; this.distance = distance;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   465
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   466
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   467
        public Spliterator<JumpableRng> trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   468
	    long i = index, delta = Long.highestOneBit((fence - i) - 1), m = i + delta;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   469
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   470
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   471
	    // Because delta is a power of two, (distance * (double)delta) can always be computed exactly.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   472
	    return new RandomLeapsSpliterator(generatingRng.copyAndJump(distance * (double)delta), i, m, distance);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   473
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   474
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   475
        public boolean tryAdvance(Consumer<? super JumpableRng> consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   476
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   477
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   478
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   479
		consumer.accept(generatingRng.copyAndJump(distance));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   480
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   481
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   482
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   483
            return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   484
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   485
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   486
        public void forEachRemaining(Consumer<? super JumpableRng> consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   487
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   488
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   489
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   490
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   491
                ArbitrarilyJumpableRng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   492
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   493
                    consumer.accept(r.copyAndJump(distance));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   494
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   495
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   496
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   497
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   498
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   499
    /**
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   500
     * Spliterator for stream of generators of type Rng produced by arbitrary jumps.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   501
     */
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   502
    static class RandomArbitraryJumpsSpliterator extends RngSupport.RandomSpliterator implements Spliterator<ArbitrarilyJumpableRng> {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   503
	ArbitrarilyJumpableRng generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   504
	final double distance;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   505
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   506
        RandomArbitraryJumpsSpliterator(ArbitrarilyJumpableRng generatingRng, long index, long fence, double distance) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   507
            super(index, fence);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   508
            this.generatingRng = generatingRng; this.distance = distance;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   509
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   510
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   511
        public Spliterator<ArbitrarilyJumpableRng> trySplit() {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   512
	    long i = index, delta = Long.highestOneBit((fence - i) - 1), m = i + delta;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   513
	    if (m <= i) return null;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   514
	    index = m;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   515
	    // Because delta is a power of two, (distance * (double)delta) can always be computed exactly.
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   516
	    return new RandomArbitraryJumpsSpliterator(generatingRng.copyAndJump(distance * (double)delta), i, m, distance);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   517
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   518
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   519
        public boolean tryAdvance(Consumer<? super ArbitrarilyJumpableRng> consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   520
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   521
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   522
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   523
		consumer.accept(generatingRng.copyAndJump(distance));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   524
                index = i + 1;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   525
                return true;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   526
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   527
            return false;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   528
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   529
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   530
        public void forEachRemaining(Consumer<? super ArbitrarilyJumpableRng> consumer) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   531
            if (consumer == null) throw new NullPointerException();
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   532
            long i = index, f = fence;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   533
            if (i < f) {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   534
                index = f;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   535
		ArbitrarilyJumpableRng r = generatingRng;
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   536
                do {
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   537
                    consumer.accept(r.copyAndJump(distance));
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   538
                } while (++i < f);
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   539
            }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   540
        }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   541
    }
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   542
6d87e9f7a1ec Initial comment in newrandom/
briangoetz
parents:
diff changeset
   543
}