diff options
| author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-04 12:09:14 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-04 12:09:14 +1000 |
| commit | 8b09a3f3d46a1c54e1a5a9713cf6868c074e0f91 (patch) | |
| tree | ce849ee19918f5e72cb9fc04b383e6903398fb1d /src/main/java/au/id/zancanaro/javacheck/ShrinkStrategy.java | |
| parent | 0aa99a5f941b886597e7366be763dadc8c6db6dd (diff) | |
Properly mark Generator and ShrinkStrategy with @FunctionalInterface
Diffstat (limited to 'src/main/java/au/id/zancanaro/javacheck/ShrinkStrategy.java')
| -rw-r--r-- | src/main/java/au/id/zancanaro/javacheck/ShrinkStrategy.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/au/id/zancanaro/javacheck/ShrinkStrategy.java b/src/main/java/au/id/zancanaro/javacheck/ShrinkStrategy.java index 6bd1eb9..0018309 100644 --- a/src/main/java/au/id/zancanaro/javacheck/ShrinkStrategy.java +++ b/src/main/java/au/id/zancanaro/javacheck/ShrinkStrategy.java @@ -2,6 +2,7 @@ package au.id.zancanaro.javacheck; import java.util.Iterator; +@FunctionalInterface interface ShrinkStrategy<T> { Iterator<T> shrink(T obj); } |