net.jqwik.engine.properties.arbitraries.StreamArbitrary 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;

import java.util.*;
import java.util.stream.*;

import net.jqwik.api.*;
import net.jqwik.engine.properties.arbitraries.exhaustive.*;

public class StreamArbitrary extends DefaultCollectionArbitrary> {

	public StreamArbitrary(Arbitrary elementArbitrary) {
		super(elementArbitrary);
	}

	@Override
	public RandomGenerator> generator(int genSize) {
		return createListGenerator(genSize).map(Collection::stream);
	}

	@Override
	public Optional>> exhaustive() {
		return ExhaustiveGenerators.list(elementArbitrary, minSize, maxSize)
								   .map(generator -> generator.map(Collection::stream));
	}
}