summaryrefslogtreecommitdiff
path: root/src/main/java/au/id/zancanaro/javacheck/Generator.java
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@zancanaro.id.au>2015-06-02 18:10:13 +1000
committerCarlo Zancanaro <carlo@zancanaro.id.au>2015-06-02 18:10:13 +1000
commit27fcf37206591c774d79ec60de8d404ed83378ac (patch)
tree26e71761085a282bc9f31dad4f9624c86ea3aac4 /src/main/java/au/id/zancanaro/javacheck/Generator.java
parent140b4d41d695f32e75c785f6179430f677d244ae (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.java7
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