summaryrefslogtreecommitdiff
path: root/src/main/java/au/id/zancanaro/javacheck/Generators.java
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@zancanaro.id.au>2015-06-04 11:41:19 +1000
committerCarlo Zancanaro <carlo@zancanaro.id.au>2015-06-04 11:41:19 +1000
commit0aa99a5f941b886597e7366be763dadc8c6db6dd (patch)
treee4baf24d169736b48d346835dc301945c73f89c9 /src/main/java/au/id/zancanaro/javacheck/Generators.java
parente0fc94269698982d937b80ff5fd5b1ef8ef28cf4 (diff)
Clean up a bit of the ShrinkTree stuff, particularly for shrinking
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/Generators.java')
-rw-r--r--src/main/java/au/id/zancanaro/javacheck/Generators.java3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/java/au/id/zancanaro/javacheck/Generators.java b/src/main/java/au/id/zancanaro/javacheck/Generators.java
index e5699ac..9730bac 100644
--- a/src/main/java/au/id/zancanaro/javacheck/Generators.java
+++ b/src/main/java/au/id/zancanaro/javacheck/Generators.java
@@ -29,7 +29,7 @@ public final class Generators {
* removed
*/
public static <T> Generator<T> noShrink(Generator<T> gen) {
- return (random, size) -> ShrinkTree.pure(gen.generate(random, size).getValue());
+ return gen.withShrinkStrategy(value -> Iterators.emptyIterator());
}
@SafeVarargs
@@ -230,7 +230,6 @@ public final class Generators {
chars[i++] = c;
}
return String.valueOf(chars);
-// return new String(chars);
});
}
}