in src/main/java/org/jetbrains/jetCheck/CounterExampleImpl.java [61:74]
static <T> CounterExampleImpl<T> checkProperty(Iteration<T> iteration, T value, StructureNode node) {
try {
iteration.session.notifier.beforePropertyCheck(value);
if (!iteration.session.property.test(value)) {
iteration.session.notifier.propertyCheckFailed(null);
return new CounterExampleImpl<>(node, value, null, iteration);
}
}
catch (Throwable e) {
iteration.session.notifier.propertyCheckFailed(e);
return new CounterExampleImpl<>(node, value, e, iteration);
}
return null;
}