net.jqwik.engine.properties.RandomizedParameterGenerator Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jqwik-engine Show documentation

Jqwik Engine module

The newest version!

package net.jqwik.engine.properties;

import java.util.*;

import net.jqwik.api.*;
import net.jqwik.api.providers.*;
import net.jqwik.engine.support.*;
import net.jqwik.engine.support.types.*;

class RandomizedParameterGenerator {
	private final TypeUsage typeUsage;
	private final List> arbitraries;
	private final int genSize;
	private final boolean withEdgeCases;

	RandomizedParameterGenerator(MethodParameter parameter, Set> arbitraries, int genSize, boolean withEdgeCases) {
		this.typeUsage = TypeUsageImpl.forParameter(parameter);
		this.arbitraries = new ArrayList<>(arbitraries);
		this.genSize = genSize;
		this.withEdgeCases = withEdgeCases;
	}

	Shrinkable