Package net.jqwik.api

Class CannotFindArbitraryException

  • All Implemented Interfaces:
    java.io.Serializable

    @API(status=MAINTAINED,
         since="1.0")
    public class CannotFindArbitraryException
    extends JqwikException
    See Also:
    Serialized Form
    • 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)