diff options
author | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-01 00:25:19 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@zancanaro.id.au> | 2015-06-01 00:25:19 +1000 |
commit | 7e1182355d54f0dc8461ce7df7c4aca8c40d2a92 (patch) | |
tree | 49f864ec8f584dd5a4cfb3d03e6201fad20e653c /src/test/java/au/id/zancanaro/SimpleListOperationsTest.java | |
parent | a4b5a5f904fe9f21697cd8fc8998c7e6e86306af (diff) |
Just some rearranging, renaming and clean-up
Diffstat (limited to 'src/test/java/au/id/zancanaro/SimpleListOperationsTest.java')
-rw-r--r-- | src/test/java/au/id/zancanaro/SimpleListOperationsTest.java | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java b/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java new file mode 100644 index 0000000..2ff44e7 --- /dev/null +++ b/src/test/java/au/id/zancanaro/SimpleListOperationsTest.java @@ -0,0 +1,43 @@ +package au.id.zancanaro; + +import au.id.zancanaro.annotations.Property; +import org.junit.runner.RunWith; + +import java.util.ArrayList; +import java.util.Collections; +import java.util.List; + +import static au.id.zancanaro.Generators.integer; +import static au.id.zancanaro.Generators.listOf; +import static org.junit.Assert.assertEquals; + +@RunWith(Properties.class) +public class SimpleListOperationsTest { + + @SuppressWarnings("unused") + public static Generator<Integer> integers = integer(); + + @SuppressWarnings("unused") + public static Generator<List<Integer>> listOfIntegers = listOf(integer()); + + @Property(maxSize = 10000, runs = 10000) + public void sortingIsIdempotent(List<Integer> list) { + List<Integer> left = new ArrayList<>(list); + Collections.sort(left); + + List<Integer> right = new ArrayList<>(list); + Collections.sort(right); + Collections.sort(right); + + assertEquals(left, right); + } + + @Property(maxSize = 10000, runs = 10000) + public void reverseIsItsOwnInverse(List<Integer> list) { + List<Integer> reversed = new ArrayList<>(list); + Collections.reverse(reversed); + Collections.reverse(reversed); + + assertEquals(list, reversed); + } +} |