![JAR search and dependency download from the Maven repository](/logo.png)
net.jqwik.time.internal.properties.configurators.YearRangeConfigurator Maven / Gradle / Ivy
package net.jqwik.time.internal.properties.configurators;
import java.time.*;
import java.util.*;
import net.jqwik.api.*;
import net.jqwik.api.configurators.*;
import net.jqwik.api.providers.*;
import net.jqwik.time.api.arbitraries.*;
import net.jqwik.time.api.constraints.*;
import net.jqwik.time.internal.properties.arbitraries.*;
public class YearRangeConfigurator {
public static class ForLocalDateTime extends ArbitraryConfiguratorBase {
@Override
protected boolean acceptTargetType(TypeUsage targetType) {
return targetType.isAssignableFrom(LocalDateTime.class);
}
public Arbitrary configure(Arbitrary arbitrary, YearRange range) {
int min = range.min();
int max = range.max();
if (arbitrary instanceof LocalDateTimeArbitrary) {
LocalDateTimeArbitrary localDateTimeArbitrary = (LocalDateTimeArbitrary) arbitrary;
return localDateTimeArbitrary.yearBetween(min, max);
} else {
return arbitrary.filter(v -> filter(v, min, max));
}
}
}
public static class ForInstant extends ArbitraryConfiguratorBase {
@Override
protected boolean acceptTargetType(TypeUsage targetType) {
return targetType.isAssignableFrom(Instant.class);
}
public Arbitrary configure(Arbitrary arbitrary, YearRange range) {
int min = range.min();
int max = range.max();
if (arbitrary instanceof InstantArbitrary) {
InstantArbitrary instantArbitrary = (InstantArbitrary) arbitrary;
return instantArbitrary.yearBetween(min, max);
} else {
return arbitrary.filter(v -> filter(v, min, max));
}
}
}
public static class ForOffsetDateTime extends ArbitraryConfiguratorBase {
@Override
protected boolean acceptTargetType(TypeUsage targetType) {
return targetType.isAssignableFrom(OffsetDateTime.class);
}
public Arbitrary configure(Arbitrary arbitrary, YearRange range) {
int min = range.min();
int max = range.max();
if (arbitrary instanceof OffsetDateTimeArbitrary) {
OffsetDateTimeArbitrary offsetDateTimeArbitrary = (OffsetDateTimeArbitrary) arbitrary;
return offsetDateTimeArbitrary.yearBetween(min, max);
} else {
return arbitrary.filter(v -> filter(v, min, max));
}
}
}
public static class ForZonedDateTime extends ArbitraryConfiguratorBase {
@Override
protected boolean acceptTargetType(TypeUsage targetType) {
return targetType.isAssignableFrom(ZonedDateTime.class);
}
public Arbitrary configure(Arbitrary arbitrary, YearRange range) {
int min = range.min();
int max = range.max();
if (arbitrary instanceof ZonedDateTimeArbitrary) {
ZonedDateTimeArbitrary zonedDateTimeArbitrary = (ZonedDateTimeArbitrary) arbitrary;
return zonedDateTimeArbitrary.yearBetween(min, max);
} else {
return arbitrary.filter(v -> filter(v, min, max));
}
}
}
public static class ForLocalDate extends ArbitraryConfiguratorBase {
@Override
protected boolean acceptTargetType(TypeUsage targetType) {
return targetType.isAssignableFrom(LocalDate.class);
}
public Arbitrary configure(Arbitrary arbitrary, YearRange range) {
int min = range.min();
int max = range.max();
if (arbitrary instanceof LocalDateArbitrary) {
LocalDateArbitrary localDateArbitrary = (LocalDateArbitrary) arbitrary;
return localDateArbitrary.yearBetween(min, max);
} else {
return arbitrary.filter(v -> filter(v, min, max));
}
}
}
public static class ForCalendar extends ArbitraryConfiguratorBase {
@Override
protected boolean acceptTargetType(TypeUsage targetType) {
return targetType.isAssignableFrom(Calendar.class);
}
public Arbitrary configure(Arbitrary arbitrary, YearRange range) {
int min = range.min();
int max = range.max();
if (arbitrary instanceof CalendarArbitrary) {
CalendarArbitrary calendarArbitrary = (CalendarArbitrary) arbitrary;
return calendarArbitrary.yearBetween(min, max);
} else {
return arbitrary.filter(v -> filter(v, min, max));
}
}
}
public static class ForDate extends ArbitraryConfiguratorBase {
@Override
protected boolean acceptTargetType(TypeUsage targetType) {
return targetType.isAssignableFrom(Date.class);
}
public Arbitrary configure(Arbitrary arbitrary, YearRange range) {
int min = range.min();
int max = range.max();
if (arbitrary instanceof DateArbitrary) {
DateArbitrary dateArbitrary = (DateArbitrary) arbitrary;
return dateArbitrary.yearBetween(min, max);
} else {
return arbitrary.filter(v -> filter(v, min, max));
}
}
}
public static class ForYearMonth extends ArbitraryConfiguratorBase {
@Override
protected boolean acceptTargetType(TypeUsage targetType) {
return targetType.isAssignableFrom(YearMonth.class);
}
public Arbitrary configure(Arbitrary arbitrary, YearRange range) {
int min = range.min();
int max = range.max();
if (arbitrary instanceof YearMonthArbitrary) {
YearMonthArbitrary yearMonthArbitrary = (YearMonthArbitrary) arbitrary;
return yearMonthArbitrary.yearBetween(min, max);
} else {
return arbitrary.filter(v -> filter(v, min, max));
}
}
}
public static class ForYear extends ArbitraryConfiguratorBase {
@Override
protected boolean acceptTargetType(TypeUsage targetType) {
return targetType.isAssignableFrom(Year.class);
}
public Arbitrary configure(Arbitrary arbitrary, YearRange range) {
int min = range.min();
int max = range.max();
if (arbitrary instanceof YearArbitrary) {
YearArbitrary yearArbitrary = (YearArbitrary) arbitrary;
return yearArbitrary.between(min, max);
} else {
return arbitrary.filter(v -> filter(v, min, max));
}
}
}
private static boolean filter(int year, int min, int max) {
return year >= min && year <= max;
}
private static boolean filter(LocalDateTime dateTime, int min, int max) {
return filter(dateTime.getYear(), min, max);
}
private static boolean filter(Instant instant, int min, int max) {
if (LocalDateTime.MIN.toInstant(ZoneOffset.UTC).isAfter(instant) || LocalDateTime.MAX.toInstant(ZoneOffset.UTC).isBefore(instant)) {
return false;
}
return filter(DefaultInstantArbitrary.instantToLocalDateTime(instant).getYear(), min, max);
}
private static boolean filter(OffsetDateTime dateTime, int min, int max) {
return filter(dateTime.getYear(), min, max);
}
private static boolean filter(ZonedDateTime dateTime, int min, int max) {
return filter(dateTime.getYear(), min, max);
}
private static boolean filter(LocalDate date, int min, int max) {
return filter(date.getYear(), min, max);
}
private static boolean filter(Calendar date, int min, int max) {
int year = date.get(Calendar.YEAR);
if (date.get(Calendar.ERA) == GregorianCalendar.BC) {
year *= -1;
}
return filter(year, min, max);
}
private static boolean filter(Date date, int min, int max) {
Calendar calendar = Calendar.getInstance();
calendar.setTime(date);
return filter(calendar, min, max);
}
private static boolean filter(YearMonth yearMonth, int min, int max) {
return filter(yearMonth.getYear(), min, max);
}
private static boolean filter(Year year, int min, int max) {
return filter(year.getValue(), min, max);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy