static CounterExampleImpl checkProperty()

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;
  }