Package com.pholser.junit.quickcheck.generator

Annotation Interface Also

@Target({PARAMETER,FIELD,ANNOTATION_TYPE,TYPE_USE}) @Retention(RUNTIME) public @interface Also

Mark a parameter of a Property method with this annotation to ensure that a limited set of values are guaranteed to be used as the value of that parameter to test the property.

In sampling mode, on each trial junit-quickcheck ensures that the first n values are the given set, and generates the remaining (trials - n) values in the usual way.

In exhaustive mode, junit-quickcheck uses the values in the limited set for the property parameter, and generates the remaining (trials - n) values in the usual way.

Note: You will still need a generator defined for the property parameter's type when this annotation is used.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String[]
    value
     

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    Class<? extends StringConversion>
    by
     

  • Element Details

    • value

      String[] value
      Returns:
      the values to which the property parameter will certainly be assigned during property verification