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

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();
	}
}