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

import java.math.*;

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

public class PositiveConfigurator extends ArbitraryConfiguratorBase {

	public Arbitrary configure(BigDecimalArbitrary arbitrary, Positive positive) {
		return arbitrary.greaterOrEqual(BigDecimal.ZERO).filter(value -> value.compareTo(BigDecimal.ZERO) > 0);
	}

	public BigIntegerArbitrary configure(BigIntegerArbitrary arbitrary, Positive positive) {
		return arbitrary.greaterOrEqual(BigInteger.ONE);
	}

	public ByteArbitrary configure(ByteArbitrary arbitrary, Positive positive) {
		return arbitrary.greaterOrEqual((byte) 1);
	}

	public Arbitrary configure(DoubleArbitrary arbitrary, Positive positive) {
		return arbitrary.greaterOrEqual(0.0).filter(value -> value > 0.0);
	}

	public Arbitrary configure(FloatArbitrary arbitrary, Positive positive) {
		return arbitrary.greaterOrEqual(0.0f).filter(value -> value > 0.0f);
	}

	public IntegerArbitrary configure(IntegerArbitrary arbitrary, Positive positive) {
		return arbitrary.greaterOrEqual(1);
	}

	public LongArbitrary configure(LongArbitrary arbitrary, Positive positive) {
		return arbitrary.greaterOrEqual(1L);
	}

	public ShortArbitrary configure(ShortArbitrary arbitrary, Positive positive) {
		return arbitrary.greaterOrEqual((short) 1);
	}

}