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

net.jqwik.api.constraints.Positive Maven / Gradle / Ivy

There is a newer version: 1.9.1
Show newest version
package net.jqwik.api.constraints;

import java.lang.annotation.*;

import org.apiguardian.api.*;

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

/**
 * Constrain the range of a generated number to be greater than 0.
 *
 * Applies to numeric parameters which are also annotated with {@code @ForAll}.
 *
 * @see net.jqwik.api.ForAll
 * @see Negative
 */
@Target({ ElementType.ANNOTATION_TYPE, ElementType.PARAMETER, ElementType.TYPE_USE })
@Retention(RetentionPolicy.RUNTIME)
@Documented
@API(status = MAINTAINED, since = "1.0")
public @interface Positive {
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy