src/main/java/au/id/zancanaro/PropertyTestError.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

package au.id.zancanaro;

import java.util.Arrays;
import java.util.Collection;
import java.util.Iterator;

public class PropertyTestError extends AssertionError {
    public PropertyTestError(String methodName, long seed, ShrinkResult shrunk) {
        super(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]";
            }
        }
    }
}