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

package net.jqwik.engine.providers;

import java.util.*;

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

public class ArbitraryArbitraryProvider implements ArbitraryProvider {
	@Override
	public boolean canProvideFor(TypeUsage targetType) {
		return targetType.isOfType(Arbitrary.class);
	}

	@Override
	public Set> provideFor(TypeUsage targetType, SubtypeProvider subtypeProvider) {
		TypeUsage innerType = targetType.getTypeArguments().get(0);
		return subtypeProvider.apply(innerType).stream()
							  .map(Arbitraries::just)
							  .collect(CollectorsSupport.toLinkedHashSet());
	}
}