All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • net.jqwik.engine.properties.SampleOnlyShrinkablesGenerator Maven / Gradle / Ivy

    There is a newer version: 1.9.1
    Show newest version
    package net.jqwik.engine.properties;

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

import net.jqwik.api.*;
import net.jqwik.api.providers.*;
import net.jqwik.engine.facades.*;
import net.jqwik.engine.support.*;

public class SampleOnlyShrinkablesGenerator implements ShrinkablesGenerator {

	private final List forAllParameters;
	private final List sample;
	private boolean generated = false;

	public SampleOnlyShrinkablesGenerator(List forAllParameters, List sample) {
		this.forAllParameters = forAllParameters;
		this.sample = sample;
	}

	@Override
	public boolean hasNext() {
		return !generated;
	}

	@Override
	public List next() {
		if (generated) {
			throw new NoSuchElementException("Sample has already been provided");
		}
		checkCompatibility(sample);
		generated = true;
		return sample.stream().map(Shrinkable::unshrinkable).collect(Collectors.toList());
	}

	private void checkCompatibility(List sample) {
		if (sample.size() != forAllParameters.size()) {
			throw new IncompatibleDataException(createIncompatibilityMessage(sample));
		}
		for (int i = 0; i < sample.size(); i++) {
			TypeUsage valueType = TypeUsage.of(sample.get(i).getClass());
			TypeUsage parameterType = TypeUsageImpl.forParameter(forAllParameters.get(i));
			if (!valueType.canBeAssignedTo(parameterType)) {
				throw new IncompatibleDataException(createIncompatibilityMessage(sample));
			}
		}
	}

	private String createIncompatibilityMessage(List sample) {
		List parameterTypes =
			this.forAllParameters
				.stream()
				.map(TypeUsageImpl::forParameter)
				.collect(Collectors.toList());

		return String.format(
			"Sample %s is not compatible with parameters %s",
			JqwikStringSupport.displayString(sample),
			JqwikStringSupport.displayString(parameterTypes)
		);
	}
}
    
    
    
    

    




    
    
    © 2015 - 2025 Weber Informatics LLC | Privacy Policy