trait ScalaCheckPropertyDsl extends FragmentsFactory with AsResultProp
- Alphabetic
- By Inheritance
- ScalaCheckPropertyDsl
- AsResultProp
- AsResultPropLowImplicits
- ScalaCheckParameters
- ScalaCheckPropertyCheck
- ExpectationsCreation
- MatchResultStackTrace
- FragmentsFactory
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
implicit
def
asResultToProp[R](r: R)(implicit arg0: AsResult[R]): Prop
- Definition Classes
- AsResultProp
-
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
- Definition Classes
- ScalaCheckPropertyCheck
-
def
checkFailure[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
def
checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
def
checkProperties(properties: Properties, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result
- Definition Classes
- ScalaCheckPropertyCheck
-
def
checkResultFailure(r: ⇒ Result): Result
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @HotSpotIntrinsicCandidate()
-
def
createExpectable[T](t: ⇒ T, alias: Option[(String) ⇒ String]): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
def
createExpectable[T](t: ⇒ T, alias: (String) ⇒ String): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
def
createExpectable[T](t: ⇒ T, alias: ⇒ String): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
def
createExpectable[T](t: ⇒ T): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
def
createExpectableWithShowAs[T](t: ⇒ T, showAs: ⇒ String): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
implicit
def
defaultFreqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty
- Definition Classes
- ScalaCheckParameters
-
implicit
def
defaultParameters: Parameters
default parameters.
default parameters. Uses ScalaCheck default values and doesn't print anything to the console
- Definition Classes
- ScalaCheckParameters
-
def
display(minTestsOk: Int = defaultParameters.minTestsOk, minSize: Int = defaultParameters.minSize, maxDiscardRatio: Float = defaultParameters.maxDiscardRatio, maxSize: Int = defaultParameters.maxSize, workers: Int = defaultParameters.workers, callback: TestCallback = defaultParameters.testCallback, loader: Option[ClassLoader] = defaultParameters.loader): Parameters
create parameters with verbose = true
create parameters with verbose = true
- Definition Classes
- ScalaCheckParameters
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
fragmentFactory: FragmentFactory
- Attributes
- protected
- Definition Classes
- FragmentsFactory
-
def
frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): String
- Definition Classes
- ScalaCheckPropertyCheck
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
mapMatchResult[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
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
- Definition Classes
- ScalaCheckPropertyCheck
-
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
- Definition Classes
- AsResultProp
- implicit def propToScalaCheckProperty(prop: Prop)(implicit parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): ScalaCheckProp
-
def
properties(ps: Properties): Fragments
display properties as examples
-
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
- Definition Classes
- AsResultProp
-
def
sandboxMatchResult[T](mr: ⇒ MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
implicit
def
scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]
- Definition Classes
- AsResultPropLowImplicits
-
def
set(minTestsOk: Int = defaultParameters.minTestsOk, minSize: Int = defaultParameters.minSize, maxDiscardRatio: Float = defaultParameters.maxDiscardRatio, maxSize: Int = defaultParameters.maxSize, workers: Int = defaultParameters.workers, callback: TestCallback = defaultParameters.testCallback, loader: Option[ClassLoader] = defaultParameters.loader): Parameters
create parameters with verbose = false
create parameters with verbose = false
- Definition Classes
- ScalaCheckParameters
-
def
setStacktrace[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- MatchResultStackTrace
-
def
showCause(t: Throwable): String
- returns
the cause of the exception as a String if there is one
- Definition Classes
- ScalaCheckPropertyCheck
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated