org.scalacheck.Test

Parameters

Related Docs: object Parameters | package Test

sealed abstract class Parameters extends AnyRef

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

Source
Test.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Parameters
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
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 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.

  3. abstract val maxSize: Int

    The maximum size given as parameter to the generators.

  4. abstract val minSize: Int

    The starting size given as parameter to the generators.

  5. abstract val minSuccessfulTests: Int

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

  6. abstract val testCallback: TestCallback

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

  7. 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
    @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
  10. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  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
  14. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  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
    @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 withMaxDiscardRatio(maxDiscardRatio: Float): Parameters

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

  22. def withMaxSize(maxSize: Int): Parameters

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

  23. def withMinSize(minSize: Int): Parameters

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

  24. def withMinSuccessfulTests(minSuccessfulTests: Int): Parameters

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

  25. def withTestCallback(testCallback: TestCallback): Parameters

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

  26. 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