net.jqwik.engine.properties.arbitraries.IteratorArbitrary 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 net.jqwik.api.*;
import net.jqwik.engine.properties.arbitraries.exhaustive.*;

public class IteratorArbitrary extends DefaultCollectionArbitrary> {

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

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

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