net.jqwik.engine.facades.ExhaustiveGeneratorFacadeImpl 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.facades;

import java.util.function.*;

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

/**
 * Is loaded through reflection in api module
 */
public class ExhaustiveGeneratorFacadeImpl extends ExhaustiveGenerator.ExhaustiveGeneratorFacade {
	@Override
	public  ExhaustiveGenerator map(ExhaustiveGenerator self, Function mapper) {
		return new MappedExhaustiveGenerator<>(self, mapper);
	}

	@Override
	public  ExhaustiveGenerator filter(ExhaustiveGenerator self, Predicate filterPredicate) {
		return new FilteredExhaustiveGenerator<>(self, filterPredicate);
	}

	@Override
	public  ExhaustiveGenerator unique(ExhaustiveGenerator self) {
		return new UniqueExhaustiveGenerator<>(self);
	}

	@Override
	public  ExhaustiveGenerator injectNull(ExhaustiveGenerator self) {
		return new WithNullExhaustiveGenerator<>(self);
	}

	@Override
	public  ExhaustiveGenerator withSamples(ExhaustiveGenerator self, T[] samples) {
		return new WithSamplesExhaustiveGenerator<>(self, samples);
	}
}