ScalaCheck 1.2
org.scalacheck

trait Properties
[source: org/scalacheck/Properties.scala]
trait Properties
extends AnyRef
Represents a collection of properties, with convenient methods for checking all properties at once. Properties are added to this collection through the specify methods.
Direct Known Subclasses:
Gen, Prop
Type Summary
type NamedPropEvalCallback
type TestStatsCallback
Value Summary
abstract val name : java.lang.String
Method Summary
def allProperties : Prop
Returns all properties combined into a single property, that holds when all properties hold
def checkProperties (prms : Params, propCallback : scala.Function3, testCallback : scala.Function2) : scala.collection.immutable.Map[java.lang.String, Stats]
Tests all properties with the given testing parameters, and returns the test results. f is a function which is called each time a property is evaluted. g is a function called each time a property has been fully tested.
def checkProperties : scala.collection.immutable.Map[java.lang.String, Stats]
Tests all properties with default testing parameters, and returns the test results. The results are also printed on the console during testing.
def checkProperties (prms : Params, propCallback : scala.Function3, testCallback : scala.Function2, workers : Int, wrkSize : Int) : scala.collection.immutable.Map[java.lang.String, Stats]
Tests all properties with the given testing parameters, and returns the test results. f is a function which is called each time a property is evaluted. g is a function called each time a property has been fully testedi. Uses actors for execution.
def checkProperties (prms : Params) : scala.collection.immutable.Map[java.lang.String, Stats]
Tests all properties with the given testing parameters, and returns the test results.
def specify [A1, A2, A3, A4, P](propName : java.lang.String, f : (A1, A2, A3, A4) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4]) : Unit
Adds a property to this property collection
def specify [A1, A2, P](propName : java.lang.String, f : (A1, A2) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2]) : Unit
Adds a property to this property collection
def specify [A1, P](propName : java.lang.String, f : (A1) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1]) : Unit
Adds a property to this property collection
def specify (propName : java.lang.String, prop : => Prop) : Unit
Adds a property to this property collection
def specify [A1, A2, A3, P](propName : java.lang.String, f : (A1, A2, A3) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3]) : Unit
Adds a property to this property collection
def specify [A1, A2, A3, A4, A5, A6, P](propName : java.lang.String, f : (A1, A2, A3, A4, A5, A6) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6]) : Unit
Adds a property to this property collection
def specify [A1, A2, A3, A4, A5, P](propName : java.lang.String, f : (A1, A2, A3, A4, A5) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5]) : Unit
Adds a property to this property collection
def testCases : scala.List[scala.testing.SUnit.TestCase]
Returns all properties as SUnit.TestCase instances, which can added to a SUnit.TestSuite.
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Type Details
type NamedPropEvalCallback
type TestStatsCallback
Value Details
abstract val name : java.lang.String
Method Details
def specify(propName : java.lang.String, prop : => Prop) : Unit
Adds a property to this property collection
def specify[A1, P](propName : java.lang.String, f : (A1) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1]) : Unit
Adds a property to this property collection
def specify[A1, A2, P](propName : java.lang.String, f : (A1, A2) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2]) : Unit
Adds a property to this property collection
def specify[A1, A2, A3, P](propName : java.lang.String, f : (A1, A2, A3) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3]) : Unit
Adds a property to this property collection
def specify[A1, A2, A3, A4, P](propName : java.lang.String, f : (A1, A2, A3, A4) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4]) : Unit
Adds a property to this property collection
def specify[A1, A2, A3, A4, A5, P](propName : java.lang.String, f : (A1, A2, A3, A4, A5) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5]) : Unit
Adds a property to this property collection
def specify[A1, A2, A3, A4, A5, A6, P](propName : java.lang.String, f : (A1, A2, A3, A4, A5, A6) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6]) : Unit
Adds a property to this property collection
def checkProperties(prms : Params) : scala.collection.immutable.Map[java.lang.String, Stats]
Tests all properties with the given testing parameters, and returns the test results.
def checkProperties(prms : Params, propCallback : scala.Function3, testCallback : scala.Function2) : scala.collection.immutable.Map[java.lang.String, Stats]
Tests all properties with the given testing parameters, and returns the test results. f is a function which is called each time a property is evaluted. g is a function called each time a property has been fully tested.
def checkProperties(prms : Params, propCallback : scala.Function3, testCallback : scala.Function2, workers : Int, wrkSize : Int) : scala.collection.immutable.Map[java.lang.String, Stats]
Tests all properties with the given testing parameters, and returns the test results. f is a function which is called each time a property is evaluted. g is a function called each time a property has been fully testedi. Uses actors for execution.
def checkProperties : scala.collection.immutable.Map[java.lang.String, Stats]
Tests all properties with default testing parameters, and returns the test results. The results are also printed on the console during testing.
def testCases : scala.List[scala.testing.SUnit.TestCase]
Returns all properties as SUnit.TestCase instances, which can added to a SUnit.TestSuite.
def allProperties : Prop
Returns all properties combined into a single property, that holds when all properties hold
ScalaCheck 1.2