net.jqwik.engine.properties.configurators.FloatRangeConfigurator 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.configurators;

import net.jqwik.api.*;
import net.jqwik.api.arbitraries.*;
import net.jqwik.api.configurators.*;
import net.jqwik.api.constraints.*;
import net.jqwik.api.providers.*;

public class FloatRangeConfigurator extends ArbitraryConfiguratorBase {

	@Override
	protected boolean acceptTargetType(TypeUsage targetType) {
		return targetType.isAssignableFrom(Float.class);
	}

	public Arbitrary configure(Arbitrary arbitrary, FloatRange range) {
		if (arbitrary instanceof FloatArbitrary) {
			FloatArbitrary floatArbitrary = (FloatArbitrary) arbitrary;
			return floatArbitrary.between(range.min(), range.minIncluded(), range.max(), range.maxIncluded());
		} else {
			return arbitrary.filter(i -> i >= range.min() && i <= range.max());
		}
	}
}