All Downloads are FREE. Search and download functionalities are using the official Maven repository.

net.jqwik.engine.properties.GenericArbitrary Maven / Gradle / Ivy

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

import java.util.*;

import net.jqwik.api.*;

class GenericArbitrary implements Arbitrary {

	private final Arbitrary wrapped;

	GenericArbitrary(Arbitrary wrapped) {
		this.wrapped = wrapped;
	}

	@SuppressWarnings("unchecked")
	@Override
	public RandomGenerator generator(int genSize) {
		return wrapped.generator(genSize);
	}

	@SuppressWarnings("unchecked")
	@Override
	public Optional> exhaustive() {
		return wrapped.exhaustive();
	}
}