object Test
- Alphabetic
- By Inheritance
- Test
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- sealed case class Failed(args: List[Arg[Any]], labels: Set[String]) extends Status with Product with Serializable
The property was proved wrong with the given concrete arguments.
- sealed abstract class Parameters extends AnyRef
Test parameters used by the check methods.
Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.
- sealed case class PropException(args: List[Arg[Any]], e: Throwable, labels: Set[String]) extends Status with Product with Serializable
An exception was raised when trying to evaluate the property with the given concrete arguments.
An exception was raised when trying to evaluate the property with the given concrete arguments. If an exception was raised before or during argument generation, the argument list will be empty.
- sealed case class Proved(args: List[Arg[Any]]) extends Status with Product with Serializable
ScalaCheck managed to prove the property correct
- final case class Result(status: Status, succeeded: Int, discarded: Int, freqMap: FreqMap[Set[Any]], time: Long = 0) extends Product with Serializable
Test statistics
- sealed trait Status extends AnyRef
Test status
- trait TestCallback extends AnyRef
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 asInstanceOf[T0]: T0
- Definition Classes
- Any
- def check(params: Parameters, p: Prop): Result
Tests a property with the given testing parameters, and returns the test results.
- def check(p: Prop)(f: (Parameters) => Parameters): Result
Tests a property with parameters that are calculated by applying the provided function to Test.Parameters.default.
Tests a property with parameters that are calculated by applying the provided function to Test.Parameters.default. Example use:
Test.check(p) { _. withMinSuccessfulTests(80000). withWorkers(4) }
- def checkProperties(prms: Parameters, ps: Properties): Seq[(String, Result)]
Check a set of properties.
- 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 finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def matchPropFilter(propertyName: String, regex: Regex): Boolean
Returns the result of filtering a property name by a supplied regular expression.
Returns the result of filtering a property name by a supplied regular expression.
- propertyName
The name of the property to be filtered.
- regex
The regular expression to filter the property name by.
- returns
true if the regular expression matches the property name, false if not.
- 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()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- 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()
- object Exhausted extends Status with Product with Serializable
The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.
- object Parameters
Test parameters used by the check methods.
Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.
- object Passed extends Status with Product with Serializable
ScalaCheck found enough cases for which the property holds, so the property is considered correct.
ScalaCheck found enough cases for which the property holds, so the property is considered correct. (It is not proved correct, though).