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

Question

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

@正:大于0的数字。对于所有的积分类型。@负数:小于0的数字。对于所有的积分类型。等。

对于自动生成类似@NegativeOrZero / @PositiveOrZero这样的东西，有什么方便的注释吗？

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

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

如果默认可用，简写注释肯定会派上用场。

Answer 1

您说得对，默认情况下，jqwik没有附带这些注释。不过，你有几个选择：

@IntRange(min = 0)使用

1. 或多或少创建了一些琐碎的自定义注释：

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

1. 在https://github.com/jlink/jqwik/issues上打开一个功能请求，如果你认为它是一个值得的开箱即用的特性.