diff options
author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-02 18:10:13 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-02 18:10:13 +1000 |
commit | 27fcf37206591c774d79ec60de8d404ed83378ac (patch) | |
tree | 26e71761085a282bc9f31dad4f9624c86ea3aac4 /src/main/java/au/id/zancanaro/javacheck/Generator.java | |
parent | 140b4d41d695f32e75c785f6179430f677d244ae (diff) |
Fix up some static analysis warnings and improve @DataPoint detection
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 |