net.jqwik.api.stateful.ActionSequenceArbitrary Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jqwik-api Show documentation

Jqwik API module

There is a newer version: 1.9.2

package net.jqwik.api.stateful;

import org.apiguardian.api.*;

import net.jqwik.api.arbitraries.*;

import static org.apiguardian.api.API.Status.*;

@API(status = MAINTAINED, since = "1.0")
public interface ActionSequenceArbitrary extends SizableArbitrary> {

	ActionSequenceArbitrary ofMinSize(int minSize);

	ActionSequenceArbitrary ofMaxSize(int maxSize);

	default ActionSequenceArbitrary ofSize(int size) {
		return ofMinSize(size).ofMaxSize(size);
	}

}