• Home
• net.jqwik
• jqwik-engine
• 1.9.1
• source code
• ParametersGenerator.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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