sealed abstract class Parameters extends AnyRef
Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.
- Self Type
- Parameters
- Source
- Test.scala
- Alphabetic
- By Inheritance
- Parameters
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract val customClassLoader: Option[ClassLoader]
A custom class loader that should be used during test execution.
- abstract val initialSeed: Option[Seed]
Initial seed to use for testing.
- abstract val maxDiscardRatio: Float
The maximum ratio between discarded and passed tests allowed before ScalaCheck gives up and discards the whole property (with status Test.Exhausted).
The maximum ratio between discarded and passed tests allowed before ScalaCheck gives up and discards the whole property (with status Test.Exhausted). Additionally, ScalaCheck will always allow at least
minSuccessfulTests * maxDiscardRatio
discarded tests, so the resulting discard ratio might be higher thanmaxDiscardRatio
. - abstract val maxSize: Int
The maximum size given as parameter to the generators.
- abstract val minSize: Int
The starting size given as parameter to the generators.
- abstract val minSuccessfulTests: Int
The minimum number of tests that must succeed for ScalaCheck to consider a property passed.
- abstract val propFilter: Option[String]
An optional regular expression to filter properties on.
- abstract val testCallback: TestCallback
A callback that ScalaCheck calls each time a test is executed.
- abstract val workers: Int
The number of tests to run in parallel.
Concrete 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 clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def disableLegacyShrinking: Parameters
Disable legacy shrinking.
- def enableLegacyShrinking: Parameters
Enable legacy shrinking.
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- 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
- val maxRNGSpins: Int
Maximum number of spins of the RNG to perform between checks.
Maximum number of spins of the RNG to perform between checks. Greater values will reduce reuse of values (with dimimishing returns) for a given number of arguments to Prop.forAll tests. Greater values will also generally lead to slower tests, so be careful.
- 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
- Parameters → AnyRef → Any
- val useLegacyShrinking: Boolean
Use legacy shrinking.
- 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()
- def withCustomClassLoader(customClassLoader: Option[ClassLoader]): Parameters
Create a copy of this Test.Parameters instance with Test.Parameters.customClassLoader set to the specified value.
- def withInitialSeed(n: Long): Parameters
Set initial seed as long integer.
- def withInitialSeed(seed: Seed): Parameters
Set initial seed to use.
- def withInitialSeed(o: Option[Seed]): Parameters
Set initial seed to use.
- def withLegacyShrinking(b: Boolean): Parameters
Set legacy shrinking.
- def withMaxDiscardRatio(maxDiscardRatio: Float): Parameters
Create a copy of this Test.Parameters instance with Test.Parameters.maxDiscardRatio set to the specified value.
- def withMaxRNGSpins(n: Int): Parameters
Set maximum RNG spins between checks
- def withMaxSize(maxSize: Int): Parameters
Create a copy of this Test.Parameters instance with Test.Parameters.maxSize set to the specified value.
- def withMinSize(minSize: Int): Parameters
Create a copy of this Test.Parameters instance with Test.Parameters.minSize set to the specified value.
- def withMinSuccessfulTests(minSuccessfulTests: Int): Parameters
Create a copy of this Test.Parameters instance with Test.Parameters.minSuccessfulTests set to the specified value.
- def withNoInitialSeed: Parameters
Don't set an initial seed.
- def withPropFilter(propFilter: Option[String]): Parameters
Create a copy of this Test.Parameters instance with Test.Parameters.propFilter set to the specified regular expression filter.
- def withTestCallback(testCallback: TestCallback): Parameters
Create a copy of this Test.Parameters instance with Test.Parameters.testCallback set to the specified value.
- def withWorkers(workers: Int): Parameters
Create a copy of this Test.Parameters instance with Test.Parameters.workers set to the specified value.