Gen

Value Members

1. def !=[U](g: Gen[U]): Prop

2. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

3. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

4. def !==[U](g: Gen[U]): Prop

5. final def ##(): Int

   Definition Classes

   AnyRef → Any

6. def :|(l: Symbol): Gen[T]

   Put a label on the generator to make test reports clearer

7. def :|(l: String): Gen[T]

   Put a label on the generator to make test reports clearer

8. def ==[U](g: Gen[U]): Prop

   Returns a new property that holds if and only if both this and the given generator generates the same result, or both generators generate no result.

9. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

10. final def ==(arg0: Any): Boolean

    Definition Classes

    Any

11. def apply(p: Parameters, seed: Seed): Option[T]

    Evaluate this generator with the given parameters

12. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

13. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

14. def doPureApply(p: Parameters, seed: Seed, retries: Int = 100): R[T]

15. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

17. def filter(p: (T) ⇒ Boolean): Gen[T]

    Create a new generator that uses this generator to produce a value that fulfills the given condition.

    Create a new generator that uses this generator to produce a value that fulfills the given condition. If the condition is not fulfilled, the generator fails (returns None). Also, make sure that the provided test property is side-effect free, e.g. it should not use external vars.

18. def filterNot(p: (T) ⇒ Boolean): Gen[T]

    Create a new generator that uses this generator to produce a value that doesn't fulfill the given condition.

    Create a new generator that uses this generator to produce a value that doesn't fulfill the given condition. If the condition is fulfilled, the generator fails (returns None). Also, make sure that the provided test property is side-effect free, e.g. it should not use external vars.

19. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

20. def flatMap[U](f: (T) ⇒ Gen[U]): Gen[U]

    Create a new generator by flat-mapping the result of this generator

21. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

22. def hashCode(): Int

    Definition Classes

    AnyRef → Any

23. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

24. def label(l: String): Gen[T]

    Put a label on the generator to make test reports clearer

25. def map[U](f: (T) ⇒ U): Gen[U]

    Create a new generator by mapping the result of this generator

26. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

27. final def notify(): Unit

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    Definition Classes

    AnyRef

29. def pureApply(p: Parameters, seed: Seed, retries: Int = 100): T

    Evaluate this generator with the given parameters.

    Evaluate this generator with the given parameters.

    The generator will attempt to generate a valid T value. If a valid value is not produced it may retry several times, determined by the retries parameter (which defaults to 100).

    If all the retries fail it will throw a Gen.RetrievalError exception.

30. def retryUntil(p: (T) ⇒ Boolean): Gen[T]

    Create a generator that calls this generator repeatedly until the given condition is fulfilled.

    Create a generator that calls this generator repeatedly until the given condition is fulfilled. The generated value is then returned. Make sure that the provided test property is side-effect free (it should not use external vars).

    If the generator fails more than 10000 times, a RetryUntilException will be thrown. You can call retryUntil with a second parameter to change this number.

31. def retryUntil(p: (T) ⇒ Boolean, maxTries: Int): Gen[T]

    Create a generator that calls this generator repeatedly until the given condition is fulfilled.

    Create a generator that calls this generator repeatedly until the given condition is fulfilled. The generated value is then returned. Make sure that the provided test property is side-effect free (it should not use external vars).

    If the generator fails more than maxTries, a RetryUntilException will be thrown.

32. def sample: Option[T]

33. def suchThat(f: (T) ⇒ Boolean): Gen[T]

    Create a new generator that uses this generator to produce a value that fulfills the given condition.

    Create a new generator that uses this generator to produce a value that fulfills the given condition. If the condition is not fulfilled, the generator fails (returns None). Also, make sure that the provided test property is side-effect free, e.g. it should not use external vars. This method is identical to [Gen.filter].

34. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

35. def toString(): String

    Definition Classes

    AnyRef → Any

36. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

37. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

38. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

39. def withFilter(p: (T) ⇒ Boolean): WithFilter

    Creates a non-strict filtered version of this generator.

40. def withPerturb(f: (Seed) ⇒ Seed): Gen[T]

    Perform some RNG perturbation before generating

41. def |:(l: Symbol): Gen[T]

    Put a label on the generator to make test reports clearer

42. def |:(l: String): Gen[T]

    Put a label on the generator to make test reports clearer