org.scalatest

# prop

#### package prop

Visibility

1. Public
2. All

### Type Members

1. #### trait Checkers extends Configuration

   Trait that contains several “check” methods that perform ScalaCheck property checks.

2. #### trait Configuration extends AnyRef

   Trait providing methods and classes used to configure property checks provided by the the `forAll` methods of trait `GeneratorDrivenPropertyChecks` (for ScalaTest-style property checks) and the `check` methods `Checkers` (for ScalaCheck-style property checks).

3. #### class DiscardedEvaluationException extends RuntimeException

   Exception that indicates an evaluation of a property should be discarded, because a condition required by a property was not met by the passed values.

4. #### class GeneratorDrivenPropertyCheckFailedException extends PropertyCheckFailedException

   Exception that indicates a ScalaCheck property check failed.

5. #### trait GeneratorDrivenPropertyChecks extends Whenever with Configuration

   Trait containing methods that faciliate property checks against generated data using ScalaCheck.

6. #### class PropertyCheckFailedException extends TestFailedException

   Exception that indicates a property check failed.

7. #### trait PropertyChecks extends TableDrivenPropertyChecks with GeneratorDrivenPropertyChecks

   Trait that facilitates property checks on data supplied by tables and generators.

8. #### class TableDrivenPropertyCheckFailedException extends PropertyCheckFailedException

   Exception that indicates a table-driven property check failed.

9. #### trait TableDrivenPropertyChecks extends Whenever with Tables

   Trait containing methods that faciliate property checks against tables of data.

10. #### class TableFor1 [A] extends IndexedSeq[A] with IndexedSeqLike[A, TableFor1[A]]

    A table with 1 column.

11. #### class TableFor10 [A, B, C, D, E, F, G, H, I, J] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J), TableFor10[A, B, C, D, E, F, G, H, I, J]]

    A table with 10 columns.

12. #### class TableFor11 [A, B, C, D, E, F, G, H, I, J, K] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K), TableFor11[A, B, C, D, E, F, G, H, I, J, K]]

    A table with 11 columns.

13. #### class TableFor12 [A, B, C, D, E, F, G, H, I, J, K, L] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L), TableFor12[A, B, C, D, E, F, G, H, I, J, K, L]]

    A table with 12 columns.

14. #### class TableFor13 [A, B, C, D, E, F, G, H, I, J, K, L, M] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M), TableFor13[A, B, C, D, E, F, G, H, I, J, K, L, M]]

    A table with 13 columns.

15. #### class TableFor14 [A, B, C, D, E, F, G, H, I, J, K, L, M, N] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M, N)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M, N), TableFor14[A, B, C, D, E, F, G, H, I, J, K, L, M, N]]

    A table with 14 columns.

16. #### class TableFor15 [A, B, C, D, E, F, G, H, I, J, K, L, M, N, O] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O), TableFor15[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O]]

    A table with 15 columns.

17. #### class TableFor16 [A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P), TableFor16[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P]]

    A table with 16 columns.

18. #### class TableFor17 [A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q), TableFor17[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q]]

    A table with 17 columns.

19. #### class TableFor18 [A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R), TableFor18[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R]]

    A table with 18 columns.

20. #### class TableFor19 [A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S), TableFor19[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S]]

    A table with 19 columns.

21. #### class TableFor2 [A, B] extends IndexedSeq[(A, B)] with IndexedSeqLike[(A, B), TableFor2[A, B]]

    A table with 2 columns.

22. #### class TableFor20 [A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T), TableFor20[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T]]

    A table with 20 columns.

23. #### class TableFor21 [A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U), TableFor21[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U]]

    A table with 21 columns.

24. #### class TableFor22 [A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V] extends IndexedSeq[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V), TableFor22[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V]]

    A table with 22 columns.

25. #### class TableFor3 [A, B, C] extends IndexedSeq[(A, B, C)] with IndexedSeqLike[(A, B, C), TableFor3[A, B, C]]

    A table with 3 columns.

26. #### class TableFor4 [A, B, C, D] extends IndexedSeq[(A, B, C, D)] with IndexedSeqLike[(A, B, C, D), TableFor4[A, B, C, D]]

    A table with 4 columns.

27. #### class TableFor5 [A, B, C, D, E] extends IndexedSeq[(A, B, C, D, E)] with IndexedSeqLike[(A, B, C, D, E), TableFor5[A, B, C, D, E]]

    A table with 5 columns.

28. #### class TableFor6 [A, B, C, D, E, F] extends IndexedSeq[(A, B, C, D, E, F)] with IndexedSeqLike[(A, B, C, D, E, F), TableFor6[A, B, C, D, E, F]]

    A table with 6 columns.

29. #### class TableFor7 [A, B, C, D, E, F, G] extends IndexedSeq[(A, B, C, D, E, F, G)] with IndexedSeqLike[(A, B, C, D, E, F, G), TableFor7[A, B, C, D, E, F, G]]

    A table with 7 columns.

