Packages

sealed abstract class Parameters extends AnyRef

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

Self Type
Parameters
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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  6. def disableLegacyShrinking: Parameters

    Disable legacy shrinking.

  7. def enableLegacyShrinking: Parameters

    Enable legacy shrinking.

  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  14. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  16. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  18. def toString(): String
    Definition Classes
    Parameters → AnyRef → Any
  19. val useLegacyShrinking: Boolean

    Use legacy shrinking.

  20. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  23. def withCustomClassLoader(customClassLoader: Option[ClassLoader]): Parameters

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

  24. def withInitialSeed(n: Long): Parameters

    Set initial seed as long integer.

  25. def withInitialSeed(seed: Seed): Parameters

    Set initial seed to use.

  26. def withInitialSeed(o: Option[Seed]): Parameters

    Set initial seed to use.

  27. def withLegacyShrinking(b: Boolean): Parameters

    Set legacy shrinking.

  28. def withMaxDiscardRatio(maxDiscardRatio: Float): Parameters

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

  29. def withMaxSize(maxSize: Int): Parameters

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

  30. def withMinSize(minSize: Int): Parameters

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

  31. def withMinSuccessfulTests(minSuccessfulTests: Int): Parameters

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

  32. def withNoInitialSeed: Parameters

    Don't set an initial seed.

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

  34. def withTestCallback(testCallback: TestCallback): Parameters

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

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