class DiscardedEvaluationException extends RuntimeException
Exception that indicates an evaluation of a property should be discarded, because a condition required by a property was not met by the passed values.
This exception is thrown by the whenever method defined in trait Whenever
when the given condition is false. The forAll methods defined in trait PropertyChecks
catch the DiscardedEvaluationException and ignore it, moving on to try the next set of parameter values it is checking
th property against.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- DiscardedEvaluationException
- RuntimeException
- Exception
- Throwable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
-  new DiscardedEvaluationException()
Value Members
-   final  def !=(arg0: Any): Boolean- Definition Classes
- AnyRef → Any
 
-   final  def ##: Int- Definition Classes
- AnyRef → Any
 
-   final  def ==(arg0: Any): Boolean- Definition Classes
- AnyRef → Any
 
-   final  def addSuppressed(arg0: Throwable): Unit- Definition Classes
- Throwable
 
-   final  def asInstanceOf[T0]: T0- Definition Classes
- Any
 
-    def clone(): AnyRef- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
 
-   final  def eq(arg0: AnyRef): Boolean- Definition Classes
- AnyRef
 
-    def equals(arg0: AnyRef): Boolean- Definition Classes
- AnyRef → Any
 
-    def fillInStackTrace(): Throwable- Definition Classes
- Throwable
 
-    def finalize(): Unit- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
 
-    def getCause(): Throwable- Definition Classes
- Throwable
 
-   final  def getClass(): Class[_ <: AnyRef]- Definition Classes
- AnyRef → Any
- Annotations
- @native()
 
-    def getLocalizedMessage(): String- Definition Classes
- Throwable
 
-    def getMessage(): String- Definition Classes
- Throwable
 
-    def getStackTrace(): Array[StackTraceElement]- Definition Classes
- Throwable
 
-   final  def getSuppressed(): Array[Throwable]- Definition Classes
- Throwable
 
-    def hashCode(): Int- Definition Classes
- AnyRef → Any
- Annotations
- @native()
 
-    def initCause(arg0: Throwable): Throwable- Definition Classes
- Throwable
 
-   final  def isInstanceOf[T0]: Boolean- Definition Classes
- Any
 
-   final  def ne(arg0: AnyRef): Boolean- Definition Classes
- AnyRef
 
-   final  def notify(): Unit- Definition Classes
- AnyRef
- Annotations
- @native()
 
-   final  def notifyAll(): Unit- Definition Classes
- AnyRef
- Annotations
- @native()
 
-    def printStackTrace(arg0: PrintWriter): Unit- Definition Classes
- Throwable
 
-    def printStackTrace(arg0: PrintStream): Unit- Definition Classes
- Throwable
 
-    def printStackTrace(): Unit- Definition Classes
- Throwable
 
-    def setStackTrace(arg0: Array[StackTraceElement]): Unit- Definition Classes
- Throwable
 
-   final  def synchronized[T0](arg0: => T0): T0- Definition Classes
- AnyRef
 
-    def toString(): String- Definition Classes
- Throwable → AnyRef → Any
 
-   final  def wait(): Unit- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
 
-   final  def wait(arg0: Long, arg1: Int): Unit- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
 
-   final  def wait(arg0: Long): Unit- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()