diff options
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/Generator.java')
| -rw-r--r-- | src/main/java/au/id/zancanaro/javacheck/Generator.java | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/main/java/au/id/zancanaro/javacheck/Generator.java b/src/main/java/au/id/zancanaro/javacheck/Generator.java index 4b9113c..c28d967 100644 --- a/src/main/java/au/id/zancanaro/javacheck/Generator.java +++ b/src/main/java/au/id/zancanaro/javacheck/Generator.java @@ -19,6 +19,7 @@ import java.util.function.Function; * * @param <T> The type generated by this generator. */ +@SuppressWarnings("unused") public interface Generator<T> { /** * Return a {@link RoseTree} containing a new random value of the required @@ -115,9 +116,9 @@ public interface Generator<T> { /** * Produce a new generator relying on the value generated by this generator * - * Shrinking is a bit hard to predict under {@link #flatMap}, as it will - * first attempt to shrink this, resulting in the re-evaluation of action, - * and hence the re-generation of the subtree. + * Shrinking is a bit hard to predict under flatMap, as it will first + * attempt to shrink this, resulting in the re-evaluation of action, and + * hence the re-generation of the subtree. * * @param action A function to produce the new generator * @param <R> The type of the returned generator |