summaryrefslogtreecommitdiff
path: root/src/main/java/au/id/zancanaro/PropertyError.java
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@zancanaro.id.au>2015-06-01 11:41:16 +1000
committerCarlo Zancanaro <carlo@zancanaro.id.au>2015-06-01 11:41:16 +1000
commit8187f024bae57267af514c5dcb730de09e573e41 (patch)
treecba17e2e770de4972f57b60cdd443248fd68c458 /src/main/java/au/id/zancanaro/PropertyError.java
parentedfce37bc21699042baf14ad6d172d3187fe530c (diff)
Move packages, make lists shrink in size, generate lists instead of arrays as the 'primitive' operation (issues with generics)
Diffstat (limited to 'src/main/java/au/id/zancanaro/PropertyError.java')
-rw-r--r--src/main/java/au/id/zancanaro/PropertyError.java49
1 files changed, 0 insertions, 49 deletions
diff --git a/src/main/java/au/id/zancanaro/PropertyError.java b/src/main/java/au/id/zancanaro/PropertyError.java
deleted file mode 100644
index a0ee6df..0000000
--- a/src/main/java/au/id/zancanaro/PropertyError.java
+++ /dev/null
@@ -1,49 +0,0 @@
-package au.id.zancanaro;
-
-import java.util.Arrays;
-import java.util.Collection;
-import java.util.Iterator;
-
-public class PropertyError extends AssertionError {
- public PropertyError(String methodName, long seed, ShrinkResult shrunk) {
- super(shrunk.thrown.getMessage() == null ?
- String.format("%s(%s)\n\tSeed: %s",
- methodName, join(", ", shrunk.args),
- seed):
- String.format("%s(%s)\n\tSeed: %s\n%s",
- methodName, join(", ", shrunk.args),
- seed,
- shrunk.thrown.getMessage()));
- initCause(shrunk.thrown);
- }
-
-
- public static String join(String delimiter, Object... params) {
- return join(delimiter, Arrays.asList(params));
- }
-
- public static String join(String delimiter, Collection<Object> values) {
- StringBuilder sb = new StringBuilder();
- Iterator<Object> iter = values.iterator();
- while (iter.hasNext()) {
- Object next = iter.next();
- sb.append(stringValueOf(next));
- if (iter.hasNext()) {
- sb.append(delimiter);
- }
- }
- return sb.toString();
- }
-
- private static String stringValueOf(Object next) {
- if (next instanceof String) {
- return '"' + ((String) next).replace("\"", "\\\"") + '"';
- } else {
- try {
- return String.valueOf(next);
- } catch (Throwable e) {
- return "[toString failed]";
- }
- }
- }
-}