MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

add jetCheck.Generator.integers(jetCheck.IntDistribution)

Browse Source
This commit is contained in:
peter
2017-12-02 11:12:00 +01:00
parent 409da53e9f
commit 39ae01fef5
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jetCheck/src/jetCheck/Generator.java
+6 -2
View File
@@ -227,9 +227,13 @@ public class Generator<T> {
return integers(0, Integer.MAX_VALUE);
}
/** Generates integers in the given range (both ends inclusive) */
/** Generates integers uniformly distributed in the given range (both ends inclusive) */
public static Generator<Integer> integers(int min, int max) {
IntDistribution distribution = IntDistribution.uniform(min, max);
return integers(IntDistribution.uniform(min, max));
}
/** Generates integers with the given distribution */
public static Generator<Integer> integers(@NotNull IntDistribution distribution) {
return from(data -> data.drawInt(distribution));
}