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

The newest version!

package net.jqwik.engine.properties;

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

import net.jqwik.api.*;

import org.jspecify.annotations.*;

public class UniquenessChecker {

	public static  boolean checkShrinkableUniqueIn(Collection> extractors, Shrinkable shrinkable, List> shrinkables) {
		if (extractors.isEmpty()) {
			return true;
		}
		T value = shrinkable.value();
		List elements = shrinkables.stream().map(Shrinkable::value).collect(Collectors.toList());
		return checkValueUniqueIn(extractors, value, elements);
	}

	public static  boolean checkValueUniqueIn(Collection> extractors, T value, Collection elements) {
		for (FeatureExtractor extractor : extractors) {
			if (!extractor.isUniqueIn(value, elements)) {
				return false;
			}
		}
		return true;
	}

	public static  boolean checkUniquenessOfShrinkables(Collection> extractors, List> shrinkables) {
		if (extractors.isEmpty()) {
			return true;
		}
		List elements = shrinkables.stream().map(Shrinkable::value).collect(Collectors.toList());
		return checkUniquenessOfValues(extractors, elements);
	}

	public static  boolean checkUniquenessOfValues(Collection> extractors, Collection elements) {
		for (FeatureExtractor extractor : extractors) {
			if (!extractor.areUnique(elements)) {
				return false;
			}
		}
		return true;
	}

}