ScalaCheck 1.0
|
|
scalacheck/Test.scala
]
object
Test
extends
AnyRefType Summary | |
type
|
PropEvalCallback
Property evaluation callback.
|
Value Summary | |
val
|
defaultParams : Params |
Method Summary | |
def
|
check
(prms : Params, p : Prop) : Stats
Tests a property with the given testing parameters, and returns
the test results.
|
def
|
check
(p : Prop) : Stats
Tests a property and prints results to the console
|
def
|
check
(prms : Params, p : Prop, propCallback : Function3) : Stats
Tests a property with the given testing parameters, and returns
the test results.
propCallback is a function which is
called each time the property is evaluted. |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Class Summary | |
case class
|
Exhausted
extends Result with Product
The property test was exhausted, it wasn't possible to generate enough
concrete arguments satisfying the preconditions to get enough passing
property evaluations.
|
case class
|
Failed
(val args : scala.List[(Any, Int)]) extends Result with Product
The property was proved wrong with the given concrete arguments.
|
case class
|
GenException
(val e : Throwable) extends Result with Product
An exception was raised when trying to generate concrete arguments
for evaluating the property.
|
case class
|
Params
(val minSuccessfulTests : Int, val maxDiscardedTests : Int, val minSize : Int, val maxSize : Int, val rand : RandomGenerator) extends Product
Test parameters
|
case class
|
Passed
extends Result with Product
The property test passed
|
case class
|
PropException
(val args : scala.List[(Any, Int)], val e : Throwable) extends Result with Product
An exception was raised when trying to evaluate the property with the
given concrete arguments.
|
sealed abstract class
|
Result
extends AnyRef
Test result
|
case class
|
Stats
(val result : Result, val succeeded : Int, val discarded : Int) extends Product
Test statistics
|
Type Details |
Value Details |
Method Details |
propCallback
is a function which is
called each time the property is evaluted.
ScalaCheck 1.0
|
|