default generation, renamed some providers

bmscomp · Jan 13, 2022 · 5d2b7c9 · 5d2b7c9
1 parent 8d25ea9
commit 5d2b7c9
Show file tree

Hide file tree

Showing 8 changed files with 47 additions and 10 deletions.
diff --git a/...ies/providers/DatesArbitraryProvider.java → ...ties/providers/DateArbitraryProvider.java b/...ies/providers/DatesArbitraryProvider.java → ...ties/providers/DateArbitraryProvider.java
@@ -7,7 +7,7 @@
 import net.jqwik.api.providers.*;
 import net.jqwik.time.api.*;
 
-public class DatesArbitraryProvider implements ArbitraryProvider {
+public class DateArbitraryProvider implements ArbitraryProvider {
 	@Override
 	public boolean canProvideFor(TypeUsage targetType) {
 		return targetType.isAssignableFrom(LocalDate.class);

diff --git a/...providers/DateTimesArbitraryProvider.java → .../providers/DateTimeArbitraryProvider.java b/...providers/DateTimesArbitraryProvider.java → .../providers/DateTimeArbitraryProvider.java
@@ -7,7 +7,7 @@
 import net.jqwik.api.providers.*;
 import net.jqwik.time.api.*;
 
-public class DateTimesArbitraryProvider implements ArbitraryProvider {
+public class DateTimeArbitraryProvider implements ArbitraryProvider {
 
 	@Override
 	public boolean canProvideFor(TypeUsage targetType) {

diff --git a/...ers/OffsetDateTimesArbitraryProvider.java → ...ders/OffsetDateTimeArbitraryProvider.java b/...ers/OffsetDateTimesArbitraryProvider.java → ...ders/OffsetDateTimeArbitraryProvider.java
@@ -7,7 +7,7 @@
 import net.jqwik.api.providers.*;
 import net.jqwik.time.api.*;
 
-public class OffsetDateTimesArbitraryProvider implements ArbitraryProvider {
+public class OffsetDateTimeArbitraryProvider implements ArbitraryProvider {
 
 	@Override
 	public boolean canProvideFor(TypeUsage targetType) {

diff --git a/...oviders/OffsetTimesArbitraryProvider.java → ...roviders/OffsetTimeArbitraryProvider.java b/...oviders/OffsetTimesArbitraryProvider.java → ...roviders/OffsetTimeArbitraryProvider.java
@@ -7,7 +7,7 @@
 import net.jqwik.api.providers.*;
 import net.jqwik.time.api.*;
 
-public class OffsetTimesArbitraryProvider implements ArbitraryProvider {
+public class OffsetTimeArbitraryProvider implements ArbitraryProvider {
 	@Override
 	public boolean canProvideFor(TypeUsage targetType) {
 		return targetType.isAssignableFrom(OffsetTime.class);

diff --git a/...ies/providers/TimesArbitraryProvider.java → ...ties/providers/TimeArbitraryProvider.java b/...ies/providers/TimesArbitraryProvider.java → ...ties/providers/TimeArbitraryProvider.java
@@ -7,7 +7,7 @@
 import net.jqwik.api.providers.*;
 import net.jqwik.time.api.*;
 
-public class TimesArbitraryProvider implements ArbitraryProvider {
+public class TimeArbitraryProvider implements ArbitraryProvider {
 	@Override
 	public boolean canProvideFor(TypeUsage targetType) {
 		return targetType.isAssignableFrom(LocalTime.class);

diff --git a/...ain/java/net/jqwik/time/internal/properties/providers/ZonedDateTimeArbitraryProvider.java b/...ain/java/net/jqwik/time/internal/properties/providers/ZonedDateTimeArbitraryProvider.java
@@ -0,0 +1,20 @@
+package net.jqwik.time.internal.properties.providers;
+
+import java.time.*;
+import java.util.*;
+
+import net.jqwik.api.*;
+import net.jqwik.api.providers.*;
+import net.jqwik.time.api.*;
+
+public class ZonedDateTimeArbitraryProvider implements ArbitraryProvider {
+	@Override
+	public boolean canProvideFor(TypeUsage targetType) {
+		return targetType.isAssignableFrom(ZonedDateTime.class);
+	}
+
+	@Override
+	public Set<Arbitrary<?>> provideFor(TypeUsage targetType, SubtypeProvider subtypeProvider) {
+		return Collections.singleton(DateTimes.zonedDateTimes());
+	}
+}
diff --git a/time/src/main/resources/META-INF/services/net.jqwik.api.providers.ArbitraryProvider b/time/src/main/resources/META-INF/services/net.jqwik.api.providers.ArbitraryProvider
@@ -1,14 +1,15 @@
-net.jqwik.time.internal.properties.providers.DatesArbitraryProvider
+net.jqwik.time.internal.properties.providers.DateArbitraryProvider
 net.jqwik.time.internal.properties.providers.MonthDayArbitraryProvider
 net.jqwik.time.internal.properties.providers.YearArbitraryProvider
 net.jqwik.time.internal.properties.providers.YearMonthArbitraryProvider
 net.jqwik.time.internal.properties.providers.PeriodArbitraryProvider
-net.jqwik.time.internal.properties.providers.OffsetTimesArbitraryProvider
-net.jqwik.time.internal.properties.providers.TimesArbitraryProvider
+net.jqwik.time.internal.properties.providers.OffsetTimeArbitraryProvider
+net.jqwik.time.internal.properties.providers.TimeArbitraryProvider
 net.jqwik.time.internal.properties.providers.TimeZoneArbitraryProvider
 net.jqwik.time.internal.properties.providers.ZoneIdArbitraryProvider
 net.jqwik.time.internal.properties.providers.ZoneOffsetsArbitraryProvider
 net.jqwik.time.internal.properties.providers.DurationArbitraryProvider
-net.jqwik.time.internal.properties.providers.DateTimesArbitraryProvider
+net.jqwik.time.internal.properties.providers.DateTimeArbitraryProvider
 net.jqwik.time.internal.properties.providers.InstantArbitraryProvider
-net.jqwik.time.internal.properties.providers.OffsetDateTimesArbitraryProvider
+net.jqwik.time.internal.properties.providers.OffsetDateTimeArbitraryProvider
+net.jqwik.time.internal.properties.providers.ZonedDateTimeArbitraryProvider
diff --git a/time/src/test/java/net/jqwik/time/api/dateTimes/zonedDateTime/DefaultGenerationTests.java b/time/src/test/java/net/jqwik/time/api/dateTimes/zonedDateTime/DefaultGenerationTests.java
@@ -0,0 +1,16 @@
+package net.jqwik.time.api.dateTimes.zonedDateTime;
+
+import java.time.*;
+
+import net.jqwik.api.*;
+
+import static org.assertj.core.api.Assertions.*;
+
+public class DefaultGenerationTests {
+
+	@Property
+	void validOffsetDateTimeIsGenerated(@ForAll ZonedDateTime dateTime) {
+		assertThat(dateTime).isNotNull();
+	}
+
+}