Supported types
“Out of the box” (core + generators), junit-quickcheck recognizes property parameters of the following types:
- all Java primitives and primitive wrappers
- java.math.Big(Decimal|Integer)
- java.util.Date
- any enum
- String
- “functional interfaces” (interfaces with a single method that does not override a method from java.lang.Object)
- java.util.Optional of supported types
- java.util.ArrayList and java.util.LinkedList of supported types
- java.util.HashSet and java.util.LinkedHashSet of supported types
- java.util.HashMap and java.util.LinkedHashMap of supported types
- arrays of supported types
- others…
When many generators can satisfy a given property parameter based on its type (for example, java.io.Serializable), on a given generation junit-quickcheck will choose one of the multiple generators at random with (roughly) equal probability.