private boolean tryStep()

in src/main/java/org/jetbrains/jetCheck/PropertyFailureImpl.java [142:166]

• 23 lines of code
• 4 McCabe index (conditional complexity)

  private boolean tryStep(StructureNode node, CombinatorialIntCustomizer customizer) {
    try {
      iteration.session.notifier.shrinkAttempt(this, iteration, node);
      totalSteps++;

      HashSet<NodeId> unneeded = new HashSet<>();
      T value;
      try {
        value = iteration.generateValue(new ReplayDataStructure(node, iteration.sizeHint, customizer, unneeded));
      } catch (Throwable e) {
        iteration.session.notifier.replayFailed(e);
        throw e;
      }

      CounterExampleImpl<T> example = CounterExampleImpl.checkProperty(iteration, value, customizer.writeChanges(node.removeUnneeded(unneeded)));
      if (example != null) {
        shrunk = example;
        successfulSteps++;
        return true;
      }
    }
    catch (CannotRestoreValue ignored) {
    }
    return false;
  }