Home
last modified time | relevance | path

Searched refs:ArbitrarilyJumpableGenerator (Results 1 – 8 of 8) sorted by relevance

/libcore/ojluni/src/main/java/java/util/random/
DRandomGenerator.java1421 interface ArbitrarilyJumpableGenerator extends LeapableGenerator { interface
1435 static ArbitrarilyJumpableGenerator of(String name) { in of()
1438 return RandomGeneratorFactory.of(name, ArbitrarilyJumpableGenerator.class); in of()
1448 ArbitrarilyJumpableGenerator copy(); in copy()
1505 default Stream<ArbitrarilyJumpableGenerator> jumps(double distance) { in jumps()
1529 default Stream<ArbitrarilyJumpableGenerator> jumps(long streamSize, double distance) { in jumps()
1557 default ArbitrarilyJumpableGenerator copyAndJump(double distance) { in copyAndJump()
1558 ArbitrarilyJumpableGenerator result = copy(); in copyAndJump()
DRandomGeneratorFactory.java37 import java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator;
537 return isSubclass(ArbitrarilyJumpableGenerator.class);
/libcore/ojluni/src/test/java/util/Random/
DRandomTestCoverage.java30 import java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator;
94 if (rng instanceof ArbitrarilyJumpableGenerator != factory.isArbitrarilyJumpable()) { in checkPredicates()
143 static void coverArbitrarilyJumpable(ArbitrarilyJumpableGenerator rng) { in coverArbitrarilyJumpable()
144 ArbitrarilyJumpableGenerator a1 = rng.copy(); in coverArbitrarilyJumpable()
151 Stream<ArbitrarilyJumpableGenerator> a4 = rng.jumps(1.2345); in coverArbitrarilyJumpable()
152 Stream<ArbitrarilyJumpableGenerator> a5 = rng.jumps(5L, 1.2345); in coverArbitrarilyJumpable()
217 coverArbitrarilyJumpable((ArbitrarilyJumpableGenerator)factory.create()); in main()
/libcore/ojluni/src/main/java/jdk/internal/util/random/
DRandomSupport.java1612 … extends AbstractSpliteratorGenerator implements RandomGenerator.ArbitrarilyJumpableGenerator {
1644 …Spliterator<ArbitrarilyJumpableGenerator> makeArbitraryJumpsSpliterator(long index, long fence, do… in makeArbitraryJumpsSpliterator()
1677 public Stream<ArbitrarilyJumpableGenerator> jumps(double distance) { in jumps()
1682 public Stream<ArbitrarilyJumpableGenerator> jumps(long streamSize, double distance) { in jumps()
1718 final ArbitrarilyJumpableGenerator generatingGenerator;
1722 …RandomIntsSpliterator(ArbitrarilyJumpableGenerator generatingGenerator, long index, long fence, in… in RandomIntsSpliterator()
1732 ArbitrarilyJumpableGenerator r = generatingGenerator; in trySplit()
1752 ArbitrarilyJumpableGenerator r = generatingGenerator; in forEachRemaining()
1765 final ArbitrarilyJumpableGenerator generatingGenerator;
1769 …RandomLongsSpliterator(ArbitrarilyJumpableGenerator generatingGenerator, long index, long fence, l… in RandomLongsSpliterator()
[all …]
/libcore/ojluni/annotations/flagged_api/java/util/random/
DRandomGenerator.annotated.java98 public static interface ArbitrarilyJumpableGenerator extends java.util.random.RandomGenerator.Leapa… interface
100 public static java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator of(java.lang.String nam… in of()
102 public java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator copy(); in copy()
110 …ault java.util.stream.Stream<java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator> jumps(… in jumps()
112 …ault java.util.stream.Stream<java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator> jumps(… in jumps()
116 public default java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator copyAndJump(double dis… in copyAndJump()
/libcore/luni/src/test/java/libcore/java/util/
DArbitrarilyJumpableGeneratorTest.java35 implements RandomGenerator.ArbitrarilyJumpableGenerator {
59 public ArbitrarilyJumpableGenerator copy() { in copy()
/libcore/luni/src/test/java/libcore/java/util/random/
DRandomGeneratorTest.java60 () -> RandomGenerator.ArbitrarilyJumpableGenerator.of(null)); in of_factoryMethod_throwsNPE()
/libcore/api/
Dcurrent.txt18001 …roid.libcore.v_apis") public static interface RandomGenerator.ArbitrarilyJumpableGenerator extends…
18002 method public java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator copy();
18003 …method public default java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator copyAndJump(do…
18007 …ault java.util.stream.Stream<java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator> jumps(…
18008 …ault java.util.stream.Stream<java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator> jumps(…
18010 method public static java.util.random.RandomGenerator.ArbitrarilyJumpableGenerator of(String);