ScalaCheck 1.2
org.scalacheck.Test

object Exhausted
[source: org/scalacheck/Test.scala]
case object Exhausted
extends Result with scala.Product
The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.
Method Summary
override final def productArity : Int
override final def productElement (arg0 : Int) : Any
override final def productPrefix : java.lang.String
protected def readResolve : AnyRef
override final def toString : java.lang.String
Methods inherited from Result
passed
Methods inherited from AnyRef
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
override final def toString : java.lang.String
override final def productPrefix : java.lang.String
Overrides
scala.Product.scala.Product.productPrefix
override final def productArity : Int
Overrides
scala.Product.scala.Product.productArity
override final def productElement(arg0 : Int) : Any
Overrides
scala.Product.scala.Product.productElement
protected def readResolve : AnyRef
ScalaCheck 1.2