30. #### class TableFor8 [A, B, C, D, E, F, G, H] extends IndexedSeq[(A, B, C, D, E, F, G, H)] with IndexedSeqLike[(A, B, C, D, E, F, G, H), TableFor8[A, B, C, D, E, F, G, H]]

    A table with 8 columns.

31. #### class TableFor9 [A, B, C, D, E, F, G, H, I] extends IndexedSeq[(A, B, C, D, E, F, G, H, I)] with IndexedSeqLike[(A, B, C, D, E, F, G, H, I), TableFor9[A, B, C, D, E, F, G, H, I]]

    A table with 9 columns.

32. #### trait Tables extends AnyRef

    Trait containing the `Table` object, which offers one `apply` factory method for each `TableForN` class, `TableFor1` through `TableFor22`.

33. #### trait Whenever extends AnyRef

    Trait that contains the `whenever` clause that can be used in table- or generator-driven property checks.

34. #### class PropertyTestFailedException extends GeneratorDrivenPropertyCheckFailedException

    This exception class has been deprecated and will be removed in a future version of ScalaTest. Please change uses of this class to use `GeneratorDrivenPropertyCheckFailedException` instead.

### Value Members

1. #### object Checkers extends Checkers

   Companion object that facilitates the importing of `Checkers` members as an alternative to mixing it in.

2. #### object Configuration extends Configuration

   Companion object that facilitates the importing of `Configuration` members as an alternative to mixing it in.

3. #### object GeneratorDrivenPropertyChecks extends GeneratorDrivenPropertyChecks

4. #### object PropertyChecks extends PropertyChecks

   Companion object that facilitates the importing of `PropertyChecks` members as an alternative to mixing it in.

5. #### object TableDrivenPropertyChecks extends TableDrivenPropertyChecks

6. #### object TableFor1 extends AnyRef

   Companion object for class `TableFor1` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor1` to return another `TableFor1`.

7. #### object TableFor10 extends AnyRef

   Companion object for class `TableFor10` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor10` to return another `TableFor10`.

8. #### object TableFor11 extends AnyRef

   Companion object for class `TableFor11` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor11` to return another `TableFor11`.

9. #### object TableFor12 extends AnyRef

   Companion object for class `TableFor12` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor12` to return another `TableFor12`.

10. #### object TableFor13 extends AnyRef

    Companion object for class `TableFor13` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor13` to return another `TableFor13`.

11. #### object TableFor14 extends AnyRef

    Companion object for class `TableFor14` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor14` to return another `TableFor14`.

12. #### object TableFor15 extends AnyRef

    Companion object for class `TableFor15` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor15` to return another `TableFor15`.

13. #### object TableFor16 extends AnyRef

    Companion object for class `TableFor16` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor16` to return another `TableFor16`.

14. #### object TableFor17 extends AnyRef

    Companion object for class `TableFor17` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor17` to return another `TableFor17`.

15. #### object TableFor18 extends AnyRef

    Companion object for class `TableFor18` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor18` to return another `TableFor18`.

16. #### object TableFor19 extends AnyRef

    Companion object for class `TableFor19` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor19` to return another `TableFor19`.

17. #### object TableFor2 extends AnyRef

    Companion object for class `TableFor2` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor2` to return another `TableFor2`.

18. #### object TableFor20 extends AnyRef

    Companion object for class `TableFor20` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor20` to return another `TableFor20`.

19. #### object TableFor21 extends AnyRef

    Companion object for class `TableFor21` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor21` to return another `TableFor21`.

20. #### object TableFor22 extends AnyRef

    Companion object for class `TableFor22` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor22` to return another `TableFor22`.

21. #### object TableFor3 extends AnyRef

    Companion object for class `TableFor3` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor3` to return another `TableFor3`.

22. #### object TableFor4 extends AnyRef

    Companion object for class `TableFor4` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor4` to return another `TableFor4`.

23. #### object TableFor5 extends AnyRef

    Companion object for class `TableFor5` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor5` to return another `TableFor5`.

24. #### object TableFor6 extends AnyRef

    Companion object for class `TableFor6` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor6` to return another `TableFor6`.

25. #### object TableFor7 extends AnyRef

    Companion object for class `TableFor7` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor7` to return another `TableFor7`.

26. #### object TableFor8 extends AnyRef

    Companion object for class `TableFor8` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor8` to return another `TableFor8`.

27. #### object TableFor9 extends AnyRef

    Companion object for class `TableFor9` that provides an implicit `canBuildFrom` method that enables higher order functions defined on `TableFor9` to return another `TableFor9`.

28. #### object Tables extends Tables

    Companion object that facilitates the importing of `Tables` members as an alternative to mixing it in.