All Downloads are FREE. Search and download functionalities are using the official Maven repository.

net.jqwik.engine.execution.ParametersGenerator Maven / Gradle / Ivy

There is a newer version: 1.9.1
Show newest version
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();
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy