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

import java.util.*;

import net.jqwik.api.*;

import org.jspecify.annotations.*;

class IterableBasedExhaustiveGenerator implements ExhaustiveGenerator {

	final private Iterable iterable;
	final private long maxCount;

	IterableBasedExhaustiveGenerator(Iterable iterable, long maxCount) {
		this.iterable = iterable;
		this.maxCount = maxCount;
	}

	@Override
	public long maxCount() {
		return maxCount;
	}

	@Override
	public Iterator iterator() {
		return iterable.iterator();
	}
}