trait ScalaCheckPropertyCheck extends ExpectationsCreation
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- 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
- 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
- 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
- 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
- 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
- def sandboxMatchResult[T](mr: => MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
- 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
- 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()