net.jqwik.engine.providers.IteratorArbitraryProvider 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.providers;

import java.util.*;

import net.jqwik.api.*;

public class IteratorArbitraryProvider extends AbstractCollectionArbitraryProvider {

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

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