net.jqwik.time.internal.properties.arbitraries.DefaultMonthDayArbitrary Maven / Gradle / Ivy

Go to download
package net.jqwik.time.internal.properties.arbitraries;

import java.time.*;

import org.apiguardian.api.*;

import net.jqwik.api.*;
import net.jqwik.api.arbitraries.*;
import net.jqwik.time.api.*;
import net.jqwik.time.api.arbitraries.*;

import static org.apiguardian.api.API.Status.*;

@API(status = INTERNAL)
public class DefaultMonthDayArbitrary extends ArbitraryDecorator implements MonthDayArbitrary {

	private static final int YEAR = 2000;

	private LocalDateArbitrary localDateArbitrary = Dates.dates().yearBetween(YEAR, YEAR);

	@Override
	protected Arbitrary arbitrary() {
		return localDateArbitrary.map(v -> MonthDay.of(v.getMonth(), v.getDayOfMonth()));
	}

	@Override
	public MonthDayArbitrary atTheEarliest(MonthDay min) {
		DefaultMonthDayArbitrary clone = typedClone();
		LocalDate minDate = LocalDate.of(YEAR, min.getMonth(), min.getDayOfMonth());
		clone.localDateArbitrary = localDateArbitrary.atTheEarliest(minDate);
		return clone;
	}

	@Override
	public MonthDayArbitrary atTheLatest(MonthDay max) {
		DefaultMonthDayArbitrary clone = typedClone();
		LocalDate maxDate = LocalDate.of(YEAR, max.getMonth(), max.getDayOfMonth());
		clone.localDateArbitrary = localDateArbitrary.atTheLatest(maxDate);
		return clone;
	}

	@Override
	public MonthDayArbitrary monthBetween(Month min, Month max) {
		DefaultMonthDayArbitrary clone = typedClone();
		clone.localDateArbitrary = localDateArbitrary.monthBetween(min, max);
		return clone;
	}

	@Override
	public MonthDayArbitrary onlyMonths(Month... months) {
		DefaultMonthDayArbitrary clone = typedClone();
		clone.localDateArbitrary = localDateArbitrary.onlyMonths(months);
		return clone;
	}

	@Override
	public MonthDayArbitrary dayOfMonthBetween(int min, int max) {
		DefaultMonthDayArbitrary clone = typedClone();
		clone.localDateArbitrary = localDateArbitrary.dayOfMonthBetween(min, max);
		return clone;
	}

}