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

package net.jqwik.engine.providers;

import java.util.Set;

import net.jqwik.api.*;

public class SetArbitraryProvider extends AbstractCollectionArbitraryProvider {

	@Override
	protected Class getProvidedType() {
		return Set.class;
	}

	@Override
	protected Arbitrary create(Arbitrary innerArbitrary) {
		return innerArbitrary.set();
	}
}