org.scalatest.prop.GeneratorDrivenPropertyChecks.scala Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of scalatest_2.9.0 Show documentation
Show all versions of scalatest_2.9.0 Show documentation
ScalaTest is a free, open-source testing toolkit for Scala and Java
programmers.
/*
* Copyright 2001-2012 Artima, Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.scalatest
package prop
import org.scalacheck.Arbitrary
import org.scalacheck.Shrink
import org.scalacheck.Prop
import org.scalacheck.Gen
import org.scalacheck.Prop._
import org.scalacheck.Test.Params
/**
* Trait containing methods that faciliate property checks against generated data using ScalaCheck.
*
*
* This trait contains forAll methods that provide various ways to check properties using
* generated data. Use of this trait requires that ScalaCheck be on the class path when you compile and run your tests.
* It also contains a wherever method that can be used to indicate a property need only hold whenever
* some condition is true.
*
*
*
* For an example of trait GeneratorDrivenPropertyChecks in action, imagine you want to test this Fraction class:
*
*
*
* class Fraction(n: Int, d: Int) {
*
* require(d != 0)
* require(d != Integer.MIN_VALUE)
* require(n != Integer.MIN_VALUE)
*
* val numer = if (d < 0) -1 * n else n
* val denom = d.abs
*
* override def toString = numer + " / " + denom
* }
*
*
*
* To test the behavior of Fraction, you could mix in or import the members of GeneratorDrivenPropertyChecks
* (and ShouldMatchers) and check a property using a forAll method, like this:
*
*
*
* forAll { (n: Int, d: Int) =>
*
* whenever (d != 0 && d != Integer.MIN_VALUE
* && n != Integer.MIN_VALUE) {
*
* val f = new Fraction(n, d)
*
* if (n < 0 && d < 0 || n > 0 && d > 0)
* f.numer should be > 0
* else if (n != 0)
* f.numer should be < 0
* else
* f.numer should be === 0
*
* f.denom should be > 0
* }
* }
*
*
*
* Trait GeneratorDrivenPropertyChecks provides overloaded forAll methods
* that allow you to check properties using the data provided by a ScalaCheck generator. The simplest form
* of forAll method takes two parameter lists, the second of which is implicit. The first parameter list
* is a "property" function with one to six parameters. An implicit Arbitrary generator and Shrink object needs to be supplied for
* The forAll method will pass each row of data to
* each parameter type. ScalaCheck provides many implicit Arbitrary generators for common types such as
* Int, String, List[Float], etc., in its org.scalacheck.Arbitrary companion
* object. So long as you use types for which ScalaCheck already provides implicit Arbitrary generators, you needn't
* worry about them. Same for Shrink objects, which are provided by ScalaCheck's org.scalacheck.Shrink companion
* object. Most often you can simply pass a property function to forAll, and the compiler will grab the implicit
* values provided by ScalaCheck.
*
*
*
* The forAll methods use the supplied Arbitrary generators to generate example
* arguments and pass them to the property function, and
* generate a GeneratorDrivenPropertyCheckFailedException if the function
* completes abruptly for any exception that would normally cause a test to
* fail in ScalaTest other than DiscardedEvaluationException. An
* DiscardedEvaluationException,
* which is thrown by the whenever method (defined in trait Whenever, which this trait extends) to indicate
* a condition required by the property function is not met by a row
* of passed data, will simply cause forAll to discard that row of data.
*
*
* Supplying argument names
*
*
* You can optionally specify string names for the arguments passed to a property function, which will be used
* in any error message when describing the argument values that caused the failure. To supply the names, place them in a comma separated list
* in parentheses after forAll before the property function (a curried form of forAll). Here's
* an example:
*
*
*
* forAll ("a", "b") { (a: String, b: String) =>
* a.length + b.length should equal ((a + b).length + 1) // Should fail
* }
*
*
*
* When this fails, you'll see an error message that includes this:
*
*
*
* Occurred when passed generated values (
* a = "",
* b = ""
* )
*
*
*
* When you don't supply argument names, the error message will say arg0, arg1, etc..
* For example, this property check:
*
*
*
* forAll { (a: String, b: String) =>
* a.length + b.length should equal ((a + b).length + 1) // Should fail
* }
*
*
*
* Will fail with an error message that includes:
*
*
*
* Occurred when passed generated values (
* arg0 = "",
* arg1 = ""
* )
*
*
* Supplying generators
*
*
* ScalaCheck provides a nice library of compositors that makes it easy to create your own custom generators. If you
* want to supply custom generators to a property check, place them in parentheses after forAll, before
* the property check function (a curried form of forAll).
*
*
*
* For example, to create a generator of even integers between (and including) -2000 and 2000, you could write this:
*
*
*
* import org.scalacheck.Gen
*
* val evenInts = for (n <- Gen.choose(-1000, 1000)) yield 2 * n
*
*
*
* Given this generator, you could use it on a property check like this:
*
*
*
* forAll (evenInts) { (n) => n % 2 should equal (0) }
*
*
*
* Custom generators are necessary when you want to pass data types not supported by ScalaCheck's arbitrary generators,
* but are also useful when some of the values in the full range for the passed types are not valid. For such values you
* would use a whenever clause. In the Fraction class shown above, neither the passed numerator or
* denominator can be Integer.MIN_VALUE, and the passed denominator cannot be zero. This shows up in the
* whenever clause like this:
*
*
*
* whenever (d != 0 && d != Integer.MIN_VALUE
* && n != Integer.MIN_VALUE) { ...
*
*
*
* You could in addition define generators for the numerator and denominator that only produce valid values, like this:
*
*
*
* val validNumers =
* for (n <- Gen.choose(Integer.MIN_VALUE + 1, Integer.MAX_VALUE)) yield n
* val validDenoms =
* for (d <- validNumers if d != 0) yield d
*
*
*
* You could then use them in the property check like this:
*
*
*
* forAll (validNumers, validDenoms) { (n: Int, d: Int) =>
*
* whenever (d != 0 && d != Integer.MIN_VALUE
* && n != Integer.MIN_VALUE) {
*
* val f = new Fraction(n, d)
*
* if (n < 0 && d < 0 || n > 0 && d > 0)
* f.numer should be > 0
* else if (n != 0)
* f.numer should be < 0
* else
* f.numer should be === 0
*
* f.denom should be > 0
* }
* }
*
*
*
* Note that even if you are use generators that don't produce the invalid values, you still need the
* whenever clause. The reason is that once a property fails, ScalaCheck will try and shrink
* the values to the smallest values that still cause the property to fail. During this shrinking process ScalaCheck
* may pass invalid values. The whenever clause is still needed to guard against those values. (The
* whenever clause also clarifies to readers of the code exactly what the property is in a succinct
* way, without requiring that they find and understand the generator definitions.)
*
*
* Supplying both generators and argument names
*
*
* If you want to supply both generators and named arguments, you can do so by providing a list of (<generator>, <name>) pairs
* in parentheses after forAll, before the property function. Here's an example:
*
*
*
* forAll ((validNumers, "n"), (validDenoms, "d")) { (n: Int, d: Int) =>
*
* whenever (d != 0 && d != Integer.MIN_VALUE
* && n != Integer.MIN_VALUE) {
*
* val f = new Fraction(n, d)
*
* if (n < 0 && d < 0 || n > 0 && d > 0)
* f.numer should be > 0
* else if (n != 0)
* f.numer should be < 0
* else
* f.numer should be === 0
*
* f.denom should be > 0
* }
* }
*
*
*
* Were this property check to fail, it would mention the names n and d in the error message, like this:
*
*
*
* Occurred when passed generated values (
* n = 17,
* d = 21
* )
*
*
* Property check configuration
*
*
* The property checks performed by the forAll methods of this trait can be flexibly configured via the services
* provided by supertrait Configuration. The five configuration parameters for property checks along with their
* default values and meanings are described in the following table:
*
*
*
*
*
* Configuration Parameter
*
*
* Default Value
*
*
* Meaning
*
*
*
*
* minSuccessful
*
*
* 100
*
*
* the minimum number of successful property evaluations required for the property to pass
*
*
*
*
* maxDiscarded
*
*
* 500
*
*
* the maximum number of discarded property evaluations allowed during a property check
*
*
*
*
* minSize
*
*
* 0
*
*
* the minimum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists)
*
*
*
*
* maxSize
*
*
* 100
*
*
* the maximum size parameter to provide to ScalaCheck, which it will use when generating objects for which size matters (such as strings or lists)
*
*
*
*
* workers
*
*
* 1
*
*
* specifies the number of worker threads to use during property evaluation
*
*
*
*
*
* The forAll methods of trait GeneratorDrivenPropertyChecks each take a PropertyCheckConfig
* object as an implicit parameter. This object provides values for each of the five configuration parameters. Trait Configuration
* provides an implicit val named generatorDrivenConfig with each configuration parameter set to its default value.
* If you want to set one or more configuration parameters to a different value for all property checks in a suite you can override this
* val (or hide it, for example, if you are importing the members of the GeneratorDrivenPropertyChecks companion object rather
* than mixing in the trait.) For example, if
* you want all parameters at their defaults except for minSize and maxSize, you can override
* generatorDrivenConfig, like this:
*
*
* implicit override val generatorDrivenConfig =
* PropertyCheckConfig(minSize = 10, maxSize = 20)
*
*
*
* Or, if hide it by declaring a variable of the same name in whatever scope you want the changed values to be in effect:
*
*
*
* implicit val generatorDrivenConfig =
* PropertyCheckConfig(minSize = 10, maxSize = 20)
*
*
*
* In addition to taking a PropertyCheckConfig object as an implicit parameter, the forAll methods of trait
* GeneratorDrivenPropertyChecks also take a variable length argument list of PropertyCheckConfigParam
* objects that you can use to override the values provided by the implicit PropertyCheckConfig for a single forAll
* invocation. For example, if you want to set minSuccessful to 500 for just one particular forAll invocation,
* you can do so like this:
*
*
*
* forAll (minSuccessful(500)) { (n: Int, d: Int) => ...
*
*
*
* This invocation of forAll will use 500 for minSuccessful and whatever values are specified by the
* implicitly passed PropertyCheckConfig object for the other configuration parameters.
* If you want to set multiple configuration parameters in this way, just list them separated by commas:
*
*
*
* forAll (minSuccessful(500), maxDiscarded(300)) { (n: Int, d: Int) => ...
*
*
*
* If you are using an overloaded form of forAll that already takes an initial parameter list, just
* add the configuration parameters after the list of generators, names, or generator/name pairs, as in:
*
*
*
* // If providing argument names
* forAll ("n", "d", minSuccessful(500), maxDiscarded(300)) {
* (n: Int, d: Int) => ...
*
* // If providing generators
* forAll (validNumers, validDenoms, minSuccessful(500), maxDiscarded(300)) {
* (n: Int, d: Int) => ...
*
* // If providing (<generators>, <name>) pairs
* forAll ((validNumers, "n"), (validDenoms, "d"), minSuccessful(500), maxDiscarded(300)) {
* (n: Int, d: Int) => ...
*
*
*
* For more information, see the documentation for supertrait Configuration.
*
*
* @author Bill Venners
*/
trait GeneratorDrivenPropertyChecks extends Whenever with Configuration {
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators, modifying the values in the implicitly passed
* PropertyGenConfig object with explicitly passed parameter values.
*
*
* This method creates a ConfiguredPropertyCheck object that has six overloaded apply methods
* that take a function. Thus it is used with functions of all six arities.
* Here are some examples:
*
*
*
* forAll (minSize(1), maxSize(10)) { (a: String) =>
* a.length should equal ((a).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String) =>
* a.length + b.length should equal ((a + b).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String) =>
* a.length + b.length + c.length should equal ((a + b + c).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String, d: String) =>
* a.length + b.length + c.length + d.length should equal ((a + b + c + d).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String, d: String, e: String) =>
* a.length + b.length + c.length + d.length + e.length should equal ((a + b + c + d + e).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String, d: String, e: String, f: String) =>
* a.length + b.length + c.length + d.length + e.length + f.length should equal ((a + b + c + d + e + f).length)
* }
*
*
* @param configParams a variable length list of PropertyCheckConfigParam objects that should override corresponding
* values in the PropertyCheckConfig implicitly passed to the apply methods of the ConfiguredPropertyCheck
* object returned by this method.
*/
def forAll(configParams: PropertyCheckConfigParam*): ConfiguredPropertyCheck = new ConfiguredPropertyCheck(configParams)
/**
* Performs a configured property checks by applying property check functions passed to its apply methods to arguments
* supplied by implicitly passed generators, modifying the values in the
* PropertyGenConfig object passed implicitly to its apply methods with parameter values passed to its constructor.
*
*
* Instances of this class are returned by trait GeneratorDrivenPropertyChecks forAll method that accepts a variable length
* argument list of PropertyCheckConfigParam objects. Thus it is used with functions of all six arities.
* Here are some examples:
*
*
*
* forAll (minSize(1), maxSize(10)) { (a: String) =>
* a.length should equal ((a).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String) =>
* a.length + b.length should equal ((a + b).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String) =>
* a.length + b.length + c.length should equal ((a + b + c).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String, d: String) =>
* a.length + b.length + c.length + d.length should equal ((a + b + c + d).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String, d: String, e: String) =>
* a.length + b.length + c.length + d.length + e.length should equal ((a + b + c + d + e).length)
* }
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String, d: String, e: String, f: String) =>
* a.length + b.length + c.length + d.length + e.length + f.length should equal ((a + b + c + d + e + f).length)
* }
*
*
*
* In the first example above, the ConfiguredPropertyCheck object is returned by:
*
*
*
* forAll (minSize(1), maxSize(10))
*
*
*
* The code that follows is an invocation of one of the ConfiguredPropertyCheck apply methods:
*
*
*
* { (a: String) =>
* a.length should equal ((a).length)
* }
*
*
* @param configParams a variable length list of PropertyCheckConfigParam objects that should override corresponding
* values in the PropertyCheckConfig implicitly passed to the apply methods of instances of this class.
*
* @author Bill Venners
*/
class ConfiguredPropertyCheck(configParams: Seq[PropertyCheckConfigParam]) {
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators, modifying the values in the implicitly passed
* PropertyGenConfig object with parameter values passed to this object's constructor.
*
*
* Here's an example:
*
*
*
* forAll (minSize(1), maxSize(10)) { (a: String) =>
* a.length should equal ((a).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def apply[A](fun: (A) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A]
) {
val propF = { (a: A) =>
val (unmetCondition, exception) =
try {
fun(a)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "apply")
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators, modifying the values in the implicitly passed
* PropertyGenConfig object with parameter values passed to this object's constructor.
*
*
* Here's an example:
*
*
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String) =>
* a.length + b.length should equal ((a + b).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def apply[A, B](fun: (A, B) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B]
) {
val propF = { (a: A, b: B) =>
val (unmetCondition, exception) =
try {
fun(a, b)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "apply")
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators, modifying the values in the implicitly passed
* PropertyGenConfig object with parameter values passed to this object's constructor.
*
*
* Here's an example:
*
*
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String) =>
* a.length + b.length + c.length should equal ((a + b + c).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def apply[A, B, C](fun: (A, B, C) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C]
) {
val propF = { (a: A, b: B, c: C) =>
val (unmetCondition, exception) =
try {
fun(a, b, c)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "apply")
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators, modifying the values in the implicitly passed
* PropertyGenConfig object with parameter values passed to this object's constructor.
*
*
* Here's an example:
*
*
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String, d: String) =>
* a.length + b.length + c.length + d.length should equal ((a + b + c + d).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def apply[A, B, C, D](fun: (A, B, C, D) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C],
arbD: Arbitrary[D], shrD: Shrink[D]
) {
val propF = { (a: A, b: B, c: C, d: D) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "apply")
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators, modifying the values in the implicitly passed
* PropertyGenConfig object with parameter values passed to this object's constructor.
*
*
* Here's an example:
*
*
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String, d: String, e: String) =>
* a.length + b.length + c.length + d.length + e.length should equal ((a + b + c + d + e).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def apply[A, B, C, D, E](fun: (A, B, C, D, E) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C],
arbD: Arbitrary[D], shrD: Shrink[D],
arbE: Arbitrary[E], shrE: Shrink[E]
) {
val propF = { (a: A, b: B, c: C, d: D, e: E) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "apply")
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators, modifying the values in the implicitly passed
* PropertyGenConfig object with parameter values passed to this object's constructor.
*
*
* Here's an example:
*
*
*
* forAll (minSize(1), maxSize(10)) { (a: String, b: String, c: String, d: String, e: String, f: String) =>
* a.length + b.length + c.length + d.length + e.length + f.length should equal ((a + b + c + d + e + f).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def apply[A, B, C, D, E, F](fun: (A, B, C, D, E, F) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C],
arbD: Arbitrary[D], shrD: Shrink[D],
arbE: Arbitrary[E], shrE: Shrink[E],
arbF: Arbitrary[F], shrF: Shrink[F]
) {
val propF = { (a: A, b: B, c: C, d: D, e: E, f: F) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e, f)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "apply")
}
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll { (a: String) =>
* a.length should equal ((a).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A](fun: (A) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A]
) {
val propF = { (a: A) =>
val (unmetCondition, exception) =
try {
fun(a)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(Seq(), config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function with the specified
* argument names to arguments supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll ("a") { (a: String) =>
* a.length should equal ((a).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A](nameA: String, configParams: PropertyCheckConfigParam*)(fun: (A) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A]
) {
val propF = { (a: A) =>
val (unmetCondition, exception) =
try {
fun(a)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll (famousLastWords) { (a: String) =>
* a.length should equal ((a).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A](genA: Gen[A], configParams: PropertyCheckConfigParam*)(fun: (A) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A]
) {
val propF = { (a: A) =>
val (unmetCondition, exception) =
try {
fun(a)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function to named arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll ((famousLastWords, "a")) { (a: String) =>
* a.length should equal ((a).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A](genAndNameA: (Gen[A], String), configParams: PropertyCheckConfigParam*)(fun: (A) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A]
) {
val (genA, nameA) = genAndNameA
val propF = { (a: A) =>
val (unmetCondition, exception) =
try {
fun(a)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll { (a: String, b: String) =>
* a.length + b.length should equal ((a + b).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B](fun: (A, B) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B]
) {
val propF = { (a: A, b: B) =>
val (unmetCondition, exception) =
try {
fun(a, b)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(Seq(), config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function with the specified
* argument names to arguments supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll ("a", "b") { (a: String, b: String) =>
* a.length + b.length should equal ((a + b).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B](nameA: String, nameB: String, configParams: PropertyCheckConfigParam*)(fun: (A, B) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B]
) {
val propF = { (a: A, b: B) =>
val (unmetCondition, exception) =
try {
fun(a, b)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll (famousLastWords, famousLastWords) { (a: String, b: String) =>
* a.length + b.length should equal ((a + b).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B](genA: Gen[A], genB: Gen[B], configParams: PropertyCheckConfigParam*)(fun: (A, B) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B]
) {
val propF = { (a: A, b: B) =>
val (unmetCondition, exception) =
try {
fun(a, b)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function to named arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll ((famousLastWords, "a"), (famousLastWords, "b")) { (a: String, b: String) =>
* a.length + b.length should equal ((a + b).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B](genAndNameA: (Gen[A], String), genAndNameB: (Gen[B], String), configParams: PropertyCheckConfigParam*)(fun: (A, B) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B]
) {
val (genA, nameA) = genAndNameA
val (genB, nameB) = genAndNameB
val propF = { (a: A, b: B) =>
val (unmetCondition, exception) =
try {
fun(a, b)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll { (a: String, b: String, c: String) =>
* a.length + b.length + c.length should equal ((a + b + c).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C](fun: (A, B, C) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C]
) {
val propF = { (a: A, b: B, c: C) =>
val (unmetCondition, exception) =
try {
fun(a, b, c)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(Seq(), config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function with the specified
* argument names to arguments supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll ("a", "b", "c") { (a: String, b: String, c: String) =>
* a.length + b.length + c.length should equal ((a + b + c).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C](nameA: String, nameB: String, nameC: String, configParams: PropertyCheckConfigParam*)(fun: (A, B, C) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C]
) {
val propF = { (a: A, b: B, c: C) =>
val (unmetCondition, exception) =
try {
fun(a, b, c)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB, nameC)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll (famousLastWords, famousLastWords, famousLastWords) { (a: String, b: String, c: String) =>
* a.length + b.length + c.length should equal ((a + b + c).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C](genA: Gen[A], genB: Gen[B], genC: Gen[C], configParams: PropertyCheckConfigParam*)(fun: (A, B, C) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B],
shrC: Shrink[C]
) {
val propF = { (a: A, b: B, c: C) =>
val (unmetCondition, exception) =
try {
fun(a, b, c)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB, genC)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function to named arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll ((famousLastWords, "a"), (famousLastWords, "b"), (famousLastWords, "c")) { (a: String, b: String, c: String) =>
* a.length + b.length + c.length should equal ((a + b + c).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C](genAndNameA: (Gen[A], String), genAndNameB: (Gen[B], String), genAndNameC: (Gen[C], String), configParams: PropertyCheckConfigParam*)(fun: (A, B, C) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B],
shrC: Shrink[C]
) {
val (genA, nameA) = genAndNameA
val (genB, nameB) = genAndNameB
val (genC, nameC) = genAndNameC
val propF = { (a: A, b: B, c: C) =>
val (unmetCondition, exception) =
try {
fun(a, b, c)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB, genC)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB, nameC)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll { (a: String, b: String, c: String, d: String) =>
* a.length + b.length + c.length + d.length should equal ((a + b + c + d).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D](fun: (A, B, C, D) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C],
arbD: Arbitrary[D], shrD: Shrink[D]
) {
val propF = { (a: A, b: B, c: C, d: D) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(Seq(), config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function with the specified
* argument names to arguments supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll ("a", "b", "c", "d") { (a: String, b: String, c: String, d: String) =>
* a.length + b.length + c.length + d.length should equal ((a + b + c + d).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D](nameA: String, nameB: String, nameC: String, nameD: String, configParams: PropertyCheckConfigParam*)(fun: (A, B, C, D) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C],
arbD: Arbitrary[D], shrD: Shrink[D]
) {
val propF = { (a: A, b: B, c: C, d: D) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB, nameC, nameD)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll (famousLastWords, famousLastWords, famousLastWords, famousLastWords) { (a: String, b: String, c: String, d: String) =>
* a.length + b.length + c.length + d.length should equal ((a + b + c + d).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D](genA: Gen[A], genB: Gen[B], genC: Gen[C], genD: Gen[D], configParams: PropertyCheckConfigParam*)(fun: (A, B, C, D) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B],
shrC: Shrink[C],
shrD: Shrink[D]
) {
val propF = { (a: A, b: B, c: C, d: D) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB, genC, genD)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function to named arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll ((famousLastWords, "a"), (famousLastWords, "b"), (famousLastWords, "c"), (famousLastWords, "d")) { (a: String, b: String, c: String, d: String) =>
* a.length + b.length + c.length + d.length should equal ((a + b + c + d).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D](genAndNameA: (Gen[A], String), genAndNameB: (Gen[B], String), genAndNameC: (Gen[C], String), genAndNameD: (Gen[D], String), configParams: PropertyCheckConfigParam*)(fun: (A, B, C, D) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B],
shrC: Shrink[C],
shrD: Shrink[D]
) {
val (genA, nameA) = genAndNameA
val (genB, nameB) = genAndNameB
val (genC, nameC) = genAndNameC
val (genD, nameD) = genAndNameD
val propF = { (a: A, b: B, c: C, d: D) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB, genC, genD)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB, nameC, nameD)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll { (a: String, b: String, c: String, d: String, e: String) =>
* a.length + b.length + c.length + d.length + e.length should equal ((a + b + c + d + e).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D, E](fun: (A, B, C, D, E) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C],
arbD: Arbitrary[D], shrD: Shrink[D],
arbE: Arbitrary[E], shrE: Shrink[E]
) {
val propF = { (a: A, b: B, c: C, d: D, e: E) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(Seq(), config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function with the specified
* argument names to arguments supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll ("a", "b", "c", "d", "e") { (a: String, b: String, c: String, d: String, e: String) =>
* a.length + b.length + c.length + d.length + e.length should equal ((a + b + c + d + e).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D, E](nameA: String, nameB: String, nameC: String, nameD: String, nameE: String, configParams: PropertyCheckConfigParam*)(fun: (A, B, C, D, E) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C],
arbD: Arbitrary[D], shrD: Shrink[D],
arbE: Arbitrary[E], shrE: Shrink[E]
) {
val propF = { (a: A, b: B, c: C, d: D, e: E) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB, nameC, nameD, nameE)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll (famousLastWords, famousLastWords, famousLastWords, famousLastWords, famousLastWords) { (a: String, b: String, c: String, d: String, e: String) =>
* a.length + b.length + c.length + d.length + e.length should equal ((a + b + c + d + e).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D, E](genA: Gen[A], genB: Gen[B], genC: Gen[C], genD: Gen[D], genE: Gen[E], configParams: PropertyCheckConfigParam*)(fun: (A, B, C, D, E) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B],
shrC: Shrink[C],
shrD: Shrink[D],
shrE: Shrink[E]
) {
val propF = { (a: A, b: B, c: C, d: D, e: E) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB, genC, genD, genE)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function to named arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll ((famousLastWords, "a"), (famousLastWords, "b"), (famousLastWords, "c"), (famousLastWords, "d"), (famousLastWords, "e")) { (a: String, b: String, c: String, d: String, e: String) =>
* a.length + b.length + c.length + d.length + e.length should equal ((a + b + c + d + e).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D, E](genAndNameA: (Gen[A], String), genAndNameB: (Gen[B], String), genAndNameC: (Gen[C], String), genAndNameD: (Gen[D], String), genAndNameE: (Gen[E], String), configParams: PropertyCheckConfigParam*)(fun: (A, B, C, D, E) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B],
shrC: Shrink[C],
shrD: Shrink[D],
shrE: Shrink[E]
) {
val (genA, nameA) = genAndNameA
val (genB, nameB) = genAndNameB
val (genC, nameC) = genAndNameC
val (genD, nameD) = genAndNameD
val (genE, nameE) = genAndNameE
val propF = { (a: A, b: B, c: C, d: D, e: E) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB, genC, genD, genE)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB, nameC, nameD, nameE)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll { (a: String, b: String, c: String, d: String, e: String, f: String) =>
* a.length + b.length + c.length + d.length + e.length + f.length should equal ((a + b + c + d + e + f).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D, E, F](fun: (A, B, C, D, E, F) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C],
arbD: Arbitrary[D], shrD: Shrink[D],
arbE: Arbitrary[E], shrE: Shrink[E],
arbF: Arbitrary[F], shrF: Shrink[F]
) {
val propF = { (a: A, b: B, c: C, d: D, e: E, f: F) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e, f)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(Seq(), config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function with the specified
* argument names to arguments supplied by implicitly passed generators.
*
*
* Here's an example:
*
*
*
* forAll ("a", "b", "c", "d", "e", "f") { (a: String, b: String, c: String, d: String, e: String, f: String) =>
* a.length + b.length + c.length + d.length + e.length + f.length should equal ((a + b + c + d + e + f).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D, E, F](nameA: String, nameB: String, nameC: String, nameD: String, nameE: String, nameF: String, configParams: PropertyCheckConfigParam*)(fun: (A, B, C, D, E, F) => Unit)
(implicit
config: PropertyCheckConfig,
arbA: Arbitrary[A], shrA: Shrink[A],
arbB: Arbitrary[B], shrB: Shrink[B],
arbC: Arbitrary[C], shrC: Shrink[C],
arbD: Arbitrary[D], shrD: Shrink[D],
arbE: Arbitrary[E], shrE: Shrink[E],
arbF: Arbitrary[F], shrF: Shrink[F]
) {
val propF = { (a: A, b: B, c: C, d: D, e: E, f: F) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e, f)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB, nameC, nameD, nameE, nameF)))
}
/**
* Performs a property check by applying the specified property check function to arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll (famousLastWords, famousLastWords, famousLastWords, famousLastWords, famousLastWords, famousLastWords) { (a: String, b: String, c: String, d: String, e: String, f: String) =>
* a.length + b.length + c.length + d.length + e.length + f.length should equal ((a + b + c + d + e + f).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D, E, F](genA: Gen[A], genB: Gen[B], genC: Gen[C], genD: Gen[D], genE: Gen[E], genF: Gen[F], configParams: PropertyCheckConfigParam*)(fun: (A, B, C, D, E, F) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B],
shrC: Shrink[C],
shrD: Shrink[D],
shrE: Shrink[E],
shrF: Shrink[F]
) {
val propF = { (a: A, b: B, c: C, d: D, e: E, f: F) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e, f)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB, genC, genD, genE, genF)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll")
}
/**
* Performs a property check by applying the specified property check function to named arguments
* supplied by the specified generators.
*
*
* Here's an example:
*
*
*
* import org.scalacheck.Gen
*
* // Define your own string generator:
* val famousLastWords = for {
* s <- Gen.oneOf("the", "program", "compiles", "therefore", "it", "should", "work")
* } yield s
*
* forAll ((famousLastWords, "a"), (famousLastWords, "b"), (famousLastWords, "c"), (famousLastWords, "d"), (famousLastWords, "e"), (famousLastWords, "f")) { (a: String, b: String, c: String, d: String, e: String, f: String) =>
* a.length + b.length + c.length + d.length + e.length + f.length should equal ((a + b + c + d + e + f).length)
* }
*
*
* @param fun the property check function to apply to the generated arguments
*/
def forAll[A, B, C, D, E, F](genAndNameA: (Gen[A], String), genAndNameB: (Gen[B], String), genAndNameC: (Gen[C], String), genAndNameD: (Gen[D], String), genAndNameE: (Gen[E], String), genAndNameF: (Gen[F], String), configParams: PropertyCheckConfigParam*)(fun: (A, B, C, D, E, F) => Unit)
(implicit
config: PropertyCheckConfig,
shrA: Shrink[A],
shrB: Shrink[B],
shrC: Shrink[C],
shrD: Shrink[D],
shrE: Shrink[E],
shrF: Shrink[F]
) {
val (genA, nameA) = genAndNameA
val (genB, nameB) = genAndNameB
val (genC, nameC) = genAndNameC
val (genD, nameD) = genAndNameD
val (genE, nameE) = genAndNameE
val (genF, nameF) = genAndNameF
val propF = { (a: A, b: B, c: C, d: D, e: E, f: F) =>
val (unmetCondition, exception) =
try {
fun(a, b, c, d, e, f)
(false, None)
}
catch {
case e: DiscardedEvaluationException => (true, None)
case e: Throwable => (false, Some(e))
}
!unmetCondition ==> (
if (exception.isEmpty) Prop.passed else Prop.exception(exception.get)
)
}
val prop = Prop.forAll(genA, genB, genC, genD, genE, genF)(propF)
val params = getParams(configParams, config)
Checkers.doCheck(prop, params, "GeneratorDrivenPropertyChecks.scala", "forAll", Some(List(nameA, nameB, nameC, nameD, nameE, nameF)))
}
}
object GeneratorDrivenPropertyChecks extends GeneratorDrivenPropertyChecks