ScalaCheck 1.2
org.scalacheck

object Test
[source: org/scalacheck/Test.scala]
object Test
extends AnyRef
Type Summary
type PropEvalCallback
Property evaluation callback. Takes number of passed and discarded tests, respectively
Value Summary
val defaultParams : Params
Default testing parameters
Method Summary
def check (prms : Params, p : Prop, propCallback : scala.Function2) : 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 (prms : Params, p : Prop, propCallback : scala.Function2, workers : Int, wrkSize : Int) : 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. Uses actors for parallel test execution, unless workers is zero. worker specifies how many working actors should be used. wrkSize specifies how many tests each worker should be scheduled with.
def check (p : Prop) : Stats
Tests a property and prints results to the console
def check (prms : Params, p : Prop) : Stats
Tests a property with the given testing parameters, and returns the test results.
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 Failed (val args : scala.List[Arg]) extends Result with scala.Product
The property was proved wrong with the given concrete arguments.
case class GenException (val e : java.lang.Throwable) extends Result with scala.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 scala.Product
Test parameters
case class PropException (val args : scala.List[Arg], val e : java.lang.Throwable) extends Result with scala.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 scala.Product
Test statistics
Object Summary
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.
case object Passed extends Result with scala.Product
The property test passed
Type Details
type PropEvalCallback
Property evaluation callback. Takes number of passed and discarded tests, respectively
Value Details
val defaultParams : Params
Default testing parameters
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 : scala.Function2) : 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(prms : Params, p : Prop, propCallback : scala.Function2, workers : Int, wrkSize : Int) : 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. Uses actors for parallel test execution, unless workers is zero. worker specifies how many working actors should be used. wrkSize specifies how many tests each worker should be scheduled with.
def check(p : Prop) : Stats
Tests a property and prints results to the console
ScalaCheck 1.2