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);
    }

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

Answer 1

你是对的，jqwik 默认没有这些注释。不过，您有几个选择：

创建或多或少的微不足道的自定义注释：

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