net.jqwik.engine.properties.arbitraries.randomized.BigUniformNumericGenerator Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jqwik-engine Show documentation

Jqwik Engine module

There is a newer version: 1.9.1

package net.jqwik.engine.properties.arbitraries.randomized;

import java.math.*;
import java.util.*;

import net.jqwik.api.*;

class BigUniformNumericGenerator implements RandomDistribution.RandomNumericGenerator {

	private final BigInteger min;
	private final BigInteger max;
	private final BigInteger range;
	private final int bits;

	BigUniformNumericGenerator(BigInteger min, BigInteger max) {
		this.min = min;
		this.max = max;
		this.range = max.subtract(min);
		this.bits = range.bitLength();
	}

	@Override
	public BigInteger next(Random random) {
		while (true) {
			BigInteger rawValue = new BigInteger(bits, random);
			BigInteger value = rawValue.add(min);
			if (value.compareTo(min) >= 0 && value.compareTo(max) <= 0) {
				return value;
			}
		}
	}
}