Package net.jqwik.engine.properties

Class UniquenessChecker

java.lang.Object

net.jqwik.engine.properties.UniquenessChecker

public class UniquenessChecker
extends Object

Constructor Summary

Constructors

Constructor	Description
UniquenessChecker()

Method Summary

Modifier and Type	Method	Description
static <T> boolean	checkShrinkableUniqueIn(Collection<FeatureExtractor<T>> extractors, net.jqwik.api.Shrinkable<T> shrinkable, List<net.jqwik.api.Shrinkable<T>> shrinkables)
static <T> boolean	checkUniquenessOfShrinkables(Collection<FeatureExtractor<T>> extractors, List<net.jqwik.api.Shrinkable<T>> shrinkables)
static <T> boolean	checkUniquenessOfValues(Collection<FeatureExtractor<T>> extractors, Collection<T> elements)
static <T> boolean	checkValueUniqueIn(Collection<FeatureExtractor<T>> extractors, T value, Collection<T> elements)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

UniquenessChecker

public UniquenessChecker()

Method Details

checkShrinkableUniqueIn

public static <T> boolean checkShrinkableUniqueIn(Collection<FeatureExtractor<T>> extractors,
 net.jqwik.api.Shrinkable<T> shrinkable,
 List<net.jqwik.api.Shrinkable<T>> shrinkables)

checkValueUniqueIn

public static <T> boolean checkValueUniqueIn(Collection<FeatureExtractor<T>> extractors,
 T value,
 Collection<T> elements)

checkUniquenessOfShrinkables

public static <T> boolean checkUniquenessOfShrinkables(Collection<FeatureExtractor<T>> extractors,
 List<net.jqwik.api.Shrinkable<T>> shrinkables)

checkUniquenessOfValues

public static <T> boolean checkUniquenessOfValues(Collection<FeatureExtractor<T>> extractors,
 Collection<T> elements)