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

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

import net.jqwik.api.*;

public class CollectShrinkable implements Shrinkable> {
	private final List value;
	private final List> elements;
	private final Predicate> until;

	public CollectShrinkable(List> elements, Predicate> until) {
		this.value = createValue(elements);
		this.elements = elements;
		this.until = until;
	}

	@Override
	public List value() {
		return value;
	}

	private List createValue(List> elements) {
		return elements
				   .stream()
				   .map(Shrinkable::value)
				   .collect(Collectors.toList());
	}

	@Override
	public ShrinkingSequence> shrink(Falsifier> falsifier) {
		return new CollectShrinkingSequence<>(elements, until, falsifier);
	}

	@Override
	public ShrinkingDistance distance() {
		return ShrinkingDistance.forCollection(elements);
	}
}