net.jqwik.engine.properties.arbitraries.IntegralEdgeCasesConfiguration 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

The newest version!

package net.jqwik.engine.properties.arbitraries;

import java.math.*;

import net.jqwik.api.*;
import net.jqwik.engine.properties.*;
import net.jqwik.engine.properties.shrinking.*;

class IntegralEdgeCasesConfiguration extends GenericEdgeCasesConfiguration {

	private final Range range;
	private final BigInteger shrinkingTarget;

	public IntegralEdgeCasesConfiguration(Range range, BigInteger shrinkingTarget) {
		this.range = range;
		this.shrinkingTarget = shrinkingTarget;
	}

	@Override
	protected void checkEdgeCaseIsValid(BigInteger edgeCase) {
		if (!range.includes(edgeCase)) {
			String message = String.format("Edge case <%s> is outside the arbitrary's allowed range %s", edgeCase, range);
			throw new IllegalArgumentException(message);
		}
	}

	@Override
	protected Shrinkable createShrinkable(BigInteger additionalEdgeCase) {
		return new ShrinkableBigInteger(additionalEdgeCase, range, shrinkingTarget);
	}

}