net.jqwik.engine.discovery.DefaultPropertyAttributes 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.discovery;

import java.util.*;

import net.jqwik.api.*;
import net.jqwik.api.lifecycle.*;

public class DefaultPropertyAttributes implements PropertyAttributes {
	public static PropertyAttributes from(Property property) {
		Integer tries = property.tries() == Property.TRIES_NOT_SET
							? null
							: property.tries();

		Integer maxDiscardRatio = property.maxDiscardRatio() == Property.MAX_DISCARD_RATIO_NOT_SET
									  ? null
									  : property.maxDiscardRatio();

		ShrinkingMode shrinking = property.shrinking() == ShrinkingMode.NOT_SET
									  ? null
									  : property.shrinking();

		AfterFailureMode afterFailure = property.afterFailure() == AfterFailureMode.NOT_SET
											? null
											: property.afterFailure();

		GenerationMode generation = property.generation() == GenerationMode.NOT_SET
										? null
										: property.generation();

		EdgeCasesMode edgeCases = property.edgeCases() == EdgeCasesMode.NOT_SET
									  ? null
									  : property.edgeCases();

		String stereotype = property.stereotype().equals(Property.STEREOTYPE_NOT_SET)
								? null
								: property.stereotype();

		String seed = property.seed().equals(Property.STEREOTYPE_NOT_SET)
						  ? null
						  : property.seed();

		FixedSeedMode whenFixedSeed = property.whenFixedSeed() == FixedSeedMode.NOT_SET
											  ? null
											  : property.whenFixedSeed();

		return new DefaultPropertyAttributes(
			tries,
			maxDiscardRatio,
			shrinking,
			generation,
			afterFailure,
			edgeCases,
			stereotype,
			seed,
			whenFixedSeed
		);
	}

	private Integer tries;
	private Integer maxDiscardRatio;
	private ShrinkingMode shrinkingMode;
	private GenerationMode generationMode;
	private AfterFailureMode afterFailureMode;
	private EdgeCasesMode edgeCasesMode;
	private String stereotype;
	private String seed;
	private FixedSeedMode whenFixedSeed;

	// Only public for testing purposes
	public DefaultPropertyAttributes(
			Integer tries,
			Integer maxDiscardRatio,
			ShrinkingMode shrinkingMode,
			GenerationMode generationMode,
			AfterFailureMode afterFailureMode,
			EdgeCasesMode edgeCasesMode,
			String stereotype,
			String seed,
			FixedSeedMode whenFixedSeed
	) {
		this.tries = tries;
		this.maxDiscardRatio = maxDiscardRatio;
		this.shrinkingMode = shrinkingMode;
		this.generationMode = generationMode;
		this.afterFailureMode = afterFailureMode;
		this.edgeCasesMode = edgeCasesMode;
		this.stereotype = stereotype;
		this.seed = seed;
		this.whenFixedSeed = whenFixedSeed;
	}

	@Override
	public Optional tries() {
		return Optional.ofNullable(tries);
	}

	@Override
	public Optional maxDiscardRatio() {
		return Optional.ofNullable(maxDiscardRatio);
	}

	@Override
	public Optional shrinking() {
		return Optional.ofNullable(shrinkingMode);
	}

	@Override
	public Optional generation() {
		return Optional.ofNullable(generationMode);
	}

	@Override
	public Optional afterFailure() {
		return Optional.ofNullable(afterFailureMode);
	}

	@Override
	public Optional edgeCases() {
		return Optional.ofNullable(edgeCasesMode);
	}

	@Override
	public Optional stereotype() {
		return Optional.ofNullable(stereotype);
	}

	@Override
	public Optional seed() {
		return Optional.ofNullable(seed);
	}

	@Override
	public Optional whenFixedSeed() {
		return Optional.ofNullable(whenFixedSeed);
	}

	@Override
	public void setTries(Integer tries) {
		this.tries = tries;
	}

	@Override
	public void setMaxDiscardRatio(Integer maxDiscardRatio) {
		this.maxDiscardRatio = maxDiscardRatio;
	}

	@Override
	public void setShrinking(ShrinkingMode shrinkingMode) {
		this.shrinkingMode = shrinkingMode;
	}

	@Override
	public void setGeneration(GenerationMode generationMode) {
		this.generationMode = generationMode;
	}

	@Override
	public void setAfterFailure(AfterFailureMode afterFailureMode) {
		this.afterFailureMode = afterFailureMode;
	}

	@Override
	public void setEdgeCases(EdgeCasesMode edgeCasesMode) {
		this.edgeCasesMode = edgeCasesMode;
	}

	@Override
	public void setStereotype(String stereotype) {
		this.stereotype = stereotype;
	}

	@Override
	public void setSeed(String seed) {
		this.seed = seed;
	}

	@Override
	public void setWhenFixedSeed(FixedSeedMode fixedSeedMode) {
		this.whenFixedSeed = fixedSeedMode;
	}
}