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

如何解决@NegativeOrZero / @PositiveOrZero 注释是否有注释？

根据此处的 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);
    }

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

解决方法

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

1. 使用@IntRange(min = 0)

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

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

3. 如果您认为这是一个值得的开箱即用功能，请在 https://github.com/jlink/jqwik/issues 上打开功能请求。