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

package net.jqwik.engine.properties.arbitraries;

import net.jqwik.api.*;

public class ArbitrariesSupport {
	public static int maxNumberOfElements(Arbitrary elementArbitrary, int defaultNumber) {
		return elementArbitrary
				   .exhaustive()
				   .map(generator -> {
					   long maxCount = generator.maxCount();
					   return (int) Math.min(maxCount, defaultNumber);
				   })
				   .orElse(defaultNumber);
	}
}