specs2-scalacheck/org.specs2.scalacheck/ScalaCheckPropertyDsl

ScalaCheckPropertyDsl

trait ScalaCheckPropertyDsl extends FragmentsFactory with AsResultProp
trait ExpectationsCreation
trait ResultChecks
trait MatchResultStackTrace
trait FragmentsFactory
class Object
trait Matchable
class Any

Value members

Concrete methods

def properties(ps: Properties): Fragments

display properties as examples

display properties as examples

Inherited methods

def check(prop: Prop, parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty): Result

checks if the property is true for each generated value, and with the specified parameters

checks if the property is true for each generated value, and with the specified parameters

Inherited from:
ScalaCheckPropertyCheck
def checkProperties(properties: Properties, parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty): Result
protected def checkResultFailure(r: => Result): Result

this method can be overridden to throw exceptions when checking a result

this method can be overridden to throw exceptions when checking a result

Inherited from:
ResultChecks
def createExpectable[T](t: => T, alias: String => String): Expectable[T]
Returns:

an Expectable with a description function

Inherited from:
ExpectationsCreation
def createExpectable[T](t: => T, alias: => String): Expectable[T]
Returns:

an Expectable with a description

Inherited from:
ExpectationsCreation
def createExpectable[T](t: => T): Expectable[T]
Returns:

an Expectable

Inherited from:
ExpectationsCreation
def createExpectable[T](t: => T, alias: Option[String => String]): Expectable[T]
Returns:

an Expectable with a description function

Inherited from:
ExpectationsCreation
def createExpectableWithShowAs[T](t: => T, showAs: => String): Expectable[T]
Returns:

an Expectable with a function to show the element T

Inherited from:
ExpectationsCreation
def display(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters

create parameters with verbose = true

create parameters with verbose = true

Inherited from:
ScalaCheckParameters
protected def fragmentFactory: FragmentFactory
Inherited from:
FragmentsFactory
def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty): String
protected def mapResult(r: Result): Result

this method can be overridden to intercept a Result and modify it. It is used for example to set a stacktrace providing the location of a failure

this method can be overridden to intercept a Result and modify it. It is used for example to set a stacktrace providing the location of a failure

Inherited from:
ResultChecks
def prettyResult(res: Result, parameters: Parameters, initialSeed: => Seed, freqMapPretty: FreqMap[Set[Any]] => Pretty): Pretty

copied from ScalaCheck to be able to inject the proper freqMap pretty

copied from ScalaCheck to be able to inject the proper freqMap pretty

Inherited from:
ScalaCheckPropertyCheck
protected def sandboxResult(r: => Result): Result
Returns:

the result without any side-effects

Inherited from:
ResultChecks
def set(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters

create parameters with verbose = false

create parameters with verbose = false

Inherited from:
ScalaCheckParameters
protected def setStacktrace(m: Result): Result

this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

Inherited from:
MatchResultStackTrace
def showCause(t: Throwable): String
Returns:

the cause of the exception as a String if there is one

Inherited from:
ScalaCheckPropertyCheck
def theBlock(t: => Nothing): Expectable[Nothing]
Inherited from:
ExpectationsCreation
def theValue[T](t: => T): Expectable[T]
Inherited from:
ExpectationsCreation

Givens

Givens

given propToScalaCheckProperty(using parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty): propToScalaCheckProperty

Inherited givens

given asResultToProp[R](using evidence$1: AsResult[R]): asResultToProp[R]
Inherited from:
AsResultProp
given defaultFreqMapPretty: FreqMap[Set[Any]] => Pretty
Inherited from:
ScalaCheckParameters
given defaultParameters: Parameters

default parameters. Uses ScalaCheck default values and doesn't print anything to the console

default parameters. Uses ScalaCheck default values and doesn't print anything to the console

Inherited from:
ScalaCheckParameters
given propAsResult(using p: Parameters, pfq: FreqMap[Set[Any]] => Pretty): propAsResult

implicit typeclass instance to create examples from a Prop

implicit typeclass instance to create examples from a Prop

Inherited from:
AsResultProp
given propertiesAsResult(using p: Parameters, pfq: FreqMap[Set[Any]] => Pretty): propertiesAsResult

implicit typeclass instance to create examples from Properties

implicit typeclass instance to create examples from Properties

Inherited from:
AsResultPropLowImplicits
given scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: scalaCheckPropertyAsResult[S]