object Test
- Alphabetic
- By Inheritance
- Test
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
sealed
case class
Failed(args: List[Arg[Any]], labels: Set[String]) extends Status with Product with Serializable
The property was proved wrong with the given concrete arguments.
-
sealed abstract
class
Parameters extends AnyRef
Test parameters used by the check methods.
Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.
-
sealed
case class
PropException(args: List[Arg[Any]], e: Throwable, labels: Set[String]) extends Status with Product with Serializable
An exception was raised when trying to evaluate the property with the given concrete arguments.
An exception was raised when trying to evaluate the property with the given concrete arguments. If an exception was raised before or during argument generation, the argument list will be empty.
-
sealed
case class
Proved(args: List[Arg[Any]]) extends Status with Product with Serializable
ScalaCheck managed to prove the property correct
-
final
case class
Result(status: Status, succeeded: Int, discarded: Int, freqMap: FreqMap[Set[Any]], time: Long = 0) extends Product with Serializable
Test statistics
-
sealed
trait
Status extends AnyRef
Test status
- trait TestCallback extends AnyRef
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(params: Parameters, p: Prop): Result
Tests a property with the given testing parameters, and returns the test results.
-
def
check(p: Prop)(f: (Parameters) ⇒ Parameters): Result
Tests a property with parameters that are calculated by applying the provided function to Test.Parameters.default.
Tests a property with parameters that are calculated by applying the provided function to Test.Parameters.default. Example use:
Test.check(p) { _. withMinSuccessfulTests(80000). withWorkers(4) }
-
def
checkProperties(prms: Parameters, ps: Properties): Seq[(String, Result)]
Check a set of properties.
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
matchPropFilter(propertyName: String, regex: Regex): Boolean
Returns the result of filtering a property name by a supplied regular expression.
Returns the result of filtering a property name by a supplied regular expression.
- propertyName
The name of the property to be filtered.
- regex
The regular expression to filter the property name by.
- returns
true if the regular expression matches the property name, false if not.
-
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()
-
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( ... )
-
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()
-
object
Exhausted extends Status with Product with Serializable
The property test was exhausted, it wasn't possible to generate enough concrete arguments satisfying the preconditions to get enough passing property evaluations.
-
object
Parameters
Test parameters used by the check methods.
Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.
-
object
Passed extends Status with Product with Serializable
ScalaCheck found enough cases for which the property holds, so the property is considered correct.
ScalaCheck found enough cases for which the property holds, so the property is considered correct. (It is not proved correct, though).