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)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CannotFindArbitraryException

public CannotFindArbitraryException(TypeUsage typeUsage)

CannotFindArbitraryException

public CannotFindArbitraryException(TypeUsage typeUsage,
                                    ForAll forAll)