scalacheck
1.17.0-238-d924659
API
Generated with
scalacheck/org.scalacheck/Test

Test

org.scalacheck.Test
object Test

Attributes

Source
Test.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Test.type

Members list

Type members

Classlikes

case object Exhausted extends Status

The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.

The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.

Attributes

Source
Test.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Status
class Object
trait Matchable
class Any
Show all
Self type
Exhausted.type
sealed case class Failed(args: List[Arg[Any]], labels: Set[String]) extends Status

The property was proved wrong with the given concrete arguments.

The property was proved wrong with the given concrete arguments.

Attributes

Source
Test.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Status
class Object
trait Matchable
class Any
Show all
sealed abstract class Parameters

Test parameters used by the check methods.

Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.

Attributes

Companion
object
Source
Test.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object Parameters

Test parameters used by the check methods.

Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.

Attributes

Companion
class
Source
Test.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Parameters.type
case object Passed extends Status

ScalaCheck found enough cases for which the property holds, so the property is considered correct.

ScalaCheck found enough cases for which the property holds, so the property is considered correct. (It is not proved correct, though).

Attributes

Source
Test.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Status
class Object
trait Matchable
class Any
Show all
Self type
Passed.type
sealed case class PropException(args: List[Arg[Any]], e: Throwable, labels: Set[String]) extends Status

An exception was raised when trying to evaluate the property with the given concrete arguments.

An exception was raised when trying to evaluate the property with the given concrete arguments. If an exception was raised before or during argument generation, the argument list will be empty.

Attributes

Source
Test.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Status
class Object
trait Matchable
class Any
Show all
sealed case class Proved(args: List[Arg[Any]]) extends Status

ScalaCheck managed to prove the property correct

ScalaCheck managed to prove the property correct

Attributes

Source
Test.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait Status
class Object
trait Matchable
class Any
Show all
final case class Result(status: Status, succeeded: Int, discarded: Int, freqMap: FreqMap[Set[Any]], time: Long)

Test statistics

Test statistics

Attributes

Source
Test.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait Status

Test status

Test status

Attributes

Source
Test.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Exhausted.type
class Failed
object Passed.type
class Proved
trait TestCallback

Attributes

Source
Test.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type

Value members

Concrete methods

def check(p: Prop)(f: Parameters => Parameters): Result

Tests a property with parameters that are calculated by applying the provided function to Test.Parameters.default.

Tests a property with parameters that are calculated by applying the provided function to Test.Parameters.default. Example use:

Test.check(p) { _.
  withMinSuccessfulTests(80000).
  withWorkers(4)
}

Attributes

Source
Test.scala
def check(params: Parameters, p: Prop): Result

Tests a property with the given testing parameters, and returns the test results.

Tests a property with the given testing parameters, and returns the test results.

Attributes

Source
Test.scala
def checkProperties(prms: Parameters, ps: Properties): Seq[(String, Result)]

Check a set of properties.

Check a set of properties.

Attributes

Source
Test.scala
def checkProperties_(prms: Parameters, ps: Properties): Unit

As checkProperties, but discards the result.

As checkProperties, but discards the result. Useful for when you just want to observe the results on the console.

Attributes

Source
Test.scala
def check_(params: Parameters, p: Prop): Unit

As check, but discards the result.

As check, but discards the result. Useful for when you just want to read the console output.

Attributes

Source
Test.scala
def check_(p: Prop)(f: Parameters => Parameters): Unit

As check, but discards the result.

As check, but discards the result. Useful for when you just want to read the console output.

Attributes

Source
Test.scala
def matchPropFilter(propertyName: String, regex: Regex): Boolean

Returns the result of filtering a property name by a supplied regular expression.

Returns the result of filtering a property name by a supplied regular expression.

Value parameters

propertyName

The name of the property to be filtered.

regex

The regular expression to filter the property name by.

Attributes

Returns

true if the regular expression matches the property name, false if not.

Source
Test.scala
Generated with