jqwik - @NegativeOrZero / @PositiveOrZero 注释是否有注释？

Question

根据此处的 jqwik 文档：https ://jqwik.net/docs/current/user-guide.html#integer-constraints它将整数约束注释声明为：

@Positive：大于 0 的数字。适用于所有整数类型。

@Negative：小于 0 的数字。适用于所有整数类型。

等等

是否有任何方便的注释可以自动生成@NegativeOrZero / @PositiveOrZero 之类的东西？

我目前正在使用以下代码：

    @Provide
    Arbitrary<Integer> negativeOrZero() {
        return Arbitraries.integers().between(Integer.MIN_VALUE, 0);
    }

如果默认情况下可用，速记注释肯定会派上用场。

score 3 · Accepted Answer

没错，jqwik 默认不附带这些注解。不过，您有几个选择：

创建或多或少的自定义注释：

@Target({ElementType.PARAMETER, ElementType.TYPE_USE})
@Retention(RetentionPolicy.RUNTIME)
@IntRange(min = 0) 
@interface PositiveOrZero {}

1 回答 1