• Home
• net.jqwik
• jqwik-engine
• 1.9.1
• source code
• ConstantFunctionGenerator.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.properties.arbitraries.randomized.ConstantFunctionGenerator Maven / Gradle / Ivy

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, ? extends R>>> conditions
	) {
		super(functionalType, resultGenerator, conditions);
	}

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

}