Packages

sealed abstract class Parameters extends AnyRef

Test parameters used by the check methods. Default parameters are defined by Test.Parameters.default.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Parameters
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract val customClassLoader: Option[ClassLoader]

    A custom class loader that should be used during test execution.

  2. abstract val initialSeed: Option[Seed]

    Initial seed to use for testing.

  3. 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 than maxDiscardRatio.

  4. abstract val maxSize: Int

    The maximum size given as parameter to the generators.

  5. abstract val minSize: Int

    The starting size given as parameter to the generators.

  6. abstract val minSuccessfulTests: Int

    The minimum number of tests that must succeed for ScalaCheck to consider a property passed.

  7. abstract val propFilter: Option[String]

    An optional regular expression to filter properties on.

  8. abstract val testCallback: TestCallback

    A callback that ScalaCheck calls each time a test is executed.

  9. abstract val workers: Int

    The number of tests to run in parallel.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  16. def toString(): String
    Definition Classes
    Parameters → AnyRef → Any
  17. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  18. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  19. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  20. def withCustomClassLoader(customClassLoader: Option[ClassLoader]): Parameters

    Create a copy of this Test.Parameters instance with Test.Parameters.customClassLoader set to the specified value.

  21. def withInitialSeed(n: Long): Parameters
  22. def withInitialSeed(seed: Seed): Parameters
  23. def withMaxDiscardRatio(maxDiscardRatio: Float): Parameters

    Create a copy of this Test.Parameters instance with Test.Parameters.maxDiscardRatio set to the specified value.

  24. def withMaxSize(maxSize: Int): Parameters

    Create a copy of this Test.Parameters instance with Test.Parameters.maxSize set to the specified value.

  25. def withMinSize(minSize: Int): Parameters

    Create a copy of this Test.Parameters instance with Test.Parameters.minSize set to the specified value.

  26. def withMinSuccessfulTests(minSuccessfulTests: Int): Parameters

    Create a copy of this Test.Parameters instance with Test.Parameters.minSuccessfulTests set to the specified value.

  27. def withNoInitialSeed: Parameters
  28. 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.

  29. def withTestCallback(testCallback: TestCallback): Parameters

    Create a copy of this Test.Parameters instance with Test.Parameters.testCallback set to the specified value.

  30. def withWorkers(workers: Int): Parameters

    Create a copy of this Test.Parameters instance with Test.Parameters.workers set to the specified value.

Inherited from AnyRef

Inherited from Any

Ungrouped