trait AsResultPropLowImplicits extends ScalaCheckPropertyCheck with ScalaCheckParameters
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- AsResultPropLowImplicits
- ScalaCheckParameters
- ScalaCheckPropertyCheck
- ExpectationsCreation
- MatchResultStackTrace
- AnyRef
- Any
- Hide All
- Show All
Visibility
- 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
- 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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- 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: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) => Pretty): String
- Definition Classes
- ScalaCheckPropertyCheck
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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
- def sandboxMatchResult[T](mr: => MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
- implicit def scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]
- 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(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()