Package net.jqwik.api
Class CannotFindArbitraryException
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- java.lang.RuntimeException
-
- net.jqwik.api.JqwikException
-
- net.jqwik.api.CannotFindArbitraryException
-
- All Implemented Interfaces:
java.io.Serializable
@API(status=MAINTAINED, since="1.0") public class CannotFindArbitraryException extends JqwikException
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description CannotFindArbitraryException(TypeUsage typeUsage)
CannotFindArbitraryException(TypeUsage typeUsage, ForAll forAll)
-