specs2-scalacheck
API
Generated with
specs2-scalacheck/org.specs2/org.specs2.scalacheck/AsResultProp

AsResultProp

org.specs2.scalacheck.AsResultProp
See theAsResultProp companion object
trait AsResultProp extends ScalaCheckPropertyCheck, AsResultPropLowImplicits

Implicits to convert Prop to AsResult and AsResult to Prop

Attributes

Companion
object
Graph
Supertypes
trait ExpectationsCreation
trait MatchResultStackTrace
class Object
trait Matchable
class Any
Show all
Known subtypes
object AsResultProp.type
trait ScalaCheck

Members list

Value members

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

Attributes

Inherited from:
ScalaCheckPropertyCheck
protected def checkFailure[T](m: MatchResult[T]): MatchResult[T]

this method can be overridden to throw exceptions when checking the match result

this method can be overridden to throw exceptions when checking the match result

Attributes

Inherited from:
ExpectationsCreation
protected def checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]

this method can be overridden to throw exceptions when checking the match result

this method can be overridden to throw exceptions when checking the match result

Attributes

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

Attributes

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

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

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

Attributes

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

Attributes

Returns

an Expectable with a description function

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

Attributes

Returns

an Expectable with a description function

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

Attributes

Returns

an Expectable with a description

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

Attributes

Returns

an Expectable

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

Attributes

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

Attributes

Inherited from:
ScalaCheckParameters
def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty): String

Attributes

Inherited from:
ScalaCheckPropertyCheck
protected def mapMatchResult[T](m: MatchResult[T]): MatchResult[T]

this method can be overridden to intercept a MatchResult and change its message before it is thrown

this method can be overridden to intercept a MatchResult and change its message before it is thrown

Attributes

Inherited from:
ExpectationsCreation
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

Attributes

Inherited from:
ScalaCheckPropertyCheck
protected def sandboxMatchResult[T](mr: => MatchResult[T]): MatchResult[T]

Attributes

Returns

the match result without any side-effects

Inherited from:
ExpectationsCreation
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

Attributes

Inherited from:
ScalaCheckParameters
protected def setStacktrace[T](m: MatchResult[T]): MatchResult[T]

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

Attributes

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

Attributes

Returns

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

Inherited from:
ScalaCheckPropertyCheck

Implicits

Implicits

implicit def asResultToProp[R : AsResult](r: R): Prop
implicit def propAsResult(implicit p: Parameters, pfq: FreqMap[Set[Any]] => Pretty): AsResult[Prop]

implicit typeclass instance to create examples from a Prop

implicit typeclass instance to create examples from a Prop

Attributes

implicit def propertiesAsResult(implicit p: Parameters, pfq: FreqMap[Set[Any]] => Pretty): AsResult[Properties]

implicit typeclass instance to create examples from Properties

implicit typeclass instance to create examples from Properties

Attributes

Inherited implicits

implicit def defaultFreqMapPretty: FreqMap[Set[Any]] => Pretty

Attributes

Inherited from:
ScalaCheckParameters
implicit def 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

Attributes

Inherited from:
ScalaCheckParameters
implicit def scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]

Attributes

Inherited from:
AsResultPropLowImplicits
Generated with