scalacheck

object Test

[source: scalacheck/Test.scala]

object Test
extends AnyRef
Type 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
type PropEvalCallback
Property evaluation callback.

Value Details
val defaultParams : Params

Method Details
def check(prms : Params, p : Prop) : Stats
Tests a property with the given testing parameters, and returns the test results.

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.

def check(p : Prop) : Stats
Tests a property and prints results to the console