net.jqwik.engine.properties.arbitraries.randomized.ConstantFunctionGenerator 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

There is a newer version: 1.9.1

package net.jqwik.engine.properties.arbitraries.randomized;

import java.util.*;
import java.util.function.*;

import net.jqwik.api.*;
import net.jqwik.api.Tuple.*;

public class ConstantFunctionGenerator extends AbstractFunctionGenerator {

	public ConstantFunctionGenerator(
		Class functionalType,
		RandomGenerator resultGenerator,
		List>, Function, R>>> conditions
	) {
		super(functionalType, resultGenerator, conditions);
	}

	@Override
	public Shrinkable next(Random random) {
		Shrinkable shrinkableConstant = resultGenerator.next(random);
		return createConstantFunction(shrinkableConstant);
	}

}