net.jqwik.engine.properties.arbitraries.DefaultCollectionArbitrary Maven / Gradle / Ivy
package net.jqwik.engine.properties.arbitraries;
import net.jqwik.api.*;
import net.jqwik.api.arbitraries.*;
abstract class DefaultCollectionArbitrary extends MultivalueArbitraryBase implements SizableArbitrary {
DefaultCollectionArbitrary(Arbitrary elementArbitrary) {
super(elementArbitrary);
}
@Override
public SizableArbitrary ofMinSize(int minSize) {
DefaultCollectionArbitrary clone = typedClone();
clone.minSize = minSize;
return clone;
}
@Override
public SizableArbitrary ofMaxSize(int maxSize) {
DefaultCollectionArbitrary clone = typedClone();
clone.maxSize = maxSize;
return clone;
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy