net.jqwik.engine.properties.ShrinkablesGenerator 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;

import java.util.*;
import java.util.function.*;

import net.jqwik.api.*;

public interface ShrinkablesGenerator extends Iterator> {

	default ShrinkablesGenerator andThen(Supplier generatorCreator) {
		ShrinkablesGenerator first = this;
		ShrinkablesGenerator afterSuccessGenerator = generatorCreator.get();
		return new ShrinkablesGenerator() {
			@Override
			public boolean hasNext() {
				if (first.hasNext()) {
					return true;
				}
				return afterSuccessGenerator.hasNext();
			}

			@Override
			public List next() {
				if (first.hasNext()) {
					return first.next();
				}
				return afterSuccessGenerator.next();
			}
		};
	}
}