-
-
Notifications
You must be signed in to change notification settings - Fork 65
/
VariableTypedPropertyExamples.java
40 lines (29 loc) · 1.13 KB
/
VariableTypedPropertyExamples.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
package net.jqwik.docs;
import net.jqwik.api.*;
import java.io.*;
import java.util.*;
class VariableTypedPropertyExamples {
@Property @Report(Reporting.GENERATED)
<T> boolean unboundedGenericTypesAreResolved(@ForAll List<T> items, @ForAll T newItem) {
items.add(newItem);
return items.contains(newItem);
}
@Property @Report(Reporting.GENERATED)
<T extends Serializable & Comparable> void someBoundedGenericTypesCanBeResolved(@ForAll List<T> items, @ForAll T newItem) {
}
@Property @Report(Reporting.GENERATED)
<T extends Date> void otherBoundedGenericTypesCannotBeResolved(@ForAll List<T> items, @ForAll T newItem) {
}
@Property @Report(Reporting.GENERATED)
void wildcardTypesAreResolved(@ForAll List<?> items) {
}
@Property @Report(Reporting.GENERATED)
void someWildcardTypesWithUpperBoundsCanBeResolved(@ForAll List<? extends Serializable> items) {
}
@Property @Report(Reporting.GENERATED)
void otherWildcardTypesWithUpperBoundsCannotBeResolved(@ForAll List<? extends Date> items) {
}
@Property @Report(Reporting.GENERATED)
void wildcardTypesWithLowerBoundsCannotBeResolved(@ForAll List<? super String> items) {
}
}