net.jqwik.engine.execution.ParametersGenerator Maven / Gradle / Ivy
package net.jqwik.engine.execution;
import java.util.*;
import net.jqwik.api.*;
import net.jqwik.api.lifecycle.*;
public interface ParametersGenerator {
boolean hasNext();
List> next(TryLifecycleContext context);
int edgeCasesTotal();
int edgeCasesTried();
GenerationInfo generationInfo(String randomSeed);
void reset();
}