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
46
47
48
49
|
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]";
}
}
}
}
|